Java 集合不一致的哈希

Question

c.c/hash 在处理 Java 集合时始终使用 hashCode，在比较与使用 Murmur3 的 Clojure 集合时产生不兼容性。

user=> (== (hash (java.util.ArrayList. [1 2 3])) (hash [1 2 3])) false user=> (= (java.util.ArrayList. [1 2 3]) [1 2 3]) true

修复此问题的一种方法是在 Util/hasheq 中为 java.util.Collections 添加一个特殊案例，就像现在对 String 所做的那样。

有关此主题的 Clojure 群组讨论链接：https://groups.google.com/forum/#!topic/clojure/dQhdwZsyIEw

Answer 1

_Comment made by: michalmarczyk_

为了保证完整性，在 {{hasheq}} 中直接根据 {{Map}}, {{Set}} 等进行分支，就像 Jozef 的原始补丁一样，在我的上一条评论中引入的微型基准测试的结果如下：

|xor|315.866626 ns|
|juhm|18.520133 µs|

Answer 2

_Comment made by: michalmarczyk_

新的补丁 (0006)，省略了 {{Map.Entry}} 检查；相反，在 {{Murmur3}} 类中引入了两种方法以处理 j.u.maps。

Java 映射条目实际上并没有集成到 Clojure 中 - 您不能像向量那样使用它们，不能对它们调用 {{seq}} 等 - 所以我认为只要 j.u.maps 保持不变，它们不必在 hasheq 中匹配 Clojure 映射条目。

计时

|xor|233.341689 ns|
|juhm|9.104637 µs|

Answer 3

_Comment made by: michalmarczyk_

检查 Map/Iterable 的内联实现似乎对 xor 基准测试结果影响不大，但使 juhm 哈希更快。这对我来说是非常令人惊讶的。无论如何，这里有一个新的补丁（0007）以及时间信息

|xor|233.062337 ns|
|juhm|8.629149 µs|

Answer 4

评论者：alexmiller

没有补丁的情况下，这些时间是什么样的？

Answer 5

_Comment made by: michalmarczyk_

它们在引入基准测试的评论中的表中列出——xor 为 148.128748 ns，juhm 为 1.701640 µs。

Answer 6

评论者：alexmiller

如果我们对不同类型改用 hasheq 而不是使用 instanceof，会怎么样呢？

Answer 7

评论者：michalmarczyk

重载方法在静态解析，所以在 Object 重载中测试类型是不可避免的。

可以更具体地重载，以便在类型提示或字面量给参数类型时加快哈希的速度，因为编译器会根据适当的编译时信息生成调用该重载的调用。然而，在哈希表/集操作中隐式哈希不会有任何速度提升。

Answer 8

评论者：[email protected]

这个问题出现在将 Factual/skuld 从 1.5.1 升级到 1.6 的过程中。clojure.data.fressian 将 c.l.PersistentHashSet 集合序列化为 java.util.HashSet。这破坏了在 https://github.com/Factual/skuld/blob/b720feb142e6d274e85be208dc1d6d8634801719/test/skuld/net_test.clj#L8-L29 中的相等性检查，因为我们正在比较一个包含 PersistentSet 的原始集合和序列化及反序列化后包含 HashSet 的集合。

Answer 9

评论者：[email protected]

这个问题又出现了，详细信息见 http://dev.clojure.org/jira/browse/DFRS-7

Answer 10

评论者：mpenet

今天这个问题又对我造成打击（在解决这个问题之前浪费了很多时间）。我们会在 1.7 中解决这个问题吗？

Answer 11

评论者：alexmiller

据我所知，我们仍在寻找在可接受的性能影响之前的解决方案。

Answer 12

评论者：alexmiller

尽管我们不反对解决这个工单，但我们对此的关注并不愿意以我们更重视的性能比较为代价，并且没有任何当前的建议能达到那个标准。目前，我将此移至待办事项列表，如果出现解决方案，我会将其移出来。

Answer 13

参考： https://clojure.atlassian.net/browse/CLJ-1372（由 wagjo 报告）