Scala之旅：Case类

A Tour of Scala: Case Classes

 

　　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，匹配成功；反之，则匹配失败，并尝试下一个模式。