scala - 为什么 "flatMap"在 Scala 中使用 Option 类型的序列？

Question

我无法弄清楚 Scala 编译器如何计算出如何使用 flatMap序列为 Option s。

如果我使用 flatMap在序列序列上:

println(Seq(Seq(1), Seq()).flatMap(a => a)) // List(1)

它将连接所有嵌套序列

如果我将它与 Option 的序列一起使用，也会发生同样的情况s:

println(Seq(Some(1), None).flatMap(a => a)) // List(1)

所以 flatMap款待 Option在这种情况下作为集合。问题是为什么这样做？ flatMap具有以下定义:

def flatMap[B, That](f: A => GenTraversableOnce[B])(implicit bf: CanBuildFrom[Repr, B, That]): That

这意味着它需要一个返回 GenTraversableOnce 实例的函数。 ，但是 Option不继承 GenTraversableOnce .它只继承 Product和 Serializable , 和 Product继承 Equals .

Scala 编译器如何使用 flatMap在 Option 的序列上在这种情况下？

Answer 1

你的观察是对的。在这种情况下，如果编译器无法匹配类型，它会查找隐式转换并在 Option 中找到一个。的伴生对象:

import scala.language.implicitConversions

/** 
    An implicit conversion that converts an option to an iterable value
*/

implicit def option2Iterable[A](xo: Option[A]): Iterable[A] = xo.toList

这使得治疗 Option 成为可能s 为 Iterable s。

此外，您可以使用 flatten 简化您的代码。 :

Seq(Some(1), None).flatten