回答:
Caseクラスは、コンストラクタの引数にのみ依存するプレーンで不変のデータ保持オブジェクトと見なすことができます。
この機能概念により、
Node(1, Leaf(2), None))
)継承と組み合わせて、代数的データ型を模倣するためにケースクラスが使用されます。
オブジェクトが内部でステートフルな計算を実行するか、他の種類の複雑な動作を示す場合、オブジェクトは通常のクラスである必要があります。
技術的には、クラスとケースクラスの間に違いはありません。たとえ、コンパイラがケースクラスを使用するときにいくつかのことを最適化しても、です。ただし、ケースクラスは、代数的データ型を実装する特定のパターンのボイラープレートを廃止するために使用されます。
そのようなタイプの非常に単純な例はツリーです。たとえば、バイナリツリーは次のように実装できます。
sealed abstract class Tree
case class Node(left: Tree, right: Tree) extends Tree
case class Leaf[A](value: A) extends Tree
case object EmptyLeaf extends Tree
これにより、次のことが可能になります。
// DSL-like assignment:
val treeA = Node(EmptyLeaf, Leaf(5))
val treeB = Node(Node(Leaf(2), Leaf(3)), Leaf(5))
// On Scala 2.8, modification through cloning:
val treeC = treeA.copy(left = treeB.left)
// Pretty printing:
println("Tree A: "+treeA)
println("Tree B: "+treeB)
println("Tree C: "+treeC)
// Comparison:
println("Tree A == Tree B: %s" format (treeA == treeB).toString)
println("Tree B == Tree C: %s" format (treeB == treeC).toString)
// Pattern matching:
treeA match {
case Node(EmptyLeaf, right) => println("Can be reduced to "+right)
case Node(left, EmptyLeaf) => println("Can be reduced to "+left)
case _ => println(treeA+" cannot be reduced")
}
// Pattern matches can be safely done, because the compiler warns about
// non-exaustive matches:
def checkTree(t: Tree) = t match {
case Node(EmptyLeaf, Node(left, right)) =>
// case Node(EmptyLeaf, Leaf(el)) =>
case Node(Node(left, right), EmptyLeaf) =>
case Node(Leaf(el), EmptyLeaf) =>
case Node(Node(l1, r1), Node(l2, r2)) =>
case Node(Leaf(e1), Leaf(e2)) =>
case Node(Node(left, right), Leaf(el)) =>
case Node(Leaf(el), Node(left, right)) =>
// case Node(EmptyLeaf, EmptyLeaf) =>
case Leaf(el) =>
case EmptyLeaf =>
}
ツリーは、同じパターンで(パターンマッチによって)構築および分解されます。これは、正確にそれらが印刷される方法(スペースを除く)でもあります。
また、有効で安定したhashCodeを持っているため、ハッシュマップまたはセットで使用することもできます。
(あなたはすでに最後のものを除いてすべてを述べました)。
これらが通常のクラスとの唯一の違いです。
ケースクラスもインスタンスでProduct
あり、したがってこれらのメソッドを継承するとは誰も言及していません。
def productElement(n: Int): Any
def productArity: Int
def productIterator: Iterator[Any]
ここで、productArity
はクラスパラメータの数をproductElement(i)
返し、i 番目のパラメータを返し、productIterator
それらの反復を許可します。
ケースクラスにval
コンストラクターパラメーターがあることについては誰も言及していませんが、これは通常のクラスのデフォルトでもあります(これはScalaの設計に矛盾があると思います)。ダリオはそれらが「不変」であると彼が指摘したところでそのようなことを暗示しました。
var
caseクラスの各コンストラクタ引数を前に付けることで、デフォルトをオーバーライドできることに注意してください。ただし、ケースクラスを変更可能にすると、それらのメソッドequals
とhashCode
メソッドが時変になります。[1]
sepp2kは、ケースクラスが自動的に生成しequals
、hashCode
メソッドを生成することをすでに説明しました。
また、caseクラスobject
は、クラスapply
とunapply
メソッドを含むクラスと同じ名前のコンパニオンを自動的に作成することについて言及していません。このapply
メソッドを使用すると、前にを付けずにインスタンスを作成できますnew
。unapply
抽出方法は、他のものが挙げことパターンマッチングを可能にします。
また、コンパイラーは速度を最適化しますmatch
- case
ケースクラスのパターンマッチング[2]。
[1] ケースクラスはクールです
Scalaのケースクラスコンストラクトは、ボイラープレートを削除するための便利な手段としても見なされます。
ケースクラスを構築するとき、Scalaは次のことを提供します。
apply
は、ファクトリメソッドとして使用できるメソッドを実装します。新しいキーワードを使用する必要がないという構文上の利点があります。
クラスは不変であるため、クラスの変数(またはプロパティ)であるアクセサーを取得しますが、ミューテーター(変数を変更する機能)は取得しません。コンストラクターのパラメーターは、パブリックの読み取り専用フィールドとして自動的に使用できます。Java Beanコンストラクトよりもはるかに使いやすくなっています。
hashCode
、メソッドはオブジェクトを構造的に比較します。この方法は、(いくつかのフィールドは、メソッドに提供される新しい値を持つ)オブジェクトのクローンを作成することができるように生成されます。equals
toString
equals
copy
前述の最大の利点は、ケースクラスでパターンマッチを実行できることです。これはunapply
、ケースクラスを分解してフィールドを抽出できるメソッドを取得するためです。
本質的に、ケースクラス(または、クラスが引数を取らない場合はケースオブジェクト)を作成するときにScalaから取得するものは、ファクトリーおよびエクストラクターとしての役割を果たすシングルトンオブジェクトです。
copy
メソッドがフィールドを変更できるため:val x = y.copy(foo="newValue")
人々がすでに言ったことを除いて、との間にいくつかのより基本的な違いがclass
ありますcase class
1. Case Class
明示的なは必要ありませんがnew
、クラスはnew
val classInst = new MyClass(...) // For classes
val classInst = MyClass(..) // For case class
2.デフォルトでは、コンストラクタのパラメータはでプライベートですがclass
、パブリックではcase class
// For class
class MyClass(x:Int) { }
val classInst = new MyClass(10)
classInst.x // FAILURE : can't access
// For caseClass
case class MyClass(x:Int) { }
val classInst = MyClass(10)
classInst.x // SUCCESS
3. case class
値で比較する
// case Class
class MyClass(x:Int) { }
val classInst = new MyClass(10)
val classInst2 = new MyClass(10)
classInst == classInst2 // FALSE
// For Case Class
case class MyClass(x:Int) { }
val classInst = MyClass(10)
val classInst2 = MyClass(10)
classInst == classInst2 // TRUE
クラス:
scala> class Animal(name:String)
defined class Animal
scala> val an1 = new Animal("Padddington")
an1: Animal = Animal@748860cc
scala> an1.name
<console>:14: error: value name is not a member of Animal
an1.name
^
しかし、同じコードを使用するが、ケースクラスを使用する場合:
scala> case class Animal(name:String)
defined class Animal
scala> val an2 = new Animal("Paddington")
an2: Animal = Animal(Paddington)
scala> an2.name
res12: String = Paddington
scala> an2 == Animal("fred")
res14: Boolean = false
scala> an2 == Animal("Paddington")
res15: Boolean = true
個人クラス:
scala> case class Person(first:String,last:String,age:Int)
defined class Person
scala> val harry = new Person("Harry","Potter",30)
harry: Person = Person(Harry,Potter,30)
scala> harry
res16: Person = Person(Harry,Potter,30)
scala> harry.first = "Saily"
<console>:14: error: reassignment to val
harry.first = "Saily"
^
scala>val saily = harry.copy(first="Saily")
res17: Person = Person(Saily,Potter,30)
scala> harry.copy(age = harry.age+1)
res18: Person = Person(Harry,Potter,31)
パターンマッチング:
scala> harry match {
| case Person("Harry",_,age) => println(age)
| case _ => println("no match")
| }
30
scala> res17 match {
| case Person("Harry",_,age) => println(age)
| case _ => println("no match")
| }
no match
オブジェクト:シングルトン:
scala> case class Person(first :String,last:String,age:Int)
defined class Person
scala> object Fred extends Person("Fred","Jones",22)
defined object Fred
ケースクラスとは何かを最終的に理解するには:
次のケースクラス定義を想定します。
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
equals-hashcode規約に従うためのオーバーライド:override <synthetic> def hashCode(): Int
java.lang.Object.toString
:override def toString(): String
new
キーワードによるインスタンス化のコンストラクタ:def <init>(foo: String, bar: Int): Foo
Object Foo:- キーワードapply
なしでインスタンス化する方法new
:
case <synthetic> def apply(foo: String, bar: Int): Foo = new Foo(foo, bar);
unupply
パターンマッチングでケースクラスFooを使用するための抽出メソッド:case <synthetic> def unapply(x$0: Foo): Option
<synthetic> private def readResolve(): Object = 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オブジェクトは、2つの要素のタプルを適用して新しいFooを作成する関数を返します。
したがって、caseクラスは構文上の糖衣です。
ケースクラスのコンパニオンオブジェクトがtupled
次のタイプを持つ定義を持つことについては誰も述べていません。
case class Person(name: String, age: Int)
//Person.tupled is def tupled: ((String, Int)) => Person
私が見つけることができる唯一のユースケースは、タプルからケースクラスを構築する必要がある場合です、例:
val bobAsTuple = ("bob", 14)
val bob = (Person.apply _).tupled(bobAsTuple) //bob: Person = Person(bob,14)
オブジェクトを直接作成することで、タプルなしで同じことができますが、データセットがアリティ20のタプル(20要素のタプル)のリストとして表されている場合は、タプルを使用するのが最適です。
ケースクラスを一緒に使用することができるクラスですmatch/case
声明。
def isIdentityFun(term: Term): Boolean = term match {
case Fun(x, Var(y)) if x == y => true
case _ => false
}
あなたはそれを見る case
後に、2番目のパラメーターがVarであるFunクラスのインスタンスが続くます。これは非常に優れた強力な構文ですが、どのクラスのインスタンスでも機能しないため、caseクラスにはいくつかの制限があります。そしてこれらの制限が守られれば、ハッシュコードとイコールを自動的に定義することが可能です。
あいまいなフレーズ「パターンマッチングによる再帰的な分解メカニズム」は、単に「動作する」という意味case
です。(実際、の後に続くインスタンスは、の後に続くインスタンスmatch
と比較(照合)されますcase
。Scalaは、両方を分解し、それらが構成されているものを再帰的に分解する必要があります。)
何 ケースクラスが役に立ちますか?代数的データ型に関するWikipediaの記事 2良い古典例、リストやツリーを提供します。代数的データ型のサポート(それらを比較する方法を知ることを含む)は、現代の関数型言語では必須です。
どのようなケースのクラスです役に立たないのですか?一部のオブジェクトには状態があります。このようなコードconnection.setConnectTimeout(connectTimeout)
は、ケースクラス用ではありません。
そして今、あなたはScalaのツアーを読むことができます:Case Classes
全体として、すべての回答がクラスとケースクラスに関する意味的な説明を提供していると思います。これは非常に関連性がありますが、Scalaのすべての初心者は、ケースクラスを作成したときに何が起こるかを知っている必要があります。私はこれを書きました回答ました。これはケースクラスを簡単に説明しています。
すべてのプログラマーは、事前に作成された関数を使用している場合、比較的少ないコードを作成していることを知っている必要があります。これにより、最適化されたコードを作成するためのパワーを与えることができますが、パワーには大きな責任があります。そのため、ビルド済みの関数を使用する際は十分に注意してください。
20のメソッドが追加されているため、一部の開発者はケースクラスの記述を避けています。これは、クラスファイルを分解することで確認できます。
の主な機能の一部をcase classes
以下に示します
new
キーワードなしでケースクラスをインスタンス化できます。Scalaのドキュメントから抜粋した、ScalaフィドルのサンプルScalaコード。