BinaryOperator 是 Java 8 的函数式接口，用于对两个同类型参数执行满足结合律、无副作用、纯函数的归约操作，常配合 Stream.reduce 实现聚合，支持无初始值、带初始值及并行流三参数形式，并提供 minBy/maxBy 等静态工厂方法。
BinaryOperator 是 Java 8 引入的函数式接口，专用于对两个同类型参数执行归约操作，并返回相同类型的结果。它本身不执行遍历或累加动作，只定义“怎么合并 a 和 b”——比如 a + b、max(a, b) 或更复杂的业务逻辑。真正完成归约，必须配合 Stream.reduce() 或手动循环调用 apply()。
核心要求：结合律与无副作用
要安全用于归约（尤其是并行流），BinaryOperator 必须满足：
-
结合律成立：即
op(op(a,b), c) == op(a, op(b,c))。例如Integer::sum满足，但字符串拼接若涉及状态（如计数器）就不满足。 - 无副作用：不能修改传入的 a 或 b 对象；推荐返回新对象（尤其处理金额、聚合数据时）。
- 纯函数行为：相同输入始终产生相同输出，不依赖外部变量或时间等不确定因素。
常见用法：配合 Stream.reduce 实现归约
最典型场景是集合流的聚合，有三种常用形式：
-
无初始值：
stream.reduce((a, b) -> a + b)，返回Optional<T>；空流结果为empty，适合找最大值、求和（非空前提下）。 -
带初始值：
stream.reduce(0, (a, b) -> a + b)，确保返回非空结果；初始值作为“种子”，参与每次归约，适合默认值明确的场景（如空列表求和得 0）。 -
并行流三参数版：
parallelStream.reduce(identity, accumulator, combiner)，其中combiner必须是 BinaryOperator，且需与accumulator行为一致，用于合并各分段结果。
实际例子：订单金额安全聚合
电商中多个子订单金额合并不能简单相加，需封装业务规则：
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
立即学习“Java免费学习笔记（深入）”；
- 用
BigDecimal避免浮点误差； - 每个字段（总金额、优惠、运费、税）分别累加；
- 每次
apply都新建OrderAmount实例，不复用原对象。
示例代码片段：
BinaryOperator<OrderAmount> combiner = (a, b) ->new OrderAmount(
a.getTotal().add(b.getTotal()),
a.getDiscount().add(b.getDiscount()),
a.getFreight().add(b.getFreight()),
a.getTax().add(b.getTax())
);
辅助方法：minBy / maxBy 静态工厂
BinaryOperator 提供了开箱即用的静态方法：
-
BinaryOperator.minBy(Comparator.naturalOrder())返回较小者； -
BinaryOperator.maxBy(Comparator.reverseOrder())返回较大者； - 它们内部已保证结合律与无副作用，可直接用于 reduce。
