Short-Circuit-Evaluation

Kurzschlussauswertung (Short Circuit Evaluation) ist ein Begriff aus der Informatik und betrifft das Auswerten von booleschen Ausdrücken. Dabei wird das Auswerten eines Ausdrucks abgebrochen, wenn das Ergebnis bereits feststeht.

Beispiel:

C = A UND B

Der Ausdruck wird von links nach rechts ausgewertet. Falls dabei A unwahr (false) ist, steht also fest, dass C auf jeden Fall auch unwahr ist, da A und B wahr sein müssen damit die Bedingung erfüllt ist.

Verschiedene Programmiersprachen verwenden die Kurzschlussauswertung um die Ausführgeschwindigkeit zu optimieren.

Ein Beispiel verdeutlicht das Verhalten:

A = 0
B = 10

if (A != 0) AND ((B / A) >= 5) then
  print "B / A " (B / A)
else
  print "(B / A) < 5 oder Division durch Null verhindert"
endif

Die Evaluierung des boolschen Ausdruck wird im Fall A = 0 nach der Auswertung von A != 0 abgebrochen, da das Resultat der AND-Verknüpfung bereits eindeutig unwahr ist.

Siehe auch

• Lazy Evaluation