50

我试图了解 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 在参数泛型类型方面的 API 签名略有不同。请指教。谢谢。

4

1 回答 1

79

该方法fold（最初是为并行计算添加的）不如foldLeft它可以应用的类型强大。它的签名是：

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(1, 2, 4, 5)type ArrayBuffer[Int]，因此聚合类型被推断为这两者的超类型——即Serializable with Equalstuple 和数组缓冲区的唯一最小上限。

一般来说，如果你想允许对任意类型进行并行折叠（这是无序的），你必须使用aggregate需要定义两个聚合如何组合的方法。在你的情况下：

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

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

于 2013-04-19T20:59:35.670 回答