这条河是怎么流的。reduce（二进制运算符累加器）已初始化？

Question

下面的代码工作完美，无需初始化减少操作。

int sum=Stream.of(2,3).reduce((Integer a,Integer b)->a+b).get(); // sum = 5
int sum=Stream.of(2,3).reduce((Integer a,Integer b)->a*b).get(); // sum = 6

它怎么知道第一个累加器是一个，所以它应该初始化为一个新的和=0，第二个累加器是一个*，所以它应该初始化为一个新的和=1？

Answer 1

只要流有一个或多个元素，就不需要标识值。第一次减少返回23，相当于023。第二个返回2*3，相当于1*2*3。

Answer 2

这是它的API规范：

Optional<T> java.util.stream.Stream.reduce(BinaryOperator<T> accumulator)

返回：一个描述减少结果的可选选项

根据其javadoc，等效代码为：

boolean foundAny = false;
T result = null;
for (T element : this stream) {
    if (!foundAny) {
        foundAny = true;
        result = element;
    }
    else
        result = accumulator.apply(result, element);
}
return foundAny ? Optional.of(result) : Optional.empty();

三个案例：

1. 流中没有元素：返回Optional.empty（）
2. 一个元素：只返回该元素而不应用累加器。
3. 两个或多个元素：将累加器应用于所有元素并返回结果。

此方法的更多示例：

// Example 1: No element
Integer[] num = {};
Optional<Integer> result = Arrays.stream(num).reduce((Integer a, Integer b) -> a + b);
System.out.println("Result: " + result.isPresent()); // Result: false

result = Arrays.stream(num).reduce((Integer a, Integer b) -> a * b);
System.out.println("Result: " + result.isPresent()); // Result: false

// Example 2: one element   
int sum = Stream.of(2).reduce((Integer a, Integer b) -> a + b).get();
System.out.println("Sum: " + sum); // Sum: 2

int product = Stream.of(2).reduce((Integer a, Integer b) -> a * b).get();
System.out.println("Product: " + product); // Product: 2

// Example 3: two elements
sum = Stream.of(2, 3).reduce((Integer a, Integer b) -> a + b).get();
System.out.println("Sum: " + sum); // Sum: 5

product = Stream.of(2, 3).reduce((Integer a, Integer b) -> a * b).get();
System.out.println("Product: " + product); // Product: 6

Answer 3

1-参数reduce不以标识值（0或1）开头。它只对流中的值起作用。如果你看一下javadoc，它甚至会显示等价的代码：

 boolean foundAny = false;
 T result = null;
 for (T element : this stream) {
     if (!foundAny) {
         foundAny = true;
         result = element;
     }
     else
         result = accumulator.apply(result, element);
 }
 return foundAny ? Optional.of(result) : Optional.empty();