& = Ve | = için tanımlı bir değerlendirme sırası var mı?

Question

Bir tamsayı döndüren bir C işleviniz varsa, şu şekilde bir ifade yazabilirsiniz:

MyInt &= MyFunc(); 

... biz bitsel-AND atama işlecini kullanıyoruz.

Soru: MyInt sıfıra eşit olsa bile MyFunc() tarafından yürütülmeyi garanti ediyor mu?

Benzer şekilde, bitly-OR atama işlecini (| =) kullansaydık, MyInt tümü ayarlanmış olsa bile MyFunc() her zaman çalıştırılır mı?

Başka bir deyişle: bitly operatörler için tembel değerlendirme C'de izin verilir mi?

Answer 1

MyInt &= MyFunc(); 

eşdeğerdir. Bununla birlikte, bir iyileştirici, MyInt sıfır ise, işleve çağrı yapmama kodunu üretebilir ve işlevin hiçbir yan etkisi olmadığından emin olabilir. Çalışma zamanı testi muhtemelen bir kötümserlik yaptığı için, derleyicilerden hiç şüphe duymadığından şüphe ediyorum.

Answer 2

Hayır. Biten operatörler kısa devre yapmazlar. MyInt'un değeri ne olursa olsun MyFunc() yürütme garantilidir.

MyInt = MyInt & MyFunc(); 

dil & operatör kısa devre olmadığını bildiriyor: için