是否有针对&=和| =的定义评估顺序？

Question

如果你有一个返回整数的C函数,你可以写一个这样的语句:

MyInt &= MyFunc();

...我们使用按位AND赋值运算符.

问题是:即使MyInt等于零,MyFunc()也能保证执行吗？

Likwise,如果我们使用按位OR赋值运算符(| =),那么MyFunc()总会被执行,即使MyInt设置为全部吗？

换句话说:对于按位运算符,C是否允许延迟评估？

Answer 1

不.位运算符不会短路.MyFunc()无论价值如何,都可以保证执行MyInt.

Answer 2

MyInt &= MyFunc();

相当于：

MyInt = MyInt & MyFunc();

该语言声明 & 运算符不是短路的。但是，如果 MyInt 为零并且确定该函数没有副作用，优化器可以生成不调用该函数的代码。我怀疑任何编译器实际上都会这样做，因为运行时测试可能会让它变得悲观。