Scala : fold vs foldLeft

Question

我正在尝试理解fold和foldLeft以及各自的reduce和reduceLeft是如何工作的。我使用fold和foldLeft作为我的示例

scala> val r = List((ArrayBuffer(1, 2, 3, 4),10))
scala> r.foldLeft(ArrayBuffer(1,2,4,5))((x,y) => x -- y._1)

scala> res28: scala.collection.mutable.ArrayBuffer[Int] = ArrayBuffer(5)

scala> r.fold(ArrayBuffer(1,2,4,5))((x,y) => x -- y._1)
<console>:11: error: value _1 is not a member of Serializable with Equals
              r.fold(ArrayBuffer(1,2,4,5))((x,y) => x -- y._1)

为什么fold不能作为foldLeft工作？什么是Serializable with Equals？我知道fold和foldLeft在参数泛型方面有细微的不同。请给我建议。谢谢。

Answer 1

就可以应用的类型而言，与foldLeft相比，fold方法(最初是为并行计算而添加的)功能较弱。它的签名是：

def fold[A1 >: A](z: A1)(op: (A1, A1) => A1): A1

这意味着在其上进行折叠的类型必须是集合元素类型的超类型。

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

原因是fold可以并行实现，而foldLeft不能。这不仅是因为*Left部分意味着foldLeft按顺序从左向右移动，还因为运算符op不能组合并行计算的结果--它只定义如何组合聚合类型B和元素类型A，而没有定义如何组合两个类型为B的聚合。反过来，fold方法定义了这一点，因为聚合类型A1必须是元素类型A的超类型，即A1 >: A。这种超类型关系允许同时折叠聚合和元素，并使用单个运算符组合聚合。

但是，聚合和元素类型之间的这种超类型关系也意味着示例中的聚合类型A1应该是(ArrayBuffer[Int], Int)的超类型。由于聚合的零元素是ArrayBuffer[Int]类型的ArrayBuffer(1, 2, 4, 5)，因此聚合类型被推断为这两者的超类型--也就是Serializable with Equals，这是元组和数组缓冲区的唯一最小上限。

通常，如果您希望允许对任意类型进行并行折叠(这是无序完成的)，则必须使用aggregate方法，该方法需要定义两个聚合是如何组合的。在您的案例中：

r.aggregate(ArrayBuffer(1, 2, 4, 5))({ (x, y) => x -- y._1 }, (x, y) => x intersect y)

顺便说一句，尝试用reduce/reduceLeft编写示例--由于这两种方法的元素类型和聚合类型之间的超类型关系，您会发现它会导致与您所描述的类似的错误。