scala – 为什么不通过Nil折叠工作？

发布时间：2020-12-16 09:14:40 所属栏目：安全来源：网络整理

导读：当我使用foldLeft构建列表时,我经常会因为必须明确地键入注入的参数而烦恼,并希望我可以使用“Nil”,而这是一个有创意的例子： scala List(1,2,3).foldLeft(List[Int]())((x,y) = y :: x)res17: List[Int] = List(3,1)scala List(1,3).foldLeft(Nil)((x,y) =

当我使用foldLeft构建列表时,我经常会因为必须明确地键入注入的参数而烦恼,并希望我可以使用“Nil”,而这是一个有创意的例子：

scala> List(1,2,3).foldLeft(List[Int]())((x,y) =>  y :: x)
res17: List[Int] = List(3,1)

scala> List(1,3).foldLeft(Nil)((x,y) => y :: x)
<console>:10: error: type mismatch;
 found   : List[Int]
 required: scala.collection.immutable.Nil.type
              List(1,y) =>  y :: x)

这不是一个List [Int]不好,但一旦你开始使用你自己的类的列表,几乎肯定会有更长的名字,甚至是元组或其他容器的列表,所以有多个类名你需要指定,它变得可怕：

list.foldLeft(List.empty[(SomethingClass,SomethingElseClass)]) { (x,y) => y :: x }

我猜测它不起作用的原因是,像5 :: Nil这样的编译器可以将空列表的类型推断为List [Int],但是当Nil作为参数传递给foldLeft时没有足够的信息来做到这一点,当它被使用时,它的类型被设置.但是 – 这真的是真的吗？是否可以从作为第二个参数传递的函数的返回类型中推断类型？

如果没有,有没有一些比较简单的成语,我只是不知道？

解决方法

Scalas类型推理引擎从左到右工作 – 因此scalac不能推断foldLeft的第一个参数列表的正确类型.你必须给编译器一个提示使用什么类型.而不是使用List [TYPE]()可以使用List.empty [TYPE]：

(List(1,3) foldLeft List.empty[Int]) { (x,y) =>  y :: x }
(List.empty[Int] /: List(1,3)) { (x,y) => y :: x }

（编辑：李大同）

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