Curto-circuito em Java: uma explicação e exemplo

Na programação, o curto-circuito é um recurso valioso onde a avaliação de uma expressão termina prematuramente quando seu resultado é aparente. Esse comportamento tem implicações significativas em Java, onde expressões envolvendo operadores como || (OU lógico) e && (E lógico) exibem esta propriedade.

Dentro de um || expressão, se o primeiro operando for avaliado como verdadeiro, os operandos restantes nunca serão processados. Da mesma forma, em uma expressão &&, se o primeiro operando for avaliado como falso, os operandos restantes serão ignorados.

Por exemplo, considere:

if (a == b || c == d || e == f) {
    // ...
}

Se a == b retornar verdadeiro, as avaliações subsequentes de c == d e e == f serão ignoradas, pois a expressão geral já produziu um resultado verdadeiro.

A relevância de o curto-circuito torna-se evidente ao lidar com efeitos colaterais. Na expressão:

if (foo() || bar() || baz()) {
    // ...
}

Se foo() retornar verdadeiro, nem bar() nem baz() serão executados, evitando possíveis efeitos colaterais que possam causar.

Outra aplicação útil de curto-circuito é no manuseio referências de objeto:

if (a != null && a.getFoo() != 42) {
    // ...
}

Sem curto-circuito, se a fosse nulo, a.getFoo() geraria uma NullPointerException. No entanto, como a != null deve primeiro ser avaliado como verdadeiro, a exceção é evitada quando a é nulo, garantindo a segurança.

É importante observar que nem todos os operadores suportam curto-circuito. O | Os operadores (OR bit a bit) e & (AND bit a bit), bem como a maioria dos outros operadores matemáticos, não exibem esse comportamento. Portanto, use || e && com cuidado ao buscar efeitos de curto-circuito.