Dopasowanie wzorców (Pattern matching)

Scala posiada wbudowany mechanizm dopasowania wzorców. Umożliwia on dopasowanie dowolnego rodzaju danych, przy czym zawsze zwracamy pierwsze dopasowanie. Przykład dopasowania liczby całkowitej:

object MatchTest1 extends App {
  def matchTest(x: Int): String = x match {
    case 1 => "one"
    case 2 => "two"
    case _ => "many"
  }
  println(matchTest(3))
}

Blok kodu z wyrażeniami case definiuje funkcję, która przekształca liczby całkowite na łańcuchy znaków. Słowo kluczowe match pozwala w wygodny sposób zastosować dopasowanie wzorca do obiektu.

Wzorce można także dopasowywać do różnych typów wartości:

object MatchTest2 extends App {
  def matchTest(x: Any): Any = x match {
    case 1 => "one"
    case "two" => 2
    case y: Int => "scala.Int"
  }
  println(matchTest("two"))
}

Pierwszy przypadek jest dopasowany, gdy x jest liczbą całkowitą równą 1. Drugi określa przypadek, gdy x jest równe łańcuchowi znaków "two". Ostatecznie mamy wzorzec dopasowania typu. Jest on spełniony, gdy x jest dowolną liczbą całkowitą oraz gwarantuje, że y jest (statycznie) typu liczby całkowitej.

Dopasowanie wzorca w Scali jest najbardziej użyteczne z wykorzystaniem typów algebraicznych modelowanych przez klasy przypadków. Scala pozwala też na używanie wzorców niezależnie od klas przypadków - używając metody unapply definiowanej przez obiekty ekstraktorów.