Estudiando el corto circuito

Estudiando el corto circuito

El presente articulo, muestra los detalles de como se funciona el corto circuito en instrucciones "and" y "or".

Para iniciar, recurramos un poco a un pedazo de código:

package com.ticoblogger.jsanca.cortocircuito;

public class CortoCircuito {

 private boolean testCondition1 = true;
 private boolean testCondition2 = true;

 public CortoCircuito(boolean testCondition1,
   boolean testCondition2) {
  super();
  this.testCondition1 = testCondition1;
  this.testCondition2 = testCondition2;
 }

 public boolean testCondition1() {

  System.out.println("Test condition 1");
  return this.testCondition1;
 }

 public boolean testCondition2() {

  System.out.println("Test condition 2");
  return this.testCondition2;
 }
 
 public static void main(String[] args) {
  
  System.out.println("Corto circuito");
  testOr(new CortoCircuito (true, true));
  System.out.println("Sin corto circuito");
  testSimpleOr(new CortoCircuito (true, true));
  
  System.out.println("\nCorto circuito 2");
  testAnd(new CortoCircuito (false, true));
  System.out.println("Sin corto circuito 2");
  testSimpleAnd(new CortoCircuito (false, true));
  
  System.out.println("\nCorto circuito 3");
  testAnd(new CortoCircuito (false, false));
  System.out.println("Sin corto circuito 3");
  testSimpleAnd(new CortoCircuito (false, false));
 }
 
 public static void testAnd (CortoCircuito cortoCircuito) {
  
  if (cortoCircuito.testCondition1() && cortoCircuito.testCondition2()) {
   
   System.out.println("**** *****");
  }
 }
 
 public static void testSimpleAnd (CortoCircuito cortoCircuito) {
  
  if (cortoCircuito.testCondition1() & cortoCircuito.testCondition2()) {
   
   System.out.println("---- * ----");
  }
 }

 
 public static void testOr (CortoCircuito cortoCircuito) {
 
  if (cortoCircuito.testCondition1() || cortoCircuito.testCondition2()) {
   
   System.out.println("**** *****");
  }
 }
 
 public static void testSimpleOr (CortoCircuito cortoCircuito) {
  
  if (cortoCircuito.testCondition1() | cortoCircuito.testCondition2()) {
   
   System.out.println("---- * ----");
  }
 }
}

Si ejecutas el código, conseguiras la siguiente salida:

Corto circuito
Test condition 1
**** *****
Sin corto circuito
Test condition 1
Test condition 2
---- * ----

Corto circuito 2
Test condition 1
Sin corto circuito 2
Test condition 1
Test condition 2

Corto circuito 3
Test condition 1
Sin corto circuito 3
Test condition 1
Test condition 2

Ahora bien, si analizamos el código podremos entender como funciona el corto circuito.

Los métodos testXXX tienen condiciones que utilizan corto circuito, en contra posición los métodos testSimpleXXX, simplemente hacen la operación lógica (AND o OR).

Así podemos concluir que, en el caso del corto circuito, si la operación OR, encuentra alguna condición verdadera, dejará de evaluar las siguientes.

En el caso del AND, en lugar de buscar un true, busca el primer false. Al encontrarlo, deduce por la tabla de verdad, que la condición es false y deja de evaluar las demás.

Así pues, si ocupa, necesariamente, que todas las condiciones sean evaluadas, por ejemplo; si necesitamos saber, si un objeto cumple todas las condiciones y en caso que no, mostrar errores, etc. Algo así:

if (this.validarTarjeta(Tarjeta tarjeta, Errores errores) & this.validarEmisor(Tarjeta tarjeta, Errores errores) & this.validarFondos(Tarjeta tarjeta, Errores errores)) { ....

Un saludo,
J