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