Cortocircuito en Java: una explicación y un ejemplo

En programación, el cortocircuito es una característica valiosa donde la evaluación de una expresión termina prematuramente cuando su resultado sea evidente. Este comportamiento tiene implicaciones importantes en Java, donde las expresiones que involucran operadores como || (OR lógico) y && (Y lógico) exhiben esta propiedad.

Dentro de un || expresión, si el primer operando se evalúa como verdadero, los operandos restantes nunca se procesan. De manera similar, en una expresión &&, si el primer operando se evalúa como falso, los operandos restantes se omiten.

Por ejemplo, considere:

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

Si a == b devuelve verdadero, las evaluaciones posteriores de c == d y e == f se omiten ya que la expresión general ya arrojó un resultado verdadero.

La relevancia de El cortocircuito se hace evidente cuando se trata de efectos secundarios. En la expresión:

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

Si foo() devuelve verdadero, ni bar() ni baz() se ejecutan, evitando posibles efectos secundarios que puedan conllevar.

Otra aplicación útil del cortocircuito es el manejo referencias de objetos:

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

Sin cortocircuito, si a fuera nulo, a.getFoo() generaría una NullPointerException. Sin embargo, dado que a != null primero debe evaluarse como verdadero, la excepción se evita cuando a es nulo, lo que garantiza la seguridad.

Es importante tener en cuenta que no todos los operadores admiten cortocircuitos. El | Los operadores (OR bit a bit) y & (Y bit a bit), así como la mayoría de los demás operadores matemáticos, no presentan este comportamiento. Por lo tanto, utilice || y && con cuidado al buscar efectos de cortocircuito.