Existe uma coisa chamada short-circuit. Os operadores relacionais operam desta forma. Eles vão avaliando até já terem certeza do resultado. Quando os demais operandos não podem mais alterar o resultado não importa os seus valores ele não tenta mais avaliar nada e toma a decisão.
Isso é útil porque dá melhor performance e evita possíveis efeitos colaterais que eventualmente devem ser evitados mesmo dependendo da condição anterior. Então:
if ( $a() && $b() && $c() ) fazAlgo;
É o mesmo que:
if ( $a() )
if ( $b() )
if ( $c() )
fazAlgo;
Ou seja, se não entrar no primeiro if
não vai entrar nos demais. Assim fica mais fácil de ver. E curiosamente muito programador escreve o segundo exemplo sem perceber que poderia escrever em uma única linha.
Como o AND exige que todos operandos sejam verdadeiros para resultar em verdadeiro quando uma dá falso, é impossível que os outros revertam a situação, não tem porque avaliar os outros.
O mesmo pode ocorrer com OR. Só que neste caso a situação é diferente. Esse operador exige que apenas um operando seja verdadeiro para o resultado final ser verdadeiro. Se o primeiro der verdadeiro, ele não vai mais olhar os demais:
if( $a() || $b() || $c() ) fazAlgo;
É o mesmo que:
if ( $a() ) fazAlgo;
else if ( $b() ) fazAlgo; //faz algo igual
else if ( $c() ) fazAlgo; //tem que ser igual
Coloquei no GitHub para referência futura.
Basta o $a()
dar true
e $b()
e $c()
nem serão executados. Se ele der false
é claro que vai avaliar $b()
, aí a decisão se vai avaliar $c()
depende do resultado dele.
Isso pode ser observado com outros operadores relacionais (pelo menos em algumas linguagens).
Tem linguagem que não adota isso.
Os operadores de bit (ex.: &
, |
) não possuem a característica de fechar o circuito e todos executam sempre. Inclusive eles são usados quando a característica não é desejada.
Há um pergunta com um exemplo clássico do seu uso. Você tem um primeiro operando que verifica se uma condição é satisfeita. O segundo operando só funcionará corretamente se a primeira for verdadeira. Típico de verificação de um objeto é nulo antes de acessá-lo.
null
, o C# lança umaexception
, para isto comparo antes, no mesmoif(objeto != null && objeto.propriedade == valor)
, não ocorre aexception
, a resposta do @bigown me ajudou a esclarecer isto também