int左移32位的行为未定义/Coverity

最新推荐文章于 2022-03-31 21:14:03 发布

转载最新推荐文章于 2022-03-31 21:14:03 发布 · 1.1k 阅读

本文讨论了在x86架构下将uint64_t类型的整数左移超过32位时可能出现的未定义行为。文章指出，如果直接将32位内的数值进行移位，则该操作将引发未定义行为。通常情况下，移位结果可能是移位距离模32或0，具体取决于硬件如何处理。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

int左移32位的行为未定义

Coverity 代码静态安全检测

Is Shifting more than 32 bits of a uint64_t integer on an x86 machine Undefined Behavior?

uint64_t s = 1 << 32;

uint64_t s = 1ULL << 32;

Note, however, that if you write a literal that fits into 32 bits, e.g. uint64_t s = 1 << 32 as surmised by @drhirsch, 
you don't actually shift a 64-bit value but a 32-bit one. That is undefined behaviour. The most common results are a 
shift by shift_distance % 32 or 0, depending on what the hardware does.

关注博主即可阅读全文