PHP || y && optimización lógica

Question

Soy un poco fanático de la optimización (al menos según mi definición) y esta pregunta me ha estado molestando bastante tiempo.

Me pregunto si PHP hace una optimización en los & & y ||: Tomemos el siguiente ejemplo:

$a = "apple"; 
$b = "orange"; 
if ($a == "orange" && $b == "orange") { 
    //do stuff 
} 

Cuando ese código se ejecuta, se comprobará si $ a es igual a "naranja. " En este caso, no lo es. Sin embargo, hay un operador & &. Dado que la primera parte ($ a == "naranja") ya devolvió false, ¿comprobará PHP si $ b es igual a "naranja"?

que tienen la misma pregunta para ||:

$a = "orange"; 
$b = "orange"; 
if ($a == "orange" || $b == "orange") { 
    //do stuff 
} 

Cuando se comprueba si $ a es igual a "naranja", que devuelve verdadero. Ya que eso haría que || operador return true, PHP incluso comprobará la segunda parte de || (ya que sabemos que será cierto)?

Espero que tenga sentido aquí, y espero que alguien tenga una respuesta para mí. ¡Gracias!

Answer 1

PHP utiliza short circuit evaluation con condicionales binarios (tales como &&, || o sus equivalentes constantes), así que si el resultado de evaluar la LHS significa el RHS no es necesario, no lo hará.

Por ejemplo ...

method_exists($obj, 'func') AND $obj->func(); 

... es una explotación de este hecho. El RHS solo se evaluará si el LHS devuelve un valor de verdad en este ejemplo. La lógica tiene sentido aquí, ya que solo quieres llamar a un método si existe (siempre y cuando no estés usando __call(), pero esa es otra historia).

También puede usar OR de forma similar.

defined('BASE_PATH') OR die('Restricted access to this file.'); 

Este patrón se utiliza a menudo como la primera línea de los archivos PHP que deben incluirse y no accederse directamente. Si la constante BASE_PATH no existe, el LHS es falsy para que ejecute el RHS, que die() es el script.

Answer 2

Sí, PHP cortocircuita los operadores && y ||, lo que significa que no, el operando correcto no se evaluará si el valor del operando izquierdo significa que no es necesario evaluarlo. No hay necesidad de optimizarlos. Puede probarlo de esta forma:

function one() { 
    echo "One"; 
    return false; 
} 

function two() { 
    echo "Two"; 
    return true; 
} 

one() && two(); // Outputs One 
echo "\n"; 
two() || one(); // Outputs Two 

Here's a demo. Si no hubiera un cortocircuito, se obtendría:

OneTwo 
TwoOne