Какой код генерируется для метода equals/hashCode класса case?

У меня есть код Java, который я переводил на Scala.

Код состоит из некоторых неизменяемых классов, которые бы соответствовали цели case class в Scala.

Но я не хочу вводить ошибки, поэтому я хочу быть уверенным, что код, сгенерированный для equals и hashCode, является/ведет себя эквивалентно текущей реализации.

Я уже смотрел "Программирование в Scala", но он говорит только

В-третьих, компилятор добавляет "естественные" реализации методов toString, hashCode и соответствует вашему классу.

Ответы

Ответ 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
}

И в этом примере первый случай совпадения совпадений равен:

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