Evaluarea scurtcircuitului

Acest articol sau secțiune despre subiectul programării nu menționează sursele necesare sau sunt insuficiente. Puteți îmbunătăți această intrare adăugând citate din surse de încredere în conformitate cu liniile directoare privind utilizarea surselor .

Evaluarea scurtcircuitului , evaluarea minimă sau evaluarea McCarthy este un mecanism legat de operatorii booleni binari prin care al doilea operand este evaluat numai dacă valoarea primului operand nu este suficientă de la sine pentru a determina rezultatul expresiei: atunci când primul argument al operatorul AND logic este falso , valoarea întregii expresii trebuie să fie neapărat falso ; și când primul argument al operatorului OR logic este vero , valoarea întregii expresii trebuie să fie în mod necesar vero . În unele limbaje de programare ( Lisp ), operatorii booleni normali sunt scurtcircuitați. În altele ( Ada , Java ), sunt disponibili atât operatori scurtcircuitați, cât și operatori fără scurtcircuit. Pentru unii operatori booleni, cum ar fi Exclusive Disjunction (XOR), nu este posibil să se scurtcircuiteze, deoarece ambii operanzi sunt întotdeauna necesari pentru a determina rezultatul.

Evaluarea scurtcircuitului, furnizată în multe limbaje de programare , este utilizată atât pentru a accelera calculul rezultatului expresiilor , cât și ca formă compactă a unei instrucțiuni condiționate dacă evaluarea celui de-al doilea operand produce efecte secundare .

Suport în limbaje de programare comune

¹ ABAP nu are tipuri booleene diferite.
² În caz de suprasarcină, operatorii && și || sunt dornici și pot întoarce orice tip.
³ Acest lucru se aplică numai expresiilor evaluate în runtime, static if și static assert . Expresiile în inițializatoare statice sau constante de manifest utilizează o evaluare dornică.
⁴ Operatorii Fortran nu sunt nici scurtați, nici dornici: specificația limbajului permite compilatorului să selecteze metoda de optimizare.
⁵ Extended Pascal (ISO / IEC 10206: 1990) permite, dar nu necesită, scurtcircuitarea.
⁶ Extended Pascal (ISO / IEC 10206: 1990 acceptă and_then și or_else . ^[3]
7 Smalltalk folosește semantica de scurtcircuit numai dacă argumentul and: este un bloc (de exemplu: false and: [Transcript show: 'Non apparirò!'] ).
⁸ limbaje de bază care susțineau instrucțiunile CASE au făcut acest lucru folosind un sistem de evaluare condițională, mai degrabă decât sări de tabele limitate la etichete fixe.

Utilizări comune

Formă compactă de if / else

Într-un script shell :

 test -d / tmp / foo || mkdir / tmp / foo

În acest caz, comanda mkdir / tmp / foo este executată numai dacă rezultatul primei comenzi (care verifică existența directorului / tmp / foo) este fals, din cauza evaluării scurtcircuitului SAU operator (denumit | | în scenariu). Reprezintă o formă compactă de

 dacă! test -d / tmp / foo; apoi mkdir / tmp / foo; fi

Evitați efectele nedorite ale celui de-al doilea argument

În limbajul C :

 if ( denom ! = 0 && num / denom )
{
    ... // asigură că expresia num / denom nu duce niciodată la o eroare din cauza numitorului nul (denom == 0)
}

Luați în considerare următorul exemplu:

 int a = 0 ;
if ( a ! = 0 && myfunc ( b ))
{
    face_ceva ();
}

În acest exemplu, evaluarea scurtcircuitului asigură că myfunc(b) nu este apelat niciodată. Acest lucru se datorează faptului că expresia a != 0 are ca rezultat fals . Această caracteristică permite două construcții utile de programare. În primul rând, prima sub-expresie poate fi utilizată pentru a verifica dacă este nevoie de calcule suplimentare și dacă rezultatul este fals , calculele inutile ale celui de-al doilea argument pot fi eliminate. În al doilea rând, permite o construcție în care prima expresie garantează o condiție fără de care a doua expresie ar putea provoca o eroare de execuție . Ambele sunt ilustrate în următoarele coduri C în care evaluarea minimă evită atât dereferențierea indicatorului nul, cât și un exces de opțiuni de memorie:

 bool is_first_char_valid_alpha_unsafe ( const char * p )
{
    returnează isalfa ( p [ 0 ]); // foarte probabil SEGFAULT cu p == NULL
}

bool is_first_char_valid_alpha ( const char * p )
{
    returnează p ! = NULL && isalpha ( p [ 0 ]); // a) nu este nevoie să executați isalpha () cu p == NULL, b) fără risc de SEGFAULT
}

Notă

Elemente conexe

• Algebra booleană

Portal IT : accesați intrările Wikipedia care se ocupă cu IT