1 Answers
Short-circuit evaluation, minimal evaluation, or McCarthy evaluation is the semantics of some Boolean operators in some programming languages in which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression: when the first argument of the AND function evaluates to false, the overall value must be false; and when the first argument of the OR function evaluates to true, the overall value must be true.
In programming languages with lazy evaluation , the usual Boolean operators are short-circuit. In others , both short-circuit and standard Boolean operators are available. For some Boolean operations, like exclusive or , it is not possible to short-circuit, because both operands are always required to determine the result.
Short-circuit operators are, in effect, control structures rather than simple arithmetic operators, as they are not strict. In imperative language terms , where side effects are important, short-circuit operators introduce a sequence point – they completely evaluate the first argument, including any side effects, before processing the second argument. ALGOL 68 used proceduring to achieve user-defined short-circuit operators and procedures.
The use of short-circuit operators has been criticized as problematic: