学习Scala中的Case类-scala case

Scala支持case类的概念。case类也是正规的类，暴露其构造器参数，并通过模式匹配提供递归解构机制。以下是由抽象超类Term和三个具体case类Var，Fun，和App组成的类层次的例子。

abstract class Term  
case class Var(name: String) extends Term  
case class Fun(arg: String, body: Term) extends Term  
case class App(f: Term, v: Term) extends Term

这个类层次可以用来表现无类型lambda算子。为了便于case类实例的构建，Scala不需要使用new原语。只要简单地把类名用作函数即可。举例如下：

Fun("x", Fun("y", App(Var("x"), Var("y"))))

case类的构造器参数被当作公开值并可以直接被访问。

val x = Var("x")  
Console.println(x.name)

对于每个case类，Scala编译器将产生实现了结构相等性检查的equals方法和一个toString方法。举例如下：

val x1 = Var("x")  
val x2 = Var("x")  
val y1 = Var("y")  
println("" + x1 + " == " + x2 + " => " + (x1 == x2))  
println("" + x1 + " == " + y1 + " => " + (x1 == y1))

将打印

Var(x) == Var(x) => true 
Var(x) == Var(y) => false

只有在分解数据结构的时候用到了模式匹配的情况下，定义case类才是有意义的。以下的对象为我们的lambda算子的展示定义了漂亮的打印函数：

object TermTest extends Application {  
  def printTerm(term: Term) {  
    term match {  
      case Var(n) =>  
        print(n)  
      case Fun(x, b) =>  
        print("^" + x + ".")  
        printTerm(b)  
      case App(f, v) =>  
        Console.print("(")  
        printTerm(f)  
        print(" ")  
        printTerm(v)  
        print(")")  
    }  
  }  
  def isIdentityFun(term: Term): Boolean = term match {  
    case Fun(x, Var(y)) if x == y => true 
    case _ => false 
  }  
  val id = Fun("x", Var("x"))  
  val t = Fun("x", Fun("y", App(Var("x"), Var("y"))))  
  printTerm(t)  
  println  
  println(isIdentityFun(id))  
  println(isIdentityFun(t))  
}

我们的例子里，函数print表达为开始于match关键字的，由一系列的case Pattern => Body子句组成的模式匹配语句。

上面的程序还定义了函数isIdentityFun，用来检查是否给定的term对应于一个简单的身份函数。这个例子使用了深度模式和护卫语句。在使用给定值匹配了模式之后，护卫语句（定义于关键字if之后）被执行评估。如果返回true，匹配成功；反之，则匹配失败，并尝试下一个模式。

原文来源：Scala官方网站

【相关阅读】