Julia：包含复合类型的包含元组键的字典

Question

我遇到了一个问题，试图使用其键是包含复合类型的元组的字典。

下面是一个小例子来复制我的问题：

import Base: hash, isequal  

type T 
    a :: Int 
    b :: Int 
end 

function isequal(A::(T,Int), B::(T,Int)) 
    A[1].a == B[1].a && A[1].b == B[1].b && A[2] == B[2] 
end 
function hash(A::(T,Int)) 
    hash(A[1].a + A[1].b + A[2]) 
end 

d = Dict{(T,Int),Int}() 

d[(T(1,1),1)] = 1 
d[(T(2,2),2)] = 2 

r = (T(2,2),2) 

for k in keys(d) 
    println(isequal(r, k) && hash(r) == hash(k)) 
end 
println(d[r]) 

运行，这导致：

false 
true 
ERROR: key not found: (T(2,2),2) 

所以isequal和hash工作，但由于某些原因的字典是没有的。

有谁知道发生了什么事？谢谢。

Answer 1

在这种情况下，我不太了解元组和派发的类型，但基本上是you need to implement the two argument form of hash for this case。下面非常相似的代码按预期方式工作，作为比较的点，而在两个参数形式：

type T 
    a::Int 
    b::Int 
end 

function Base.isequal(A::T, B::T) 
    println("isequal", A, " ", B) 
    A.a == B.a && A.b == B.b 
end 
function Base.hash(A::T) 
    println("hash", A) 
    hash(A.a + A.b) 
end 

d = Dict{T,Int}() 

d[T(1,1)] = 1 
d[T(2,2)] = 2 

println("test") 
r = T(2,2) 
println(d[r]) 

与输出

isequalT(1,1) T(1,1) 
hashT(1,1) 
isequalT(2,2) T(2,2) 
hashT(2,2) 
test 
hashT(2,2) 
isequalT(2,2) T(2,2) 
2 

Answer 2

该问题可以通过为每个hash & isequal功能来解决复合类型而不是整个元组。

如果关键是(T,Int)：

取而代之的是：

function isequal(A::(T,Int), B::(T,Int)) 
    A[1].a == B[1].a && A[1].b == B[1].b && A[2] == B[2] 
end 
function hash(A::(T,Int)) 
    hash(A[1].a + A[1].b + A[2]) 
end 

这样做：

function isequal(A::T, B::T) 
    A.a == B.a && A.b == B.b 
end 
function hash(A::T) 
    hash(A.a + A.b) 
end 

如果你想在原来的配方工作，你必须指定基地。使用可选的第二个参数hash：h::Uint64：

function isequal(A::(T,Int), B::(T,Int)) 
    A[1].a == B[1].a && A[1].b == B[1].b && A[2] == B[2] 
end 
function hash(A::(T,Int)) 
    hash(A[1].a + A[1].b + A[2]) 
end 
function hash(A::(T,Int), h::Uint64) 
    hash(A[1].a + A[1].b + A[2] + h) 
end