Cálculos de cortocircuito

La evaluación de cortocircuito , también conocida como evaluación de McCarthy , en honor al informático estadounidense John McCarthy , es una estrategia en algunos lenguajes de programación en la que el segundo operador lógico se ejecuta o evalúa solo en el caso de que el primer operador lógico no se ejecute. suficiente para determinar el valor de la expresión. Por lo tanto, después de que el resultado de una expresión se hace evidente, su evaluación se detiene.

Ejemplos:

Si el operando de la izquierda ANDes false, entonces el valor total de la expresión también es false.
Si el operando de la izquierda ORes true, entonces el valor total de la expresión también es true.

De forma más general, en expresiones de la forma bien , la evaluación continúa de izquierda a derecha hasta uno de los o respectivamente . La presencia o ausencia de un cálculo de cortocircuito es especialmente importante si los miembros de la expresión son acciones con posibles efectos secundarios (además de funciones de llamada, esto puede ser una parada del programa cuando se divide por cero o una matriz fuera de los límites). Por ejemplo, un código de vista solo es correcto si el lenguaje (o compilador) garantiza una evaluación de cortocircuito. $p_{1}\cuña p_{2}\cuña p_{3}\puntos$ $p_{1}\vee p_{2}\vee p_{3}\dots$ $p_n$ falsetrueif (n != 0) and (k/n > 17) ...

En los lenguajes de programación con evaluación perezosa ( Lisp , Perl , Haskell ), los operadores lógicos se utilizan en un patrón corto. Otros ( Ada , Java , Delphi ) tienen disponibles operadores lógicos estándar y de esquema corto. Para algunas operaciones lógicas, como exclusiva o (XOR), no se puede usar el cortocircuito porque siempre se requieren ambos operandos para determinar el resultado.

Enlaces