Julia 中的 objectid()、hash()、pointer_from_obj() 和 pointer() 有什么区别？

Question

Julia 中的objectid()、hash()、pointer() 和 pointer_from_objref() 有什么区别？

与===比较的运算符是什么？

julia> L1 = [1,2,3];

julia> L2 = L1;

julia> L3 = copy(L1);

julia> objectid(L1), objectid(L2), objectid(L3)
(0xac55c2b098913d98, 0xac55c2b098913d98, 0xbdee7946bbc068f0)

julia> hash(L1), hash(L2), hash(L3)
(0xecc5186e7be222c6, 0xecc5186e7be222c6, 0xecc5186e7be222c6)

julia> pointer_from_objref(L1), pointer_from_objref(L2), pointer_from_objref(L3)
(Ptr{Nothing} @0x00007f6888141e40, Ptr{Nothing} @0x00007f6888141e40, Ptr{Nothing} @0x00007f68881438f0)

julia> pointer(L1), pointer(L2), pointer(L3)
(Ptr{Int64} @0x00007f6888141e80, Ptr{Int64} @0x00007f6888141e80, Ptr{Int64} @0x00007f6888143930)

来自文档：

objectid(x)                                                                                
Get a hash value for x based on object identity. objectid(x)==objectid(y) if x === y.      

hash(x[, h::UInt])                                                                         
Compute an integer hash code such that isequal(x,y) implies hash(x)==hash(y).              

pointer_from_objref(x)
Get the memory address of a Julia object as a Ptr.

pointer(array [, index])
Get the native address of an array or string, optionally at a given location index.

Answer 1

• pointer 适用于数组和字符串，pointer(x) 返回Ptr{X}，其中X 是存储在x 中的类型（一个极端情况是UInt8 中的标准字符串，尽管eltype 的@987654328 @ 是 Char)。这为您提供了存储 data 的指针；两个不同的对象可以将指针与== 比较为真，例如使用x=[1] 和y=reinterpret(UInt8, x) 你会得到pointer(x) == pointer(y)（尽管这些指针有不同的类型）；
• pointer_from_objref 适用于任何 可变 对象并返回 Ptr{Nothing}。对于数组和字符串，这与pointer 不同，因为数组/字符串还有一些存储在实际数据之前的元数据。
• objectid - 正如文档所说，它是一个散列，它基于以下规则：如果两个对象 x 和 y 具有 x===y 为 true 的属性，那么它们应该具有相同的 objectid（实际实现正确覆盖x===y 规则有点复杂——例如s1 = "12" 和s2 = "12" 很可能有pointer 返回的不同值，但由于s1 === s2 然后objectid 将在它们上返回相同的值;
• hash 是一个基于isequal 而不是=== 的标准 哈希值。这意味着例如两个数组 x=[1] 和 y=[1] 将具有相同的哈希值（因为它们具有相同的内容并且使用 isequal 比较相等）但具有不同的 objectid，因为它们在使用 === 进行比较时并不相同
• === 表示比较测试传递给它的对象是否无法区分。在大多数情况下使用的简单规则是：
  • 对象对于不可变对象具有相同的值
  • 可变对象具有相同的内存位置

（最后一条规则有点棘手，例如两个字符串 s1="12" 和 s2="12" 使用 === 比较相等，因为它们是不可变的，但实际上它们是 可区分 使用 pointer函数）

如您所见，规则有点复杂，以确保在常见情况下用户得到他们期望的结果。