Question

有没有更好的方法来检查x && (!y || (y && z))是否属实？我想我可以为此创建一个函数并执行x && not_or_and(y, z)之类的操作来减轻一些痛苦。但这真的是我能做的吗？

Answer 1

忽略表达式中的副作用，这在逻辑上是等效的

x && (!y || z)

您在y中为(y && z)进行的额外检查是多余的，因为如果您到达需要检查表达式的那一部分的位置，那么＆＃ 39;已经确定!y是假的，这意味着y是真的。