Tour of Scala

Dopasowanie wzorców (Pattern matching)

Language

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.

Contributors to this page: