Scala 为什么 flatMap 对待 (x => x) 不同于 (identity)

Question

首先，map 将 x => x 视为与 identity 相同

List(1,2,3).map(x => x)   //res0: List[Int] = List(1, 2, 3)
List(1,2,3).map(identity) //res1: List[Int] = List(1, 2, 3)

现在让我们将 List[Option[Int]] 转换为 List[Int] 并丢弃所有 None。我们可以通过 .flatten 来做到这一点。但是这个问题的重点是了解flatMap如何对待identity

val maybeNums = List(Some(1), None, Some(-2), None, None, Some(33))

// Works OK, result = List[Int] = List(1, -2, 33)
maybeNums.flatMap(x => x)
maybeNums.flatMap(x => x.map(identity))

// Not working:
maybeNums.flatMap(identity)

Error:(5, 20) type mismatch;
 found   : Option[Int] => Option[Int]
 required: Option[Int] => scala.collection.GenTraversableOnce[?]

问题:为什么 maybeNums.flatMap(identity) 给出编译错误，而 maybeNums.flatMap(x => x) 工作正常？

Answer 1

有趣的是我遇到了和你类似的问题。此行为是由于 Option 不是 GenTraversableOnce 但存在到 1 的隐式转换引起的。编译器会告诉你出了什么问题，但不幸的是，由于在 Scala 中经常出现这种情况，它并没有指出错误的真正原因。如果您的集合包含 GenTraversableOnce 类型的元素，flatMap 方法就可以正常工作。

起初我以为隐式转换可以解决这个问题，但事实证明eta扩展需要类型显式匹配。更有趣的是下面的代码可以编译:

ys.flatMap(identity(_))

我假设在这种情况下，发生了从 Option[Int] => Option[Int] 到 Option[Int] => GenTraversableOnce[Int] 的隐式转换。

在 x => x 的情况下，对 x 进行了前面提到的隐式转换，因此代码可以编译