Scala Pattern Matching variable Bindung mit automatischer Typumwandlung

Question

In scala können wir Muster auf Typen anpassen. So ist es möglich, eine Variable an das übereinstimmende Muster mit dem Typ zu binden. Im Augenblick ist die beschränkte Variable Typ hat Any

val a: Any = "hello" 
a match { 
    case v @ String { 
      v.length() // not working 
    } 
} 

Answer 1

Ihre Syntax ist nicht richtig !!!, sollte es sein wie:

val a: Any = "hello" 
a match { 
    case v: String => v.length() 
} 

Verwendung : Typ zu entsprechen, und => mit der nächsten block

Answer 2

Um eine Musterübereinstimmung für einen Typ zu erstellen, folgen Sie der in @chengpohi angegebenen Syntax.

Der Bindungsoperator @ wird verwendet, um auf eine (Sub-) Struktur der Daten zu verweisen, die im Mustervergleich extrahiert wurden. Zum Beispiel in

("hello",123) match { 
    case t @ (fst: String, snd: Int) => println(s"got tuple $t") 
    case _       => 
} 

Etikett bezieht sich auf den gesamten t Tupel nicht fst und snd zu bezeichnen ist.