scala 模式匹配

scala 提供了強(qiáng)大的模式匹配機(jī)制，應(yīng)用也非常廣泛。

一個(gè)模式匹配包含了一系列備選項(xiàng)，每個(gè)都開(kāi)始于關(guān)鍵字 case。每個(gè)備選項(xiàng)都包含了一個(gè)模式及一到多個(gè)表達(dá)式。箭頭符號(hào) => 隔開(kāi)了模式和表達(dá)式。

以下是一個(gè)簡(jiǎn)單的整型值模式匹配范例：

 
object test {
? ?def main(args: array[string]) {
? ? ? println(matchtest(3))

? ?}
? ?def matchtest(x: int): string = x match {
? ? ? case 1 => "one"
? ? ? case 2 => "two"
? ? ? case _ => "many"
? ?}
}

執(zhí)行以上代碼，輸出結(jié)果為：

$ scalac test.scala 
$ scala test
many

match 對(duì)應(yīng) java 里的 switch，但是寫(xiě)在選擇器表達(dá)式之后。即： 選擇器 match {備選項(xiàng)}。

match 表達(dá)式通過(guò)以代碼編寫(xiě)的先后次序嘗試每個(gè)模式來(lái)完成計(jì)算，只要發(fā)現(xiàn)有一個(gè)匹配的case，剩下的case不會(huì)繼續(xù)匹配。

接下來(lái)我們來(lái)看一個(gè)不同數(shù)據(jù)類型的模式匹配：

object test {
? ?def main(args: array[string]) {
? ? ? println(matchtest("two"))
? ? ? println(matchtest("test"))
? ? ? println(matchtest(1))
? ? ? println(matchtest(6))

? ?}
? ?def matchtest(x: any): any = x match {
? ? ? case 1 => "one"
? ? ? case "two" => 2
? ? ? case y: int => "scala.int"
? ? ? case _ => "many"
? ?}
}

執(zhí)行以上代碼，輸出結(jié)果為：

$ scalac test.scala 
$ scala test
2
many
one
scala.int

范例中第一個(gè) case 對(duì)應(yīng)整型數(shù)值 1，第二個(gè) case 對(duì)應(yīng)字符串值 two，第三個(gè) case 對(duì)應(yīng)類型模式，用于判斷傳入的值是否為整型，相比使用isinstanceof來(lái)判斷類型，使用模式匹配更好。第四個(gè) case 表示默認(rèn)的全匹配備選項(xiàng)，即沒(méi)有找到其他匹配時(shí)的匹配項(xiàng)，類似 switch 中的 default。

1. 使用樣例類

使用了case關(guān)鍵字的類定義就是樣例類(case classes)，樣例類是種特殊的類，經(jīng)過(guò)優(yōu)化以用于模式匹配。

以下是樣例類的簡(jiǎn)單范例:

object test {
? ?def main(args: array[string]) {
? ? ? ? val alice = new person("alice", 25)
? ? ? ? val bob = new person("bob", 32)
? ? ? ? val charlie = new person("charlie", 32)
? ?
? ? for (person <- list(alice, bob, charlie)) {
? ? ? ? person match {
? ? ? ? ? ? case person("alice", 25) => println("hi alice!")
? ? ? ? ? ? case person("bob", 32) => println("hi bob!")
? ? ? ? ? ? case person(name, age) =>
? ? ? ? ? ? ? ?println("age: " + age + " year, name: " + name + "?")
? ? ? ? ?}
? ? ? }
? ?}
? ?// 樣例類
? ?case class person(name: string, age: int)
}

執(zhí)行以上代碼，輸出結(jié)果為：

$ scalac test.scala 
$ scala test
hi alice!
hi bob!
age: 32 year, name: charlie?

在聲明樣例類時(shí)，下面的過(guò)程自動(dòng)發(fā)生了：

• 構(gòu)造器的每個(gè)參數(shù)都成為val，除非顯式被聲明為var，但是并不推薦這么做；
• 在伴生對(duì)象中提供了apply方法，所以可以不使用new關(guān)鍵字就可構(gòu)建對(duì)象；
• 提供unapply方法使模式匹配可以工作；
• 生成tostring、equals、hashcode和copy方法，除非顯示給出這些方法的定義。