Scala模式匹配變量綁定與自動類型轉換

Question

在scala中我們可以對類型進行模式匹配。所以有可能將一個變量綁定到匹配的類型。眼下有界變量的類型爲Any

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

Answer 1

你的語法不正確!!!，它應該是這樣的：

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

使用:匹配類型，=>下一個block

Answer 2

要在類型上模式匹配，請遵循@chengpohi中公開的語法。

綁定運算符@用於指代在模式匹配中提取的數據的（子）結構。例如，在

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

標籤t指的是整個的元組，不必表示fst和snd。