为了真正理解折叠/缩减的作用， 检查这个:http://wiki.tcl.tk/17983 非常好的解释。一旦你掌握了折叠的概念， Reduce会和上面的答案一起出现: list.tail.foldLeft (list.head) (_)

为了真正理解折叠/缩减的作用， 检查这个:http://wiki.tcl.tk/17983 非常好的解释。一旦你掌握了折叠的概念， Reduce会和上面的答案一起出现: list.tail.foldLeft (list.head) (_)

它们都在Scala标准库中的基本原因可能是因为它们都在Haskell标准库中(称为foldl和foldl1)。如果reducleft不是，那么在不同的项目中，它通常被定义为一个方便的方法。

reducleft只是一个方便的方法。它等价于

list.tail.foldLeft(list.head)(_)

在给出实际答案之前，有几件事需要提一下:

你的问题和左边没有任何关系，而是关于还原和折叠之间的区别 区别根本不在于实现，而在于签名。 这个问题与Scala无关，而是关于函数式编程的两个概念。

回到你的问题:

下面是foldLeft的签名(也可以是foldRight，因为我要说明的观点):

def foldLeft [B] (z: B)(f: (B, A) => B): B

这是reduceLeft的签名(方向也不重要)

def reduceLeft [B >: A] (f: (B, A) => B): B

这两个看起来非常相似，因此造成了混淆。reducelleft是foldLeft的一种特殊情况(顺便说一下，这意味着有时可以使用它们中的任何一个来表示相同的东西)。

当你在一个列表[Int]上调用reducelefleft时，它会将整个整数列表缩减为一个值，这将是Int类型(或Int的超类型，因此[B >: a])。

当你在一个列表[Int]上调用foldLeft时，它会将整个列表(想象滚动一张纸)折叠成一个单独的值，但这个值甚至不需要与Int相关(因此[B])。

这里有一个例子:

def listWithSum(numbers: List[Int]) = numbers.foldLeft((List.empty[Int], 0)) {
   (resultingTuple, currentInteger) =>
      (currentInteger :: resultingTuple._1, currentInteger + resultingTuple._2)
}

该方法接受一个List[Int]并返回一个Tuple2[List[Int]， Int]或(List[Int]， Int)。它计算和并返回一个包含整数列表的元组和它的和。顺便说一下，这个列表是向后返回的，因为我们用的是foldLeft而不是foldRight。

请观看One Fold，以获得更深入的解释。

《Scala函数式编程原则》(Martin Odersky):

函数reduceLeft是根据一个更通用的函数foldLeft定义的。 foldLeft类似于reduceLeft，但接受累加器z作为附加参数，当在空列表上调用foldLeft时返回: (List (x1，…， xn) foldLeft z)(op) =(…(z op x1) op…)op x

[与reducleft相反，它会在空列表上调用时抛出异常。]

本课程(见第5.5讲)提供了这些函数的抽象定义，说明了它们的区别，尽管它们在模式匹配和递归的使用上非常相似。

abstract class List[T] { ...
  def reduceLeft(op: (T,T)=>T) : T = this match{
    case Nil     => throw new Error("Nil.reduceLeft")
    case x :: xs => (xs foldLeft x)(op)
  }
  def foldLeft[U](z: U)(op: (U,T)=>U): U = this match{
    case Nil     => z
    case x :: xs => (xs foldLeft op(z, x))(op)
  }
}

注意，foldLeft返回一个U类型的值，它不一定与List[T]的类型相同，但reducelefleft返回一个与List相同类型的值)。