Я читал, что конструкция Scala 'a case class
автоматически генерирует реализацию equals
и hashCode
. Как выглядит сгенерированный код?
HashCode в классах классов в Scala
Ответ 1
Как говорил мой профессор, только код говорит правду! Поэтому просто взгляните на код, который создается для:
case class A(i: Int, s: String)
Мы можем проинструктировать компилятор 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]()
};
}
Итак, вы можете видеть, что вычисление хеш-кода делегировано ScalaRunTime._hashCode, и равенство зависит от равенства класса case '.
Ответ 2
Сгенерированный 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
- это арность вашего класса case, а elemi
- члены этого класса case.
Ответ 3
Помните, что предыдущие ответы по этому вопросу немного устарели в части hashCode.
В scala 2.9 hashCode
для классов case используется MurmurHash
: ссылка.
MurmurHash производит хороший лавинный эффект, хорошее распространение и поддерживает ЦП.
Ответ 4
Похоже, что все изменилось; используя пример 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))
}))
};