スカラ - オプション

Question

のマッチタプルは、私が持っている：

val foo = Some(List(1, 2, 3)) -> Some("y") 

私はそれに合わせキャストしたいと思います：

foo match { 
    case (Some(x), Some(y)) => println(x + " " + y) 
    case _ => println("error") 

これはSome(List(1, 2, 3) -> Some("score"))のため正常に動作しますが、とSome(List(1, 2, 3) -> None、None -> Some("y")またはNone -> Noneのために失敗します。

error: constructor cannot be instantiated to expected type; 
    found : Some[A] 
    required: None.type 
error: not found: value ... 

なぜですか？

もちろん、私はgetOrElse()を使用できますが、それほどエレガントではありません。

Thxをたくさん、 カルステン

アップデート：私はcase _はそれの世話をするだろうと思うだろう

error: pattern type is incompatible with expected type; 
found : Some[Int] 
required: None.type 

：

foo match { 
case (x: Some[List[Int]], y: Some[Int]) => println(x.get) 
case _ => println("error") 
} 

はとにも失敗。以下のコードで

Answer 1

それはあなたに何かを伝えるコンパイラです。あなたは

val foo = Some(List(1, 2, 3)) -> None 

のような表現を持っている場合それはあなたが簡単にScalaのコンソールで表現して

scala> val foo = Some(List(1, 2, 3)) -> None 
foo: (Some[List[Int]], None.type) = (Some(List(1, 2, 3)),None) 

を入力してから見ることができるタイプ（一部[一覧[INT]]、None.type）を、持っています

コンパイル時にタプルの2番目の要素がNoneにしかならないことが分かっているので、Someとの一致は決して成功できません。したがって、エラーメッセージ。

fooにあまり制限の少ないタイプを指定するとうまくいきます。

val foo : (Option[List[Int]], Option[String]) = Some(List(1, 2, 3) -> None 

これはまさにそのとおりであることに注意してください。決して起こりえないことにマッチングすることは、間違いなく間違いです。コンパイル時のエラーを回避するには、いずれかにアップキャストする必要があります（ただし、ランタイムエラーが発生します）。

Answer 2

、Scalaはfoo matchにコンパイル・エラーが発生しますが、コンパイルしfoo2/foo3で正常に動作します：

val foo = None -> None 
val foo2: (Option[Any], Option[Any]) = None -> None 
val foo3: (Option[Any], Option[Any]) = foo 

foo match { 
    case (Some(x), Some(y)) => println(x + " " + y) 
    case _ => println("error") 
}