オプションはGenTraversableOnceですか？

Question

私は混乱しています。 TraversableLikeでは、機能flatMapは署名

flatMap[B](f: (A) ⇒ GenTraversableOnce[B]): Iterable[B]

であり、それが可能である理由しかし、私はこのように

scala> Iterable(1,2,3,4,5).flatMap{i=>if (i%2==0) {None} else {Some(i)}} 
res1: Iterable[Int] = List(1, 3, 5) 

をそれを使用することができますか？ OptionはどのようにしてGenTraversableOnceに変換されますか？それはサブクラスのようには見えません...

Answer 1

実際には、デフォルトでSome [X]からGenTraversableOnce [X]への暗黙の変換があります。これは、REPLでテストするのが非常に簡単です。

scala> implicitly[Function[Some[Int],GenTraversableOnce[Int]]] 
res1: Some[Int] => scala.collection.GenTraversableOnce[Int] = <function1> 

scala> implicitly[Some[Int] => GenTraversableOnce[Int]] // alternative syntax 
res2: Some[Int] => scala.collection.GenTraversableOnce[Int] = <function1> 

実際、これはオブジェクトオプションで定義されています。スカラパッケージ内：

object Option { 
    /** An implicit conversion that converts an option to an iterable value 
    */ 
    implicit def option2Iterable[A](xo: Option[A]): Iterable[A] = xo.toList 

    /** An Option factory which creates Some(x) if the argument is not null, 
    * and None if it is null. 
    * 
    * @param x the value 
    * @return Some(value) if value != null, None if value == null 
    */ 
    def apply[A](x: A): Option[A] = if (x == null) None else Some(x) 

    /** An Option factory which returns `None` in a manner consistent with 
    * the collections hierarchy. 
    */ 
    def empty[A] : Option[A] = None 
} 

option2Iterableはあなたが探しているものです。また、REPLでのテスト時に、GenTraversableOnceの実装がリストであることがわかります。

あなたは自動的にあなたが見ている（あなたが暗黙的に使用してREPLで見ることができるような）何もしないで輸入されている暗黙の型変換を探している場合：

• Predef.scala
• クラス

Answer 2

実際には暗黙のうちにListに変換されているようです。

scala> val l:scala.collection.GenTraversableOnce[Int] = Some(3) 
l: scala.collection.GenTraversableOnce[Int] = List(3) 

scala> val l:scala.collection.GenTraversableOnce[Int] = None 
l: scala.collection.GenTraversableOnce[Int] = List() 

個人的なメモ：スカラー魔法の暗黙的な変換は時には本当に混乱します。

Answer 3

のコンパニオンオブジェクトは、クラス図（*）で見ることができるように、OptionはGenTraversableOnceのサブクラスではありませんが、012でIterableで利用可能な暗黙の変換が、あります。

（*）うん、[OK]を、私はだまさ。クラス図はScaladocではまだ利用できませんが、明日になるはずです！ :-)