スカラパターンとマッチする変数型と自動型変換

Question

スカラ型ではパターンマッチングが可能です。したがって、型と一致するパターンに変数をバインドすることは可能です。

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

使用:タイプに一致するように、次のblockと=>：今有界変数はあなたの構文が正しいではありません!!! Any

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

Answer 1

型を持つ、それは次のようにする必要があります

Answer 2

タイプでパターンマッチするには、@chengpohiで公開されている構文に従います。

バインド演算子@は、パターンマッチングで抽出されたデータの（サブ）構造を参照するために使用されます。例えば

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

にラベルtはfstとsndを意味する必要がない、全体のタプルを指します。