解析C语言中窄类型的位移位操作异常问题

你的问题本质是C语言的整数提升规则、有符号整数位移的未定义行为，以及有符号到无符号类型转换的符号扩展共同导致的，下面逐个拆解细节：

1. 先明确编译环境的基础前提 #

在你的gcc 4.8.5（SUSE Linux）环境中：

• char 默认是有符号char，占1字节，取值范围 -128 ~ 127
• int 是32位，取值范围 -2^31 ~ 2^31-1（即 -2147483648 ~ 2147483647）
• C语言规定：对小于int的整数类型做算术/位移操作时，操作数会被自动提升为int类型（因为int能完全容纳原类型的所有取值）。所以你的代码里a << i实际执行的是 (int)a << i。

2. i=30到i=31的结果跳变原因 #

• i=30时：(int)1 << 30 的结果是 2^30 = 1073741824，这个值在32位有符号int的合法范围内（小于2^31-1），因此结果正常。把这个int值赋值给uint64_t b时，会自动零扩展为64位无符号数，输出符合预期。
• i=31时：(int)1 << 31 会得到0x80000000，这是32位有符号int的最小值（-2147483648）。当你把这个有符号int转换为uint64_t时，C语言会触发符号扩展：将有符号数的符号位（最高位）填充到64位的所有高位，最终得到的值是 2^64 - 2^31 = 18446744071562067968，也就是你看到的跳变结果。

注意：严格来说，有符号整数左移后结果超出类型范围属于未定义行为，gcc的这个表现是常见实现，但标准不保证所有编译器都一致。

3. i=32时结果变回1的原因 #

C标准规定：位移操作中，如果右操作数的值大于等于左操作数的位数，行为是未定义的。这里左操作数是32位int，i=32时位移量等于位数，触发了未定义行为。

gcc 4.8.5对这种场景的实现逻辑是：对位移量取模类型位数，也就是 32 % 32 = 0，相当于执行(int)1 << 0，结果还是1。赋值给uint64_t后输出1；i=33时则是33%32=1，左移1位得到2，和你的输出完全对应。

4. 为什么你的修复方案有效 #

你提到的修复代码 b = ((uint64_t)a << ((uint64_t)i)) 解决了所有问题：

• 先把a转换为uint64_t，位移操作会直接在64位无符号整数类型上进行，不再触发整数提升到int的规则。
• 无符号整数的左移是定义良好的（你的循环i<64刚好满足位移量小于类型位数的要求），每一位左移都严格对应2的幂次，不会出现符号扩展或未定义行为。

内容的提问来源于stack exchange，提问作者FlyingTeller