在Stream reduce方法中，同一性对于总和是否必须始终为0，对于乘法必须始终为1？

Question

我着手进行Java 8学习。

我发现了一个有趣的行为：

让我们看一下代码示例：

// identity value and accumulator and combiner
Integer summaryAge = Person.getPersons().stream()
        //.parallel()  //will return surprising result
        .reduce(1,
                (intermediateResult, p) -> intermediateResult + p.age,
                (ir1, ir2) -> ir1 + ir2);
System.out.println(summaryAge);

和模型类：

public class Person {

    String name;

    Integer age;
    ///...

    public static Collection<Person> getPersons() {
        List<Person> persons = new ArrayList<>();
        persons.add(new Person("Vasya", 12));
        persons.add(new Person("Petya", 32));
        persons.add(new Person("Serj", 10));
        persons.add(new Person("Onotole", 18));
        return persons;
   }
}

12+32+10+18 = 72。对于顺序流，这个代码总是返回73其是72 + 1但对于平行，它总是返回76其为72 + 4*1（4等于流元素计数）。

当我看到此结果时，我以为并行流和顺序流返回不同的结果很奇怪。

我在某处违约了吗？

聚苯乙烯

对我来说，73是预期结果，但76不是。

Answer 1

标识值是这样的值x op identity = x。这是Java所独有的概念，Stream例如，参见Wikipedia。

它列出了身份元素的一些示例，其中一些可以直接用Java代码表示，例如

• reduce("", String::concat)
• reduce(true, (a,b) -> a&&b)
• reduce(false, (a,b) -> a||b)
• reduce(Collections.emptySet(), (a,b)->{ Set<X> s=new HashSet<>(a); s.addAll(b); return s; })
• reduce(Double.POSITIVE_INFINITY, Math::min)
• reduce(Double.NEGATIVE_INFINITY, Math::max)

应当清楚的是，仅当满足时，才能满足x + y == x任意表达式，因此是加法的标识元素。同样，是用于乘法的标识元素。x``y==0``0``1

更复杂的例子是

• 减少谓词流

  reduce(x->true, Predicate::and)
  

  reduce(x->false, Predicate::or)

• 减少功能流

  reduce(Function.identity(), Function::andThen)