Optionはforループ内で明示的にtoListを必要とするのはなぜですか？簡単なオプションでループのために使用

Question

は動作します：

scala> for (lst <- Some(List(1,2,3))) yield lst 
res68: Option[List[Int]] = Some(List(1, 2, 3)) 

しかし、オプションの内容をループしません：

scala> for (lst <- Some(List(1,2,3)); x <- lst) yield x 
<console>:8: error: type mismatch; 
found : List[Int] 
required: Option[?] 
       for (lst <- Some(List(1,2,3)); x <- lst) yield x 
              ^

...オプションが明示的にリストに変換されていない場合：

scala> for (lst <- Some(List(1,2,3)).toList; x <- lst) yield x 
res66: List[Int] = List(1, 2, 3) 

なぜ明示的なリストの変換が必要とされていますか？これは慣用的な解決策ですか？

Answer 1

for (lst <- Some(List(1,2,3)); x <- lst) yield x 

はOption上flatMap方法はOption返す関数を期待

Some(List(1,2,3)).flatMap(lst => lst.map(x => x)) 

に翻訳されていますが、Listを返す関数を渡しているとListからの暗黙的な変換にはありませんOption。あなたが最初のリストにOptionを変換する場合

は今、ListのflatMap方法は、あなたがそれに渡しているものですListを返す関数を、期待しており、代わりに呼び出されます。この特定のケースで

、私はほとんどの慣用的なソリューションがなぜ `用（LST <ある

Some(List(1,2,3)).flatten.toList