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

Scala支持case類的概念。case類也是正規(guī)的類，暴露其構(gòu)造器參數(shù)，并通過模式匹配提供遞歸解構(gòu)機制。 以下是由抽象超類Term和三個具體case類Var，F(xiàn)un，和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 

這個類層次可以用來表現(xiàn)無類型lambda算子。為了便于case類實例的構(gòu)建，Scala不需要使用new原語。只要簡單地把類名用作函數(shù)即可。舉例如下：

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

case類的構(gòu)造器參數(shù)被當(dāng)作公開值并可以直接被訪問。

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

對于每個case類，Scala編譯器將產(chǎn)生實現(xiàn)了結(jié)構(gòu)相等性檢查的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 

只有在分解數(shù)據(jù)結(jié)構(gòu)的時候用到了模式匹配的情況下，定義case類才是有意義的。以下的對象為我們的lambda算子的展示定義了漂亮的打印函數(shù)：

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))  
} 

我們的例子里，函數(shù)print表達為開始于match關(guān)鍵字的，由一系列的case Pattern => Body子句組成的模式匹配語句。

上面的程序還定義了函數(shù)isIdentityFun，用來檢查是否給定的term對應(yīng)于一個簡單的身份函數(shù)。這個例子使用了深度模式和護衛(wèi)語句。在使用給定值匹配了模式之后，護衛(wèi)語句（定義于關(guān)鍵字if之后）被執(zhí)行評估。如果返回true，匹配成功；反之，則匹配失敗，并嘗試下一個模式。

原文來源：Scala官方網(wǎng)站

【相關(guān)閱讀】

1. Groovy創(chuàng)始人：Java面臨終結(jié) Scala將取而代之
2. Scala的類型系統(tǒng)：取代復(fù)雜的通配符
3. Scala的類型系統(tǒng) 比Java更靈活
4. Java程序員，你為什么要關(guān)注Scala
5. Scala編程語言