右移g ++的意外结果

Question

我已经发现将uint64_t值右移64位或更多时看起来异常的结果.我希望以下代码输出值0,但它没有 - 它输出值>> 2 - 但只有g ++.

#include <iostream>
#include <cstdint>
using namespace std;
int main(void)
{
    uint64_t value = 0x5d4d629e80d5489UL;
    int shift = 66;
    cout << hex << (value >> shift) << endl;
    return 0;
}

我编译并运行:

$ g++ -std=c++0x mad.cpp
$ ./a.out
175358a7a035522
$ uname -a
Linux svr 3.2.0-26-generic #41-Ubuntu SMP Thu Jun 14 17:49:24 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux
$ g++ --version 
g++ (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3

我在使用g ++(Debian 4.4.5-8)4.4.5的另一个Linux机器上得到了相同的行为.但是,当我用Visual Studio C++(Express Edition)编译它时,我没有得到相同的行为 - 我得到了我最初预期的结果 - 即0.

我想知道是否可以安全地假设当x和y是序数并且y大于x中的位数时,C++中的x >> y应该产生0.这是一个g ++错误 - 还是Visual C++在这里不符合？我假设这不是/不应该是未定义的行为？这可能是CPU特有的吗？

我意识到我总是可以明确地检查每个超过8*sizeof(值)的班次 - 但这引入了一个我希望在一些性能关键代码中避免的额外分支.

这是一个已知问题 - 如果是这样,为了实现一致的跨平台评估,建议的策略是什么？

Answer 1

关于移位运算符的C++标准:

如果右操作数大于或等于提升左操作数的位长度,则行为未定义.