Respuesta a tu pregunta en Pascal
Para el caso específico de Pascal (FreePascal al menos), uno puede ver en la documentación que:
Remark By default, boolean expressions are evaluated with short-circuit evaluation. This means that from the moment the result of the complete expression is known, evaluation is stopped and the result is returned. For instance, in the following expression:
B := True or MaybeTrue;
The compiler will never look at the value of MaybeTrue, since it is obvious that the expression will always be True. As a result of this strategy, if MaybeTrue is a function, it will not get called !
Que en español de la calle en latinoamérica dice que, si se llega a un punto en el que hay certeza del resultado, se detiene la evaluación de otras partes de la expresión lógica y se retorna el resultado. Si algo a la izquierda hace imposible obtener otra cosa, el valor que se tiene por cierto se retorna sin ir más allá.
Si B := True or MaybeTrue;
se evalúa, el True
a la izquierda hace imposible que B sea False
, por lo que se procede a retornar True
sin ocuparse jamás de lo que sea que hay en el lugar de MaybeTrue
. Puede ser una función o una expresión anidada o cualquier otra cosa. Nunca se revisará.
Algo de detalle sobre short-circuiting
Esta estrategia se conoce como short-circuiting (hacer corto circuito) y funciona como su simil eléctrico. Si la parte izquierda hace imposible que haya otro resultado, el circuito se cierra en un lugar diferente al esperado, excluyendo todo lo demás y se retorna el valor que corresponde sin siquiera gastar tiempo de procesador evaluando lo que sea que haya a la derecha de la expresión lógica.
Esta estrategia es popular pero no es ni mucho menos omnipresente. Es esencial revisar la documentación del lenguaje a usar para no suponer lo que pasa y escribir el código con certeza. Es posible encontrar en varios lenguajes, que hay disponibles operadores de corto-circuito (que permiten omitir el lado derecho dado el caso) y operadores ansiosos que odian pensar qué habría pasado si evaluaban algo, así que evalúan ambos lados sin importar nada.
Las expresiones lógicas tienen detalles de implementación particulares en este tipo de operaciones (el short-circuit que ves, la opción para asignar o no un valor por defecto a una variable dependiendo de una validación lógica, etc.). Resumen: ¡lee siempre la documentación para estar seguro!
A continuación, algunos ejemplos en otros lenguajes que recopilamos antes de que recordaras comentarnos que te interesaba sólo Pascal.
PHP
Para PHP, los operadores lógicos de comparación son short-circuited
Al menos para la versión actual (8.0), la documentación indica que
<?php
// --------------------
// El método foo() nunca será llamado, pues los operadores son short-circuit
$a = (false && foo());
$b = (true || foo());
$c = (false and foo());
$d = (true or foo());
Existen las dos versiones de operadores AND y OR, se comportan igual en tanto no continúan la evaluación si el lado izquierdo no cumple, y sólo se diferencian en la precedencia (&&
tiene mayor precedencia que and
).
Python
Para Python, encontramos en la documentación que:
The expression x and y first evaluates x; if x is false, its value is returned; otherwise, y is evaluated and the resulting value is returned.
The expression x or y first evaluates x; if x is true, its value is returned; otherwise, y is evaluated and the resulting value is returned.
Que en español diría algo como que
- Al evaluar
x and y
primero evalúa x
, si es false
entonces retorna ese valor; en otro caso, evalúa y
y el valor resultante de la operación lógica es lo que se retorna.
- La expresión
x or y
primero evalúa x
; si es verdadero, retorna ese valor; en otro caso, evalúa y
y retorna el valor de efectuar la operación lógica.
O sea, Python 3 hace short-circuit.
C++
Para C++, hasta donde recuerdo, hay unos operadores (+
para OR, *
para AND) que garantizan evaluar ambos lados de la expresión:
#include <iostream>
using namespace std;
void imprimir(bool y)
{
cout << boolalpha << y << endl;
}
int main()
{
imprimir(true + false);
imprimir(true * false);
}
Eso entregaría:
true
false
PD. Heh, esto está puesto tal cual aquí. En ese mismo hilo indican que, teniendo dos operandos bool
, se puede usar &
para AND y no hace short-circuit.