Scala 3中Circle类hashCode实现疑问及##用法咨询

哈希值不需要唯一 #

你之前误以为哈希值必须唯一是个常见误区。根据Java/Scala的哈希契约：

• 相等的对象必须拥有相同的哈希值：你的测试里circle1和circle2相等，哈希值一致，这完全符合要求
• 哈希值相同的对象不一定相等：哈希碰撞是允许的，我们要做的只是尽量减少碰撞概率，而非杜绝

你的当前实现没有违反核心规则，这一点可以放心。

##与hashCode()的区别 #

##是Scala专为统一哈希场景设计的方法，和hashCode()的核心差异：

• 空值安全：null.##返回0，而null.hashCode()会直接抛出空指针异常
• 值类型适配：对于Scala原生值类型（比如Double、Int），##会直接返回对应哈希值，避免了装箱操作的额外开销
• 引用类型兼容：对于非空引用类型，##本质就是调用hashCode()，所以在你的Circle类里，用radius.##替代radius.hashCode()是更安全的写法，尤其是当属性可能为null的场景（虽然你的radius是Double类型不会为null，但养成习惯更稳妥）

更健壮的hashCode实现方式 #

你当前用加法组合哈希值的方式容易产生碰撞（比如不同的(radius,x,y)组合可能算出相同的和），推荐几种更优的实现：

1. 利用元组的内置哈希 #

元组已经有优化过的哈希实现，直接把所有属性打包成元组即可：

override def hashCode(): Int = (radius, x, y).hashCode()
// 或者用更安全的##
override def hashCode(): Int = (radius.##, x.##, y.##).##

2. 使用MurmurHash3组合（推荐） #

Scala标准库的scala.util.hashing.MurmurHash3提供了高效的哈希组合工具，能大幅降低碰撞概率：

import scala.util.hashing.MurmurHash3

class Circle(val radius: Double, val x: Double, val y: Double):
  // ... 其他方法 ...
  override def hashCode(): Int = {
    var hash = MurmurHash3.seqSeed
    hash = MurmurHash3.mix(hash, radius.##)
    hash = MurmurHash3.mix(hash, x.##)
    hash = MurmurHash3.mixLast(hash, y.##)
    hash
  }

3. 异或组合（简单高效） #

用异或替代加法，能减少部分碰撞：

override def hashCode(): Int = radius.## ^ x.## ^ y.##

关于equals方法的补充 #

你的equals实现是正确的：final override避免子类重写破坏相等性，match case a: Circle配合scala.language.strictEquality也符合严格相等的要求，无需调整。

内容的提问来源于stack exchange，提问作者Christopher Spears