Scala中case类中的hashCode

我读过Scala'a

case类

construct自动生成一个fitting

equals

和

hashCode

实现。生成的代码到底是什么样子的？

正如我的教授以前所说，只有代码才是真实的！因此，只需看看为以下内容生成的代码：

case class A(i: Int, s: String)

我们可以指示Scala编译器在不同阶段之后向我们显示生成的代码，这里是在typechecker之后：

% scalac -Xprint:typer test.scala
[[syntax trees at end of typer]]// Scala source: test.scala
package <empty> {
  @serializable case class A extends java.lang.Object with ScalaObject with Product {
    ..
    override def hashCode(): Int = ScalaRunTime.this._hashCode(A.this);
    ...
    override def equals(x$1: Any): Boolean = A.this.eq(x$1).||(x$1 match {
      case (i: Int,s: String)A((i$1 @ _), (s$1 @ _)) if i$1.==(i).&&(s$1.==(s)) => x$1.asInstanceOf[A].canEqual(A.this)
      case _ => false
    });


    override def canEqual(x$1: Any): Boolean = x$1.$isInstanceOf[A]()
  };
}

%scalac-Xprint:typer test.scala
[[typer末尾的语法树]]//Scala源代码：test.Scala
包装{
@可序列化案例类A使用ScalaObject和Product扩展了java.lang.Object{
..
重写def hashCode（）：Int=ScalaRunTime.this.\u hashCode（A.this）；
...
override def equals（x$1:Any）：Boolean=A.this.eq（x$1）。| |（x$1匹配）{
格（i:Int，s:String）A（（i$1@），（s$1@）），如果i$1.==（i）。&&&（s$1.==（s））=>x$1.asInstanceOf[A]。canEqual（A.this）
大小写=>false
});
override def canEqual（x$1:Any）：布尔值=x$1.$isInstanceOf[A]（）
};
}

---

因此，您可以看到哈希代码的计算被委托给，并且相等性取决于case类成员的相等性。

生成的

hashCode

只调用

scala.runtime.ScalaRunTime.\u hashCode

，定义为：

def _hashCode(x: Product): Int = {
  val arr =  x.productArity
  var code = arr
  var i = 0
  while (i < arr) {
    val elem = x.productElement(i)
    code = code * 41 + (if (elem == null) 0 else elem.hashCode())
    i += 1
  }
  code
}

def\u hashCode（x:Product）：Int={
val arr=x.生产率
var代码=arr
变量i=0
而（i

---

所以你得到的是

elem1*41**n+elem2*41**（n-1）。。elemn*1

，其中

n

是案例类的arity，而

elemi

是该案例类的成员。

请注意，之前关于这个问题的答案在hashCode部分有点过时。

从scala 2.9开始，case类的hashCode使用了hash

---

杂音杂音。

看起来事情已经改变了；使用Mirko的示例

case class A（i:Int，s:String）

我得到：

override <synthetic> def hashCode(): Int = {
      <synthetic> var acc: Int = -889275714;
      acc = scala.runtime.Statics.mix(acc, i);
      acc = scala.runtime.Statics.mix(acc, scala.runtime.Statics.anyHash(s));
      scala.runtime.Statics.finalizeHash(acc, 2)
    };

覆盖def hashCode（）：Int={
var acc:Int=-889275714；
acc=scala.runtime.Statics.mix（acc，i）；
acc=scala.runtime.Statics.mix（acc，scala.runtime.Statics.anyHash）；
scala.runtime.Statics.finalizeHash（acc，2）
};

及

override def equals（x$1:Any）：Boolean=A.this.eq（x$1.asInstanceOf[Object]）。| |（x$1匹配）{
案例（A）=>真
大小写=>false
}.&&({
val A$1:A=x$1.A安装[A]；
A.this.i.==（一元一角）。&&（A.this.s.==（一元一角））&&（一元一角一角）
}))
};

这不仅很好地解释了它，还教会了我有关

-Xprint:typer

。谢谢！唯一让我困惑的是

ScalaRunTime是什么意思。这是什么意思？为什么不简单地使用
ScalaRunTime.\u hashCode
？类名。这种
语法通常用于从内部类（与Java中相同）访问外部
this
。不知道为什么会在这里打印，也许这只是编译器打印代码的方式。但这只是猜测，还有其他人吗？谢谢你的明确回答。现在我不知道我是应该接受你的答案还是米尔科的答案，从中我还学到了方便的
-Xprint:typer
技巧……这两个答案一起完美地回答了这个问题：-）在我看来，它的可能重复类似于
scala.runtime.ScalaRunTime.\u hashCode
仍然有效，根据代码中的注释，我希望它能产生相同的结果。ScalarUnitime委托给MurmerHash3，其中包含注释：“Case对象将hashCode直接内联到合成hashCode方法中，但是如果传递给Case对象，此方法仍应给出正确的结果。”
override <synthetic> def equals(x$1: Any): Boolean = A.this.eq(x$1.asInstanceOf[Object]).||(x$1 match {
  case (_: A) => true
  case _ => false
}.&&({
      <synthetic> val A$1: A = x$1.asInstanceOf[A];
      A.this.i.==(A$1.i).&&(A.this.s.==(A$1.s)).&&(A$1.canEqual(A.this))
    }))
  };