Irgendwelche Unterschiede zwischen Lazy-Auswertung und Kurzschlussauswertung?

Question

Aus Wikipedia:

Lazy evaluation ist:

In Programmiersprache Theorie ist faul Auswertung oder Call-by-need eine Evaluierungsstrategie, welche die Auswertung eines Ausdrucks bis der Wert verzögert ist benötigt

Short-circuit evaluation ist:

Kurzschlussauswertung, minimale Auswertung oder McCarthy Auswertung bezeichnet die Semantik von einigen Booleschen Operatoren in einigen Programmier Sprachen, in denen das zweite Argument nur oder ausgewertet wird ausgeführt, wenn das erste Argument nicht zu bestimmen, genügt die Wert des Ausdruck

Also, was ist der Unterschied zwischen ihnen zum Beispiel, wenn ich:

if(false && true && true) { 
    //boo 
} 

Soweit ich weiß, führt der Compiler keine Ausdrücke nach false aus, weil ich && habe, so dass der ganze Ausdruck schließlich false wird. (Rechts?)

So ist das Verhalten Verzögerte Auswertung oder Kurzschlussauswertung genannt?

Answer 1

Der Unterschied ist, dass im Falle einer verzögerten Auswertung ein Ausdruck nur dann ausgewertet wird, wenn er benötigt wird, während im Falle einer Kurzschlussauswertung die Ausdruckauswertung gleich nach dem Erkennen des Ergebnisses endet. Es ist eine Art von orthogonalen Vorstellungen.

Lazy-Auswertung kann auf jede Berechnung angewendet werden (Kurzschlussschema wird normalerweise nur mit Bools verwendet). Es schneidet nicht nutzlose Berechnungen ab, sondern verzögert die gesamte Berechnung, bis das Ergebnis benötigt wird.

variable = bigAndSlowFunc() or evenSlowerFnc() 
if (carry out heavy computations) 
    print "Here it is: ", variable 
else 
    print "As you wish :-)" 

Wenn Auswertung faul ist, wird variable nur berechnet werden, wenn wir gehen in den ersten (then) Zweig der if wählen, sonst wird es nicht. In der Auswertungsstufe (wenn wir Argumente für print vorbereiten) kann das Kurzschlussschema verwendet werden, um zu entscheiden, ob wir evenSlowerFnc aufrufen müssen.

Also in Ihrem Beispiel ist es Kurzschlussauswertung, da keine Verzögerung der Berechnung passieren.