模块 Stdlib.Oo

module Oo: Oo

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

Oo.copy o 返回对象 o 的副本,即一个具有与 o 相同方法和实例变量的新对象。

val id : < .. > -> int

返回一个整数,标识此对象,在程序当前执行过程中是唯一的。通用比较和哈希函数基于此整数。当通过反序列化获得对象时,id 会刷新,因此与原始对象不同。因此,数据结构(例如包含对象的哈希表或集合)的内部不变性在反序列化数据结构后被破坏。