 |
Stetolo |
.consigliere.
Registered: Oct 2007
Posts: 122 (0.02 al dì)
Location: Milano
Corso: Comunnicazione Digitale
Anno:
Time Online: 2 Days, 4:02:00: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Paul442
quindi se è false si prosegue mentre se è true non si prosegue? ho capito bene?
Esatto, nel caso di OR è così.
Nel caso di AND invece è il contrario.
Questo comportamento si spiega col fatto che un'espressione in cui compare l'OR ha bisogno che almeno una delle parti sia vera per risultare nel complesso vera, quindi appena se ne incontra un "pezzo" vero, il programma smette di valutare le seguenti perchè sarebbe inutile, risulterebbe comunque vera; perchè sia falsa, invece, è necessario che TUTTE le parti che compongono l'espressione siano false, perciò non si può attuare la lazy evaluation, finchè non sono tutte verificate.
Le espressioni con AND sono vere solo se tutte le espressioni che le compongono sono vere, perciò nel caso se ne incontri un "pezzo" falso è inutile proseguire la valutazione, perchè risulterebbe comunque falsa nel complesso: quindi la lazy evaluation si attua solo nel caso in cui si trovano espressioni false, altrimenti finchè sono vere, si deve proseguire la valutazione per determinare l'eventuale verità complessiva dell'AND (che si ha solo se TUTTE sono vere).
In altre parole la lazy evaluation è una scorciatoia che si può imboccare solo nel momento in cui il programma sa per certo quale sarà l'esito della valutazione.
__________________
Stetolo
|
caha
