Calcule de scurtcircuit

Evaluarea în scurtcircuit , cunoscută și sub denumirea de evaluare McCarthy , în onoarea informaticianului american John McCarthy , este o strategie în unele limbaje de programare în care al doilea operator logic este executat sau evaluat numai în cazul în care primul operator logic nu este suficient pentru a determina valoarea expresiei. Astfel, după ce rezultatul unei expresii devine evident, evaluarea acesteia se oprește.

Exemple:

Dacă operandul din stânga ANDeste false, atunci valoarea totală a expresiei este de asemenea false.
Dacă operandul din stânga OReste true, atunci valoarea totală a expresiei este de asemenea true.

Mai general, în expresiile formei fie , evaluarea continuă de la stânga la dreapta până la unul dintre sau respectiv . Prezența sau absența unui calcul de scurtcircuit este deosebit de importantă dacă membrii expresiei sunt acțiuni cu posibile efecte secundare (pe lângă funcții de apel, aceasta poate fi o oprire a programului atunci când este împărțit la zero sau o matrice în afara limitelor). De exemplu, un cod de vizualizare este corect numai dacă limbajul (sau compilatorul) garantează evaluarea scurtcircuitului. $p_{1}\wedge p_{2}\wedge p_{3}\dots$ $p_{1}\vee p_{2}\vee p_{3}\dots$ $p_n$ falsetrueif (n != 0) and (k/n > 17) ...

În limbajele de programare cu evaluare leneșă ( Lisp , Perl , Haskell ), operatorii logici sunt utilizați într-un model scurt. Alții ( Ada , Java , Delphi ) au disponibile atât schemă scurtă, cât și operatori logici standard. Pentru unele operații logice, cum ar fi exclusiv sau (XOR), scurtcircuitul nu poate fi utilizat deoarece ambii operanzi sunt întotdeauna necesari pentru a determina rezultatul.

Link -uri