验证C/ C++有符号右移位对于特定编译器是算术吗？
验证C/ C++有符号右移位对于特定编译器是算术吗？
提问于 2009-10-21 06:36:11
根据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 );回答 2
Stack Overflow用户
发布于 2009-10-21 06:39:44
我觉得不错！您还可以将编译器设置为发出一个程序集文件(或在调试器中加载编译后的程序)，并查看它为signed int i; i >> 1;发出的操作码，但这并不像您的解决方案那样是自动的。
如果你发现一个编译器没有实现有符号数的算术右移，我很想听一下。
Stack Overflow用户
发布于 2012-09-18 01:53:48
从您的各种评论中，您谈到了使用这种跨平台。确保您的编译器保证在为平台编译时，其编译时操作符的行为与运行时操作符相同。
一个不同行为的例子可以在浮点数中找到。如果要转换回int类型，编译器是以单精度、双精度还是扩展精度进行常量表达式计算？比如
constexpr int a = 41;
constexpr int b = (a / 7.5);我要说的是，当你在这么多不同的架构上工作时，你应该确保你的编译器在运行时和编译时保证相同的行为。
编译器完全有可能在内部签名扩展，但不会在目标上生成所需的操作码。确保这一点的唯一方法是在运行时测试或查看程序集输出。
看看汇编output...How并不是世界末日，有很多不同的平台？由于这是如此关键的性能，所以只需要看一下5种不同架构的1-3行汇编程序输出就可以了。这并不是说你必须深入研究整个汇编输出(通常是！)找到你的台词。这非常，非常容易做到。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/1597704
复制相关文章
相似问题