嘿，这个问题其实挺有代表性的——很多人刚接触位运算和整数除法时，都会默认两者在负数场景下行为一致，但实际上C++标准对这两个操作的规定差异很大，这就是你看到结果不同的核心原因。

先明确两者的实际结果差异 #

先拿你测试的例子来说：

• 对于-3 / 2，在C11及以后的标准中，整数除法的结果是向零取整，所以计算结果是-1；即使在C11之前，主流编译器也基本遵循向零取整的规则。
• 对于-3 >> 1，这是有符号整数的右移操作，C++标准将其定义为实现定义行为。绝大多数编译器（比如GCC、Clang、MSVC）会采用算术右移：也就是右移时填充符号位（负数的符号位是1）。-3的32位补码是0xFFFFFFFD，右移1位后变成0xFFFFFFFE，对应十进制的-2。

为什么机器码也不一样？ #

这是因为两个操作的语义本质不同：

• 整数除法/需要遵循标准规定的取整规则，编译器会生成对应除法指令（比如x86的idiv），指令会处理符号和取整逻辑。
• 右移>>是纯粹的位操作，编译器会生成位移动指令（比如x86的sar，算术右移指令），它只负责按位移动并填充符号位，不会考虑除法的取整规则。

即使在正数场景下（比如5 >> 1和5 / 2结果都是2），编译器也可能生成不同的机器码——因为除法指令和位移动指令的硬件执行逻辑不同，编译器会根据上下文选择最优指令，但语义上两者在正数时恰好结果一致。

补充：无符号整数的情况 #

如果是无符号整数，unsigned(-3) >> 1和unsigned(-3) / 2的结果是一致的。因为无符号右移是逻辑右移（补0），无符号整数除法也是向下取整，这时候编译器可能会优化右移为除法，或者反过来，但有符号整数因为标准规定的行为差异，无法做这样的等价优化。

内容的提问来源于stack exchange，提问作者Jean-Milost Reymond