Java Predicate实现A&&(B||C||D)是否必须使用布尔代数分配律?
你不需要套用布尔分配律来改写,直接按照原表达式的结构写Predicate链式调用即可,完全等价的实现如下:
return A.and(B.or(C).or(D)) .test(params);
这个写法和你原生的return A && (B || C || D);逻辑、执行流程完全一致,不存在等价性问题。
你现在用分配律改写后的代码,在布尔代数层面和原逻辑是等价的,运行结果不一致大概率是以下两个原因:
- 你定义的A、B、C、D这几个Predicate存在副作用,或者依赖可变的外部状态:分配律写法中A的
test方法最多会被执行3次,而原生表达式中A的判断只会执行1次,如果A的多次调用返回结果不同,或者执行过程中修改了B、C、D判断依赖的参数,就会导致最终结果不一致。 - 若你没有使用JDK自带的Predicate默认实现,手动重写的
and/or方法不符合规范也会导致逻辑错误,不过这种情况出现概率极低。
建议优先使用和原生表达式结构一致的Predicate写法,可读性更高,也能避免多次执行Predicate带来的副作用问题,没必要硬套分配律修改原有逻辑结构。
内容的提问来源于stack exchange,提问作者Manu
相关产品推荐
相关产品推荐

