为case类的equals/hashCode方法生成了什么代码？

Question

我有一些Java代码,我正在翻译成Scala.

代码由一些不可变的类组成,这些类符合case classScala中的目的.

但我不想引入错误,因此我想确保为当前实现生成的代码equals和hashCode/ 和/的行为等效.

我已经看过"Scala编程",但它只是说

第三,编译器将方法的"自然"实现添加到String,hashCode,并且等于你的类.

Answer 1

Scala有一个编译器选项-Xprint:typer,您可以使用它来获取"内部使用的后置输入源代码".

scala -Xprint:typer -e 'case class Foo(a: String, b: Int)'

在这里你看到类似的东西:

override def hashCode(): Int = ScalaRunTime.this._hashCode(Foo.this);
override def toString(): String = ScalaRunTime.this._toString(Foo.this);
override def equals(x$1: Any): Boolean = Foo.this.eq(x$1).||(x$1 match {
  case (a: String,b: Int)this.Foo((a$1 @ _), (b$1 @ _)) if a$1.==(a).&&(b$1.==(b)) => x$1.asInstanceOf[this.Foo].canEqual(Foo.this)
  case _ => false
});

但是,这并没有告诉您如何生成hashCode.这是源头:

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

而且,在这个例子中,equals模式匹配的第一种情况就是:

case that: Foo => this.a == that.a && this.b == that.b