Модуль Oo

module Oo: sig .. end

Операции над объектами

val copy : (< .. > as 'a) -> 'a

Oo.copy o возвращает копию объекта o, то есть новый объект с теми же методами и переменными экземпляра, что и o.

Предупреждение unsynchronized_access. Несинхронизированный доступ к изменяемым объектам является ошибкой программирования.

val id : < .. > -> int

Возвращает целое число, идентифицирующее этот объект и уникальное для текущего выполнения программы. Универсальные функции сравнения и хеширования основаны на этом числе. При получении объекта путём десериализации его идентификатор обновляется и, следовательно, отличается от исходного объекта. В результате после десериализации структур данных нарушаются внутренние инварианты таких структур, как хеш-таблицы или множества, содержащие объекты.