是累加器的减少在Java8允许修改其参数？

Question

在Java 8中，Stream有一个方法reduce：

T reduce(T identity, BinaryOperator<T> accumulator);

累加器运算符是否允许修改其任一参数？我不这么认为，因为JavaDoc说累加器应该是非干涉的，尽管所有示例都谈到修改集合，而不是修改集合的元素。

举个具体的例子，如果我们有

 integers.reduce(0, Integer::sum);

假设整数是可变的，那么可以通过将第二个参数的值添加到第一个参数中（就地）来修改第一个参数吗？

我想不会，但我也想举一个例子，说明这种干扰在哪里会引起问题。

Answer 1

  static void accumulatorTest() {
     ArrayList<Point> points = new ArrayList<>();
     points.add(new Point(5, 6));
     points.add(new Point(0, 6));
     points.add(new Point(1, 9));
     points.add(new Point(4, 16));
     BinaryOperator<Point> sumPoints = new BinaryOperator<Point>() {
        public Point apply(Point p1, Point p2) {
           p2.x += p1.x;
           p2.y += p1.y;
           return new Point(p2); //return p2 and the list is transformed into running total
        }
     };
     Point sum = points.stream().reduce(new Point(0, 0), sumPoints); 
     System.out.println(sum);
     System.out.println(points);
  }

答案是正确的；我们得到所有x和y坐标的总和。修改原始列表，并通过输出确认：

Java语言awt。点[x=10，y=37][java.awt.java.x=5，y=6]点。awt。点[x=5，y=12]，爪哇。awt。点[x=6，y=21]，爪哇。awt。点[x=10，y=37]]

Answer 2

不。累加器不应该修改它的参数；它接受两个值并产生一个新值。如果您想在累加过程中使用突变（例如，将字符串累加到StringBuffer而不是连接），请使用为此设计的Stream.collect（）。

下面是一个代码示例，如果您尝试此操作，它会生成错误的答案。假设您想对假设的MutableInteger类进行加法：

// Don't do this
MutableInteger result = stream.reduce(new MutableInteger(0), (a,b) -> a.add(b.get()));

得到错误答案的一个原因是，如果我们并行分解计算，那么现在两个计算共享相同的可变起始值。请注意：

a + b + c + d
= 0 + a + b + 0 + c + d  // 0 denotes identity
= (0 + a + b) + (0 + c + d) // associativity

因此，我们可以自由分割流，计算部分和，然后将结果相加。但是，如果它们共享相同的标识值，并且该值由于其中一个计算而发生变异，则另一个可能以错误的值开始。