Jakakolwiek różnica między oceną Lazy a oceną zwarć?

Question

Z Wikipedii:

Lazy evaluation jest:

W teorii języków programowania, leniwa ewaluacja lub zadzwonić po potrzebie jest strategia oceny, która opóźnia ocenę wyrazem aż jego wartość jest potrzebne

Short-circuit evaluation jest:

ocena zwarciem, minimalne oceny, czy McCarthy ocena oznacza semantyki niektórych operatorów logicznych w niektórych programowania języków, w których drugi argument jest tylko zrealizowanych lub ocenianych jeśli pierwszy argument nie wystarcza do określenia wartość wyrażenia

Więc jaka jest różnica między nimi, na przykład gdy mam:

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

O ile mi wiadomo, kompilator nie wykonuje wyrażeń po false, ponieważ mam &&, więc całe wyrażenie będzie w końcu oznaczone jako false. (Prawda?)

Więc jest to, że zachowanie nazywa Lazy ocena ocena lub zwarciem?

Answer 1

Różnica polega na tym, że w przypadku leniwego oceniania wyrażenie jest oceniane tylko wtedy, gdy jest potrzebne, natomiast w przypadku oceny zwarcia ocena oceny kończy się zaraz po poznaniu wyniku. Jest to rodzaj ortogonalnych pojęć.

Do każdego obliczenia można zastosować leniwą ocenę (schemat zwarciowy jest zwykle używany tylko przy sygnalizatorach). Nie wyłącza bezużytecznych obliczeń, ale opóźnia całe obliczenie, aż do uzyskania wyniku.

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

Jeśli ocena jest leniwy, variable będą obliczane tylko wtedy, gdy zdecydujemy się pójść do pierwszej (then) oddział if, w przeciwnym razie nie będzie. Na etapie oceny (kiedy przygotowujemy argumenty dla print) można zastosować schemat zwarć, aby zdecydować, czy musimy zadzwonić pod numer evenSlowerFnc.

Tak więc w twoim przykładzie jest to ocena zwarcia, ponieważ nie ma opóźnienia obliczeń.