C语言整数除以2的幂：右移k位与除以(1<<k)结果差异问题

问题复现 #

在C语言中使用两种方式实现整数除以2的k次幂时，出现了结果不一致的情况：

• 实现1：整数直接除以1<<k
• 实现2：整数右移k位
  使用的测试代码如下（注：原代码未定义k，实际测试时k取值为5）：

#include <stdio.h>

int main(void) {
  int y1 = 0x00061290;
  int y2 = 0xFFFE1A32;
  int k = 5;
  printf("(y1/(1<<k))=%x\n", (y1/(1<<k)));
  printf("(y2/(1<<k))=%x\n", (y2/(1<<k)));
  printf("(y1>>k))=%x\n", (y1>>5));
  printf("(y2>>k))=%x\n", (y2>>5));
  return 0;
}

程序运行输出：

(y1/(1<<k))=3094
(y2/(1<<k))=fffff0d2
(y1>>k))=3094
(y2>>k))=fffff0d1

测试结果显示，y1=0x00061290时两种运算结果一致，y2=0xFFFE1A32时两种运算结果相差1。 #

场景判定规则 #

你的猜测方向正确，两种运算的结果一致性完全由被除数符号、整除性决定：

• 结果完全一致的场景
  • 被除数为非负整数（无论是否能被2^k整除）
  • 被除数为负整数，且恰好能被2^k整除（余数为0）
• 结果存在差异的场景
  • 被除数为负整数，且不能被2^k整除（余数不为0），此时除法结果比右移结果大1

底层逻辑差异 #

两种运算结果不同的核心原因是取整规则完全不同：

1. 有符号整数除法的取整规则 #

C语言标准明确规定，有符号整数除法 向0方向取整（截断取整）：

• 计算时直接舍弃商的小数部分，结果向数轴原点靠近
• 例如5/2=2、-5/2=-2

2. 有符号整数右移的取整规则 #

C语言中对有符号整数的右移属于实现定义行为，但所有主流编译器、通用硬件平台（x86、ARM、RISC-V等）均采用算术右移实现：

• 右移时高位补符号位：正数补0，负数补1
• 算术右移的本质是 向负无穷方向取整（向下取整）
• 例如5>>1=2、-5>>1=-3

测试用例验证 #

以测试中的两个值为例：

• y1=0x00061290是正整数，十进制值为397968，除以32的精确值为12436.5。向0取整结果为12436（对应十六进制0x3094），向下取整结果同样为12436，因此两种运算结果一致。
• y2=0xFFFE1A32是32位有符号负整数，十进制值为-124366，除以32的精确值为-3886.4375。向0取整结果为-3886（对应十六进制0xFFFFF0D2），向下取整结果为-3887（对应十六进制0xFFFFF0D1），因此两种运算结果相差1，和测试输出完全吻合。

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