¿Existe un orden de evaluación definido para & = y | =?

Question

Si usted tiene una función de C que devuelve un entero, se podría escribir una declaración como esta:

MyInt &= MyFunc(); 

... en el que estamos usando el operador de bits-y asignación.

La pregunta es: ¿se garantiza que MyFunc() se ejecutará, incluso si MyInt es igual a cero?

Likwise, si utilizáramos el operador de asignación O bit a bit (| =), ¿MyFunc() se ejecutaría siempre, incluso si MyInt se configurara para todos?

Dicho de otra manera: ¿está permitida la evaluación diferida en C para operadores bit a bit?

Answer 1

MyInt &= MyFunc(); 

es equivalente a:

MyInt = MyInt & MyFunc(); 

El lenguaje indica que el operador & no está en cortocircuito. Sin embargo, un optimizador podría generar código para no llamar a la función si MyInt era cero y estaba seguro de que la función no tenía efectos secundarios. Dudo que ningún compilador lo haga, ya que la prueba de tiempo de ejecución probablemente lo pesima.

Answer 2

No. Los operadores bit a bit no están en cortocircuito. La ejecución de MyFunc() está garantizada independientemente del valor de MyInt.