module Oo: sig .. end
sig
end
对象操作
val copy : (< .. > as 'a) -> 'a
(< .. > as 'a) -> 'a
Oo.copy o 返回对象 o 的副本，即一个具有与 o 相同方法和实例变量的新对象。
Oo.copy o
o
val id : < .. > -> int
< .. > -> int
返回一个标识此对象的整数，该整数在程序当前执行期间是唯一的。通用比较和哈希函数基于此整数。当通过反序列化获得对象时，id 会刷新，因此与原始对象不同。因此，在反序列化数据结构后，哈希表或包含对象的集合等数据结构的内部不变性会遭到破坏。