Al leer una expresión con dos condiciones, no conviene imaginar que ambas se ejecutan siempre. El resultado de la primera puede bastar para decidir el resultado completo.
La documentación de Solidity sobre evaluación garantiza el cortocircuito de las expresiones booleanas. En una conjunción con &&, una primera condición falsa permite obtener falso sin evaluar la segunda; en una disyunción con ||, una primera condición verdadera permite obtener verdadero.
Para estudiarlo, usa una tabla conceptual con dos columnas: resultado de la primera parte y necesidad de leer la segunda. No hace falta conectar una cartera ni desplegar código con fondos para entender esa decisión.
Imagina una comprobación didáctica que primero pregunta si una lista tiene elementos y después examina el primero. El orden lógico importa: acceder al elemento antes de comprobar su existencia no expresa la misma secuencia de protección.
No generalices la regla a toda expresión
Que exista cortocircuito no significa que cualquier combinación de llamadas tenga un orden de evaluación que puedas suponer. Lee la regla específica del lenguaje y registra la versión del compilador si conviertes el ejemplo en una prueba local.
En una revisión de código, anota qué parte puede quedar sin evaluar y si alguien estaba esperando un efecto de esa parte. La pregunta útil no es solo qué valor produce la condición, sino qué operaciones llegaron realmente a ejecutarse para producirlo.
Ilustración seleccionada de la colección del sitio.