scala – 应用于List [flat [T]]时flatMap的行为

发布时间：2020-12-16 18:22:47 所属栏目：安全来源：网络整理

导读：我们来看看这段代码： scala val a = List(Some(4),None)a: List[Option[Int]] = List(Some(4),None)scala a.flatMap( e= e)List[Int] = List(4) 为什么将flatMap应用于函数{e =列表中的e} [Option [T]]返回一个删除了无元素的List [T]？具体来说,背后的概

我们来看看这段代码：

scala> val a = List(Some(4),None)
a: List[Option[Int]] = List(Some(4),None)
scala> a.flatMap( e=> e)
List[Int] = List(4)

为什么将flatMap应用于函数{e =>列表中的e} [Option [T]]返回一个删除了无元素的List [T]？

具体来说,背后的概念推理是什么 – 它是基于函数式编程中的一些现有理论吗？这种行为在其他功能语言中是否常见？

虽然这确实很有用,但同时确实感觉有点神奇而又随意.

编辑：

感谢您的反馈和回答.
我重写了我的问题,更加强调问题的概念性.而不是Scala具体的实现细节,我更感兴趣的是了解它背后的正式概念.

解决方法

我假设您的意思是使用flatMap同时支持映射和过滤：

scala> List(1,2).flatMap {
     |   case i if i % 2 == 0 => Some(i)
     |   case i => None
     | }
res0: List[Int] = List(2)

这是因为Option companion object包含从Option [A]到Iterable [A]的隐式转换,这是一个GenTraversableOnce [A],这是flatMap期望作为其参数函数的返回类型.

这是一个方便的习惯用法,但它并不存在于其他函数式语言中(至少是我熟悉的),因为它依赖于Scala奇怪的子类型,隐式转换等组合.例如,Haskell提供了类似的功能.但是,mapMaybe for lists.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!