Щоб мати остаточне розуміння того, що таке клас класів:
припустимо таке визначення класу випадків:
case class Foo(foo:String, bar: Int)
а потім виконайте наступне в терміналі:
$ scalac -print src/main/scala/Foo.scala
Scala 2.12.8 виведе:
...
case class Foo extends Object with Product with Serializable {
<caseaccessor> <paramaccessor> private[this] val foo: String = _;
<stable> <caseaccessor> <accessor> <paramaccessor> def foo(): String = Foo.this.foo;
<caseaccessor> <paramaccessor> private[this] val bar: Int = _;
<stable> <caseaccessor> <accessor> <paramaccessor> def bar(): Int = Foo.this.bar;
<synthetic> def copy(foo: String, bar: Int): Foo = new Foo(foo, bar);
<synthetic> def copy$default$1(): String = Foo.this.foo();
<synthetic> def copy$default$2(): Int = Foo.this.bar();
override <synthetic> def productPrefix(): String = "Foo";
<synthetic> def productArity(): Int = 2;
<synthetic> def productElement(x$1: Int): Object = {
case <synthetic> val x1: Int = x$1;
(x1: Int) match {
case 0 => Foo.this.foo()
case 1 => scala.Int.box(Foo.this.bar())
case _ => throw new IndexOutOfBoundsException(scala.Int.box(x$1).toString())
}
};
override <synthetic> def productIterator(): Iterator = scala.runtime.ScalaRunTime.typedProductIterator(Foo.this);
<synthetic> def canEqual(x$1: Object): Boolean = x$1.$isInstanceOf[Foo]();
override <synthetic> def hashCode(): Int = {
<synthetic> var acc: Int = -889275714;
acc = scala.runtime.Statics.mix(acc, scala.runtime.Statics.anyHash(Foo.this.foo()));
acc = scala.runtime.Statics.mix(acc, Foo.this.bar());
scala.runtime.Statics.finalizeHash(acc, 2)
};
override <synthetic> def toString(): String = scala.runtime.ScalaRunTime._toString(Foo.this);
override <synthetic> def equals(x$1: Object): Boolean = Foo.this.eq(x$1).||({
case <synthetic> val x1: Object = x$1;
case5(){
if (x1.$isInstanceOf[Foo]())
matchEnd4(true)
else
case6()
};
case6(){
matchEnd4(false)
};
matchEnd4(x: Boolean){
x
}
}.&&({
<synthetic> val Foo$1: Foo = x$1.$asInstanceOf[Foo]();
Foo.this.foo().==(Foo$1.foo()).&&(Foo.this.bar().==(Foo$1.bar())).&&(Foo$1.canEqual(Foo.this))
}));
def <init>(foo: String, bar: Int): Foo = {
Foo.this.foo = foo;
Foo.this.bar = bar;
Foo.super.<init>();
Foo.super./*Product*/$init$();
()
}
};
<synthetic> object Foo extends scala.runtime.AbstractFunction2 with Serializable {
final override <synthetic> def toString(): String = "Foo";
case <synthetic> def apply(foo: String, bar: Int): Foo = new Foo(foo, bar);
case <synthetic> def unapply(x$0: Foo): Option =
if (x$0.==(null))
scala.None
else
new Some(new Tuple2(x$0.foo(), scala.Int.box(x$0.bar())));
<synthetic> private def readResolve(): Object = Foo;
case <synthetic> <bridge> <artifact> def apply(v1: Object, v2: Object): Object = Foo.this.apply(v1.$asInstanceOf[String](), scala.Int.unbox(v2));
def <init>(): Foo.type = {
Foo.super.<init>();
()
}
}
...
Як ми бачимо, компілятор Scala виробляє звичайний клас Foo
та супутник-об’єкт Foo
.
Пройдемо через складений клас і прокоментуємо, що у нас є:
- внутрішній стан
Foo
класу, незмінний:
val foo: String
val bar: Int
def foo(): String
def bar(): Int
def copy(foo: String, bar: Int): Foo
def copy$default$1(): String
def copy$default$2(): Int
scala.Product
ознака реалізації :
override def productPrefix(): String
def productArity(): Int
def productElement(x$1: Int): Object
override def productIterator(): Iterator
- Реалізація
scala.Equals
ознаки для встановлення екземплярів класу випадків, порівнянних за рівністю, за ==
:
def canEqual(x$1: Object): Boolean
override def equals(x$1: Object): Boolean
- головне значення
java.lang.Object.hashCode
для виконання договору рівного хеш-коду:
override <synthetic> def hashCode(): Int
- головне
java.lang.Object.toString
:
override def toString(): String
- конструктор для інстанції за
new
ключовим словом:
def <init>(foo: String, bar: Int): Foo
Об'єкт Foo: - метод apply
екземпляра без new
ключового слова:
case <synthetic> def apply(foo: String, bar: Int): Foo = new Foo(foo, bar);
- метод екстрактора
unupply
для використання класу Case Foo у відповідності шаблонів:
case <synthetic> def unapply(x$0: Foo): Option
- метод захисту об'єкта як одиночного від десеріалізації, щоб не дозволяти виробляти ще один екземпляр:
<synthetic> private def readResolve(): Object = Foo;
- об’єкт Foo розширюється
scala.runtime.AbstractFunction2
для виконання такого трюку:
scala> case class Foo(foo:String, bar: Int)
defined class Foo
scala> Foo.tupled
res1: ((String, Int)) => Foo = scala.Function2$$Lambda$224/1935637221@9ab310b
tupled
from object повертає функцію для створення нового Foo, застосовуючи кортеж з 2-х елементів.
Тож кейс-клас - це просто синтаксичний цукор.