验证C/C++签名的右移是特定编译器的算术运算？

Question

根据C/C++标准(参见此链接),C和C++中的>>运算符不一定是有符号数的算术移位.由于位向右移位,所以由编译器实现是0(逻辑)还是符号位(算术)移入.

对于为有符号整数实现逻辑右移的编译器,此代码是否会在编译时对ASSERT(fail)起作用？

#define COMPILE_TIME_ASSERT(EXP) \
    typedef int CompileTimeAssertType##__LINE__[(EXP) ? 1 : -1]

#define RIGHT_SHIFT_IS_ARITHMETIC \
    ( (((signed int)-1)>>1) == ((signed int)-1) )

// SHR must be arithmetic to use this code
COMPILE_TIME_ASSERT( RIGHT_SHIFT_IS_ARITHMETIC );

Answer 1

在我看来很好!您还可以将编译器设置为发出一个汇编文件(或在调试器中加载已编译的程序)并查看它发出的操作码signed int i; i >> 1;,但这不是您自己的解决方案.

如果您发现编译器没有实现有符号数的算术右移,我想听听它.