Scala 在尾部递归函数中使用Nil作为初始累加器

回答说

Nil

不能用作

折叠的初始累加器

不使用
Nil
作为初始累加器值

scala> xs
res9: List[Int] = List(1, 2, 3)

scala> xs.foldLeft(Nil)( (acc, elem) => elem.toString :: acc)
<console>:9: error: type mismatch;
 found   : List[String]
 required: scala.collection.immutable.Nil.type
              xs.foldLeft(Nil)( (acc, elem) => elem.toString :: acc)

但是为什么我可以在下面的尾部递归函数中使用
Nil

scala>       def toStringList(as: List[Int]): List[String] = {
     |         def go(bs: List[Int], acc: List[String]): List[String]= bs match {
     |           case Nil => acc
     |           case x :: xs => go(xs, x.toString :: acc)
     |         }
     |        println(as)
     |        go(as, Nil)   
     |       }
toStringList: (as: List[Int])List[String]

问题是Scala从第一个参数列表开始类型推断。因此给定
def foldLeft[B]（z:B）（f：（B，A）=>B）：B
和

xs.foldLeft(Nil)(...)

它将
B
推断为
Nil.type
（只有一个值的类型：
Nil
），并使用该类型检查第二个参数列表，该列表显然失败。但是，
List[String]（）
具有类型
List[String]
，因此
B
是
List[String]
，它将与
f
一起使用。另一种解决方法是显式写入类型参数：

xs.foldLeft[List[String]](Nil)(...)

在第二个程序中，
acc
的类型是给定的（并且必须是，因为它是一个函数参数），因此不会发生与初始问题对应的类型推断。
Nil
（本身）是一个（空的）
列表[无]
，其中as
列表[字符串]（）
或
列表。空的[字符串]
是空列表（显然）对于元素类型
String
.Ah，@RandallSchulz-
，因为列表在Scala中是协变的，这使得Scala.collection.immutable.Nil成为列表[T]的一个实例，对于类型为T的任何元素。
-。谢谢。
foldLeft
的签名是
def foldLeft[B]（z:B）（f：（B，A）=>B）：B
和方法签名没有差异。如果你从
开始什么都不做
，那就是你所能拥有的一切。没有
什么都没有
！如果您想在折叠中使用
Nil
进行累加，只需添加类型归属：xs.foldRight（Nil:List[String]）（：：u）。
xs.foldLeft[List[String]](Nil)(...)