如何细化如何选择哈希键？

Question

所以，我正在尝试修补一个类以允许它用于哈希键。但是，我似乎无法让它工作。这是一个示例测试用例：

class Tmp
 def hash; rand(); end
end

module Patch
 refine Tmp do
  def hash; 1; end
  def eql?(rhs); hash == rhs.hash; end
 end
end

puts "=========================="
module A
 # Using the initial implementation of Tmp
 x = {}
 x[Tmp.new] = 1
 x[Tmp.new] = 2
 puts "#{Tmp.new.hash == Tmp.new.hash}"
 puts "#{Tmp.new.eql? Tmp.new}"
 puts "#{x}"
end

puts "=========================="
module A
 # Enabling the refinement of class Tmp here
 using Patch
 x = {}
 x[Tmp.new] = 1
 x[Tmp.new] = 2
 puts "#{Tmp.new.hash == Tmp.new.hash}"
 puts "#{Tmp.new.eql? Tmp.new}"
 puts "#{x}"
end

这给出了结果：

==========================
false
false
{#<Tmp:0x0000407e4ae818>=>1, #<Tmp:0x0000407e4ae7a0>=>2}
==========================
true
true
{#<Tmp:0x0000407e4ae188>=>1, #<Tmp:0x0000407e4ae110>=>2}

如您所见，#eql? 和 #hash 方法按预期工作，但是当我尝试将其用作哈希键时，它认为它们是不同的键。我做错了什么？

编辑

顺便说一句，docs 状态：

两个对象引用相同的哈希键当它们的哈希值相同时并且这两个对象是eql?彼此。

如果 hash 和 eql?方法被覆盖以提供有意义的行为。

（强调我的）

有趣的是，似乎只有#eql? 用于确定密钥相等性：

class Tmp
 def hash; rand; end
 def eql?(rhs); true; end
end

puts "=========================="
module A
 x = {}
 x[Tmp.new] = 1
 x[Tmp.new] = 2
 puts "#{Tmp.new.hash == Tmp.new.hash}"
 puts "#{Tmp.new.eql? Tmp.new}"
 puts "#{x}"
end

给予：

==========================
false
true
{#<Tmp:0x0000407e407b08>=>2}

#hash 的返回值不相关：

class Tmp
 def hash; 1; end
 def eql?(rhs); false; end
end

puts "=========================="
module A
 x = {}
 x[Tmp.new] = 1
 x[Tmp.new] = 2
 puts "#{Tmp.new.hash == Tmp.new.hash}"
 puts "#{Tmp.new.eql? Tmp.new}"
 puts "#{x}"
end

给予：

==========================
true
false
{#<Tmp:0x0000407e40e408>=>1, #<Tmp:0x0000407e40e3b8>=>2}

这似乎与文档相矛盾。这是使用ruby v2.2.4的神器吗？ （我使用的是 Sketchup 2017 自带的 ruby​​）

Answer 1

您正在以明显不一致的行为实现您的课程。对于a.eql?(b) 的任何对象，然后根据定义a.hash == b.hash 为#hash 必须反映对象的实际内容。如果不是这样，你会得到非常奇怪的结果。

就像在编写排序比较器时，如果a < b 和b < c 然后a < c 必须为真。如果由于某种原因这不是真的，那么您的排序操作将产生非常奇怪和不一致的结果。

换句话说：

• a.eql?(b) 必须为真当且仅当a 和b 代表相同的事物。
• 如果a 和b 代表相同的事物，a.hash == b.hash 必须为真。

请注意，a.hash == b.hash 并不意味着它们一定是相同的东西，但它表明它们很有可能是相同的。始终需要通过eql? 进行二次检查以确认这一点。

哈希内部可能会也可能不会调用这两个函数。在小尺寸下，Ruby“哈希”根本不是哈希表，它只是一个小数组。因此，#hash 甚至可能不会被调用，直到表达到特定大小并且该方法是相关的。