短路求值 短路求值Shortcircuit evaluation minimal evaluation McCarthy evaluation 又称最小化求值是一种逻辑运算符的求值策略只有当第一个运算数的值无法确定逻辑运算的结果时才对第二个运算数进行求值例如当AND的第一个运算数的值为false时其结果必定为false当OR的第一个运算数为true时最后结果必定为true在这种情况下就不需要知道第二个运算数的具体值在一些语言中如Lisp默认的逻辑运算符就是短路运算符而在另一些语言中如JavaAda短路和非短路的运算符都存在对于一些逻辑运算如XOR短路求值是不可能的 短路表达式x AND y事实上等价于条件语句if x then y else false短路表达式x OR y则等价于条件语句if x then true else y