scala 有恒等函数吗？

Question

如果我有类似 List[Option[A]] 的东西，并且我想将其转换为 List[A]，标准方法是使用 flatMap：

scala> val l = List(Some("Hello"), None, Some("World"))
l: List[Option[java.lang.String]] = List(Some(Hello), None, Some(World))

scala> l.flatMap( o => o)
res0: List[java.lang.String] = List(Hello, World)

现在o => o 只是一个恒等函数。我本以为会有某种方法可以做到：

l.flatMap(Identity) //return a List[String]

但是，我无法让它工作，因为你无法生成对象。我尝试了一些方法但没有成功；有人有这样的工作吗？

Answer 1

Predef 中有一个身份函数。

l flatMap identity[Option[String]]

> List[String] = List(Hello, World)

我认为 for 表达式更好：

for(x <- l; y <- x) yield y

编辑：

我试图找出为什么需要类型参数（Option[String]）。问题似乎是从 Option[T] 到 Iterable[T] 的类型转换。

如果将恒等函数定义为：

l.flatMap( x => Option.option2Iterable(identity(x)))

类型参数可以省略。

Answer 2

FWIW，在 Scala 2.8 上，您只需调用 flatten 即可。 Thomas 大部分内容都涵盖了 Scala 2.7。他只错过了使用该标识的一种替代方法：

l.flatMap[String](identity)

但是，它不适用于运算符表示法（运算符表示法似乎不接受类型参数，这一点很高兴知道）。

您还可以在 Scala 2.7 上调用 flatten（至少在 List 上），但如果没有类型。然而，这有效：

l.flatten[String]

Answer 3

您可以为类型推断器提供一些帮助：

scala> val l = List(Some("Hello"), None, Some("World"))
l: List[Option[java.lang.String]] = List(Some(Hello), None, Some(World))

scala> l.flatten[String]
res0: List[String] = List(Hello, World)

Answer 4

斯卡拉3：

List(1,2,3).map(identity)

// val res0: List[Int] = List(1, 2, 3)