为什么`int >> 32`不总是为零？

Question

有人可以解释一下为什么在C/C++中为什么某些4字节整数的右边32位按位移可能返回不为零？为什么它取决于编译器的-O选项？

例如该代码给出了45 -O0和0与-O3选项GCC 4.8.3：

unsigned int x = 45; // 4 bytes 
x = x >> 32; 
printf("%u\n", x); 

为什么是这样呢？

Answer 1

因为它是未定义的行为：[expr.shift]说

的行为是不确定如果将右操作数是负的，或者大于或等于在推动左操作数的位长度。

至于具体不确定的行为，我想这是如下：

• 随着-O0，它编译成实际执行的机器代码右移，并在某些机器（例如I相信x86是这样的），移位功能仅在移位32位字时才查看移位量的低5位;移位32与移位0相同。
• 对于-O3，编译器自己计算常量，并将0放入程序中，而不是进行计算。

您可以检查程序集输出以查看我的预测是否正确。