scala - 选项GenTraversableOnce吗？

我很困惑。在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？看起来好像不是子类...

最佳答案

实际上，默认情况下存在从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>

实际上，这是在对象Option中定义的。内部scala包：

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中使用隐式看到的转换），则必须查看：


Prescal.scala
该类的同伴对象