Scala中的case类中的hashCode

54 scala hashcode case-class

我已经读过Scala'a case class构造自动生成拟合equalshashCode实现.生成的代码到底是什么样的?

Mir*_*ker 80

正如我的教授常说的那样,只有代码说实话!所以,只需看看为以下代码生成的代码:

case class A(i: Int, s: String)
Run Code Online (Sandbox Code Playgroud)

我们可以指示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]()
  };
}
Run Code Online (Sandbox Code Playgroud)

因此,您可以看到哈希代码的计算被委托给ScalaRunTime._hashCode,并且相等性取决于案例类成员的相等性.

  • 这不仅解释得很好,而且还教我"-Xprint:typer".非常感谢!我唯一困惑的是"ScalaRunTime.this"是什么意思?为什么不简单地`ScalaRunTime._hashCode`? (5认同)

sep*_*p2k 54

生成的hashCode 只是调用scala.runtime.ScalaRunTime._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
}
Run Code Online (Sandbox Code Playgroud)

所以你得到的是elem1 * 41**n + elem2 * 41**(n-1) .. elemn * 1,n你的案例类的arity 在哪里,并且是该案例类elemi的成员.


Ale*_*tov 18

请注意,此问题的先前答案在hashCode部分有点过时.

从scala 2.9开始hashCode,案例类使用MurmurHash:link.

MurmurHash 产生良好的雪崩效应,良好的分布和CPU友好.