根据C/ C++标准(see this link),C和C++中的>>运算符不一定是有符号数的算术移位。当位向右移位时,0(逻辑)或符号位(算术)是否被移入取决于编译器的实现。
对于实现有符号整数逻辑右移的编译器,这段代码会在编译时断言(失败)吗?
#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 );
https://stackoverflow.com/questions/1597704
复制相似问题