58

我读过 Scala'acase class构造会自动生成拟合equalshashCode实现。生成的代码到底是什么样的?

4

4 回答 4

89

正如我的教授曾经说过的,只有代码才能说出真相!因此,只需查看为以下内容生成的代码:

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并且相等性取决于案例类成员的相等性。

于 2011-05-03T08:35:20.703 回答
59

生成的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在哪里,并且是那个案例类的成员。nelemi

于 2011-05-03T08:37:25.423 回答
19

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

从 scala 2.9 开始hashCode,案例类使用MurmurHashlink

MurmurHash产生良好的雪崩效果,良好的分布并且对 CPU 友好

于 2016-11-11T14:59:08.653 回答
1

看起来事情发生了变化;使用 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)
    };

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))
    }))
  };
于 2017-07-25T18:41:39.993 回答