除数为2时带符号与无符号除法的差异及Intel 64移位指令疑问

嘿，这个问题真的戳中了很多人刚啃Intel指令集文档时的误区！乍一看伪代码里都是DEST ← DEST / 2，确实会让人懵——不都是除以2吗？怎么结果会不一样？关键就在于注释里的带符号除法（向负无穷取整）和无符号除法的本质差异，尤其是处理负数的时候，两者的结果天差地别。

我举几个8位整数的例子帮你直观理解：

例子1：负数-1（二进制0xFF） #

• 对于SAR指令：这里的除法是带符号且向负无穷取整。-1除以2的数学值是-0.5，向负无穷取整的结果是-1，所以执行SAR后，DEST依然是0xFF（对应十进制-1）。底层是算术右移操作，符号位（最高位的1）会被复制到新的高位，移位后二进制还是全1。
• 对于SHR指令：这里是无符号除法，0xFF会被当作无符号数255处理，255除以2等于127（二进制0x7F），所以执行SHR后DEST变成0x7F。底层是逻辑右移，高位直接补0，原来的符号位被覆盖。

例子2：负数-2（二进制0xFE） #

• SAR操作：-2除以2是-1，向负无穷取整结果就是-1，移位后DEST是0xFF。
• SHR操作：0xFE作为无符号数是254，254除以2是127，移位后DEST是0x7F。

核心区别总结 #

伪代码里的/2只是简化表述，实际对应两种完全不同的运算逻辑：

• SAR：算术右移，针对带符号整数，移位时保持符号位不变（最高位补符号位），除法结果向负无穷方向取整，保证负数移位后依然是负数，符合带符号数的运算规则。
• SHR：逻辑右移，针对无符号整数，移位时高位补0，完全把操作数当作非负数处理，除法结果是普通的截断取整（向0取整）。

所以哪怕伪代码写的都是除以2，因为运算规则（是否考虑符号、取整方向）不同，最终结果会完全不一样，处理负数时差异最明显。

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