为什么java.util.stream.Stream.reduce`使用`BinaryOperator `而不是`BiFunction `？

Question

对于我的具体情况，我想简化使用功能组合。

例如：

    BiFunction<ImmutableSet<Integer>, ImmutableSet<Integer>, Sets.SetView<Integer>> f = Sets::intersection;
    Function<Sets.SetView<Integer>, ImmutableSet<Integer>> g = Sets.SetView::immutableCopy;
    BiFunction<ImmutableSet<Integer>, ImmutableSet<Integer>, ImmutableSet<Integer>> biFunction = f.andThen(g);
    ImmutableSet<Integer> intersection = Stream.of(ImmutableSet.of(1, 2, 3), ImmutableSet.of(1, 2), ImmutableSet.of(4))
        .reduce(biFunction)
        .orElse(ImmutableSet.of());

获取编译错误：

argument mismatch BiFunction cannot be converted to BinaryOperator

相反，我需要这样做：

    ImmutableSet<Integer> intersection = Stream.of(ImmutableSet.of(1, 2, 3), ImmutableSet.of(1, 2), ImmutableSet.of(4))
        .reduce((a, b) -> Sets.intersection(a, b).immutableCopy())
        .orElse(ImmutableSet.of());

但是这失去了合成提供的无意义样式。

我的问题是，为什么Stream API如此设计。 BinaryOperator是BiFunction，所以用超类型声明方法不是更有意义吗？

Answer 1

reduce操作必须采用相同类型的参数并返回相同类型。如果没有，则类型不匹配。这就是BanaryOperator的确切含义：BinaryOperator<T> extends BiFunction<T,T,T>