首页 >后端开发 >C++ >为什么 1 >> 32 结果为 1,但 1 (uint64_t) >> 32 结果为 0?

为什么 1 >> 32 结果为 1,但 1 (uint64_t) >> 32 结果为 0?

Linda Hamilton
Linda Hamilton原创
2024-10-26 12:17:021034浏览

Why Does 1 >> 32 结果为 1,但是 1 (uint64_t) >> 32 结果为 0? 
> 32 结果为 1,但是 1 (uint64_t) >> 32 结果为 0? " />

右移运算符的奇怪行为:1 >> 32

问题:

在 C 程序中,右移运算符表现出奇怪的行为:

<code class="cpp">int foo(int a, int b) { return a >> b; }
int main() { std::cout << "foo(1, 32): " << foo(1, 32) << std::endl; }

输出为 1,这是意外的,因为理论上结果应为 0。此外,行为因参数类型而异:

<code class="cpp">int bar(uint64_t a, int b) { return a >> b; }
std::cout << "bar(1, 32): " << bar(1, 32) << std::endl; // Outputs 0</code>

解释:

此行为源于这样一个事实:右移位运算符根据基础数据类型的宽度而不同,对于 32 位整数(在本例中为 int),右移是“逻辑”移位,这意味着无论 b 的值如何,它都会用零填充空出的位,因此 1 >> 32 的计算结果为 1,因为移位超过位数没有效果。 🎜>

但是,对于 64 位整数 (uint64_t),右移是“算术”移位,这意味着它用与操作数相同的符号位填充空出的位,因为值 1 有一个正符号位。 ,1>>32的结果是0。

编译器优化:

另外,编译器的优化也起作用。表达式1>> 32是一个编译时常量,允许编译器在编译期间将其折叠为0。这与函数内 foo(1, 32) 的动态评估不同。

可移植性问题:

值得注意的是,此行为依赖于体系结构。在某些架构(例如 ARM)上,逻辑右移的实现方式与 x86/x86-64 CPU 上不同。因此,将 32 位整数移位大于或等于 32 的值可能会产生不可移植的结果。

以上是为什么 1 >> 32 结果为 1,但 1 (uint64_t) >> 32 结果为 0?的详细内容。更多信息请关注PHP中文网其他相关文章!

声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn