Esiste un ordine di valutazione definito per & = and | =?

Question

Se si dispone di una funzione C che restituisce un numero intero, si potrebbe scrivere una dichiarazione come questa:

MyInt &= MyFunc(); 

... dove stiamo utilizzando l'operatore bit a bit-assegnazione AND.

La domanda è: è garantito che MyFunc() sia eseguito, anche se MyInt è uguale a zero?

Probabilmente, se si utilizzava l'operatore di assegnazione OR bit a bit (| =), MyFunc() sarebbe sempre eseguito, anche se MyInt fosse impostato su tutti?

In altre parole: la valutazione lazy è consentita in C per gli operatori bit a bit?

Answer 1

MyInt &= MyFunc(); 

è equivalente a:

MyInt = MyInt & MyFunc(); 

Il linguaggio afferma che l'operatore & non è in corto circuito. Tuttavia, un ottimizzatore potrebbe generare codice per non chiamare la funzione se MyInt era zero ed era sicuro che la funzione non ha avuto effetti collaterali. Dubito che tutti i compilatori facciano questo, perché probabilmente il test di runtime lo rende una pessimizzazione.

Answer 2

No. Gli operatori bit a bit non vengono cortocircuitati. L'esecuzione di MyFunc() è garantita indipendentemente dal valore di MyInt.