match 式は、値のパターンマッチによって処理を分岐する構文（式）だ。
基本的な使い方
まずはいちばん基本的な、switch 文のような使い方。
scala> val name = "Taro"
name: String = Taro
scala> name match {
| case "Taro" => "male"
| case "Jiro" => "male"
| case "Hanako" => "female"
| }
res0: String = male
変数 name の値によって分岐している。キーワード match を対象となる変数の後に書くのが特徴的だな。res0 とあるように、match 式も値を返す。
match の対象には String 型じゃなく、ほかの型も使える。
scala> val n = 5
n: Int = 5
scala> n match {
| case 1 => "one"
| case 2 => "two"
| case 3 => "three"
| case _ => "many"
| }
res1: String = many
最後の case の _ は、ワイルドカードパターンといって、どんな値にもマッチする。Scala では分岐の漏れを防ぐためによく使われるようだ。
パターンをまとめる
複数のパターンで同じ処理をしたいときには、| で区切ってパターンを並べることでまとめることができる。こんなふうに。
scala> "def" match {
| case "abc" | "def" =>
| println("first")
| println("second")
| case "ghi" =>
| println("third")
| }
first
second
ここで気が付いたけど、分岐先が複数の式になってても { } で囲う必要はないんだな。
パターンマッチによる値の取り出し
パターンに一種の変数を使うことで、対応する値を取り出すことができる。
scala> val lst = List("A", "B", "C")
lst: List[String] = List(A, B, C)
scala> lst match {
| case List("A", b, c) =>
| println("b = " + b)
| println("c = " + c)
| case _ =>
| println("nothing")
| }
b = B
c = C
この例では、先頭が “A” であるような3要素のリストにマッチし、2番目と3番目の要素がそれぞれ b と c に代入されている。
ガード式
パターンにガード式をつけることで、条件を加えることができる。たとえば、「先頭が “A” のリストで、かつ、2番目が “B” でない」というパターンは次のように書ける。
scala> lst match {
| case List("A", b, c) if b != "B" =>
| println("b = " + b)
| println("c = " + c)
| case _ =>
| println("nothing")
| }
nothing
この例では、「先頭が “A” のリスト」にはマッチするけど「if b != “B”」が偽になるので最初のパターンにはマッチせず、あとのワイルドカードパターンにマッチして nothing が返ってきている。
asパターン
パターンの前に変数名と @ をつけることで、パターンにマッチした値を変数に束縛（「束縛」って用語を使ってるな）することができる。これは後からパターンの値を参照するのに便利。
scala> val lst2 = List(List("A"), List("B", "C"))
lst2: List[List[String]] = List(List(A), List(B, C))
scala> lst2 match {
| case List(a@List("A"), x) =>
| println(a)
| println(x)
| case _ =>
| println("nothing")
| }
List(A)
List(B, C)
ここでは、List(“A”) というパターンの値を変数 a に束縛して後から使っている。
というところで、とりあえずはここまで。