Case类可以被看作是普通的、不可变的数据保存对象，应该完全依赖于它们的构造函数参数。

这个函数概念允许我们

使用紧凑的初始化语法(Node(1, Leaf(2)， None))) 使用模式匹配分解它们 是否隐含地定义了相等比较

结合继承，case类被用来模拟代数数据类型。

如果一个对象在内部执行有状态计算或显示其他类型的复杂行为，那么它应该是一个普通类。

没有人提到case类也是Product的实例，因此继承了这些方法:

def productElement(n: Int): Any
def productArity: Int
def productIterator: Iterator[Any]

其中productArity返回类参数的个数，productElement(i)返回第i个参数，productIterator允许遍历它们。

没有人提到case类有val构造函数参数，但这也是常规类的默认值(我认为这是Scala设计中的不一致)。达里奥暗示了这一点，他指出它们是“不可改变的”。

注意，可以通过在每个构造函数参数前加上var来覆盖默认值。然而，使case类可变会导致它们的equals和hashCode方法是时变的

sepp2k已经提到case类自动生成equals和hashCode方法。

同样没有人提到case类会自动创建一个与类同名的伴生对象，其中包含apply和unapply方法。apply方法允许在不使用new前置的情况下构造实例。unapply提取器方法启用了其他人提到的模式匹配。

此外，编译器还优化了大小写类[2]的匹配大小写模式匹配速度。

案例类很酷

[2]案例类和提取器，第15页。

类:

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

Person类:

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类是可以与match/case语句一起使用的类。

def isIdentityFun(term: Term): Boolean = term match {
  case Fun(x, Var(y)) if x == y => true
  case _ => false
}

你可以看到case后面跟着一个Fun类的实例，它的第二个参数是Var。这是一个非常漂亮和强大的语法，但它不能用于任何类的实例，因此对case类有一些限制。如果遵守了这些限制，就可以自动定义hashcode和equals。

模糊的短语“通过模式匹配的递归分解机制”仅仅意味着“它适用于大小写”。(实际上，match后面的实例与case后面的实例进行比较(匹配)，Scala必须将它们都分解，并且必须递归地分解它们的组成部分。)

案例类对什么有用?维基百科上关于代数数据类型的文章给出了两个很好的经典例子，列表和树。支持代数数据类型(包括知道如何比较它们)是任何现代函数式语言都必须具备的功能。

哪些案例类是无用的?有些对象有状态，像connection.setConnectTimeout(connectTimeout)这样的代码不是用于case类的。

现在你可以读到Scala指南:Case Classes

Case类可以被看作是普通的、不可变的数据保存对象，应该完全依赖于它们的构造函数参数。

这个函数概念允许我们

使用紧凑的初始化语法(Node(1, Leaf(2)， None))) 使用模式匹配分解它们 是否隐含地定义了相等比较

结合继承，case类被用来模拟代数数据类型。

如果一个对象在内部执行有状态计算或显示其他类型的复杂行为，那么它应该是一个普通类。