web-dev-qa-db-ja.com

ScalaのケースクラスのhashCode

私はそれを読んだScala'a case classコンストラクトは、フィッティングequalsおよびhashCode実装を自動的に生成します。生成されたコードは正確にどのように見えますか？

scalahashcodecase-class
53
user735703

私の教授が言っていたように、コードだけが真実を語っています！そのために生成されるコードを見てください：

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

Scalaコンパイラーに、異なるフェーズの後、ここではタイプチェッカーの後、生成されたコードを表示するように指示できます。

% 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]()
  };
}

そのため、ハッシュコードの計算は ScalaRunTime._hashCode に委任されており、その等価性はケースクラスのメンバーの等価性に依存していることがわかります。

80
Mirko Stocker

生成された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
}
_

したがって、elem1 * 41**n + elem2 * 41**(n-1) .. elemn * 1が得られます。nはケースクラスのアリティで、elemiはそのケースクラスのメンバーです。

54
sepp2k

この質問に関する以前の回答は、hashCode部分では少し時代遅れであることに注意してください。

scala 2.9の場合、hashCodeはcaseクラスでMurmurHashを使用します： link 。

MurmurHash 良好な雪崩効果、良好な分布を生成し、CPUに優しい 。

17
Alexander Poluektov

物事が変化したように見えます。 Mirkoの例を使用してcase class A(i: Int, s: String) I get：

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)
    };

そして

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))
    }))
  };
1
Pete