在julia中使用数组键的Dict

Question

在朱莉娅语言(ver1.1.0)中，我正在实验当我变异字典键时会发生什么。

在突变前，变量x和[1,2,3]都被识别出来。

x = [1,2,3]; d = Dict(x=>"x")
haskey(d, x)
# true

haskey(d, [1,2,3])
# true

一旦我变异了x，变量x和[1,2,3,4]都不会被识别。

push!(x, 4)
haskey(d, x)
# false

haskey(d, [1,2,3,4])
# false

haskey(d, [1,2,3])
# false

就价值而言，关键是“等于”x，所以我猜这与散列函数有关，但无法理解源代码。

collect(keys(d))[1] == x == [1,2,3,4]
# true

有人能解释一下是什么导致了这种行为，或者建议我应该考虑的资源吗？

Answer 1

要研究的关键函数是ht_keyindex。

在这里您可以看到，为了找到密钥，它必须同时：

• 匹配散列值(通过hashindex)。
• 匹配身份或价值。

在变异x之后，有一个不可忽略的概率，即它将具有相同的hashindex值，并且会找到密钥。例如，在这里，您可以将x的索引4设置为5，所有这些似乎都可以工作：

julia> x[4] = 5
5

julia> x
4-element Array{Int64,1}:
 1
 2
 3
 5

julia> haskey(d, x)
true

因此--就像在任何以类似方式支持字典的编程语言中一样--不应该做字典的突变键。上述讨论在实践中只能是一种理论上的讨论。