51CTO編輯推薦：Scala編程語言專題

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官方網站

【相關閱讀】

1. Groovy創始人：Java面臨終結 Scala將取而代之
2. Scala的類型系統：取代復雜的通配符
3. Scala的類型系統 比Java更靈活
4. Java程序員，你為什么要關注Scala
5. Scala編程語言