关于Two's Complement（补码）减法运算的错误排查求助

核心问题：4位补码的范围限制导致溢出 #

4位有符号补码的取值范围是 -8 ~ 7，而你计算的5 - (-6) = 11已经超出了这个范围，因此必然会出现溢出错误，这是你得到错误结果的根本原因。

你的计算步骤错在哪？ #

你对补码减法的规则理解有偏差：

1. 首先，5 - (-6)等价于5 + 6，本质是两个正数相加。在4位补码中，6的表示是0110，5是0101，两者相加得到1011。
2. 你错误地认为“无进位就对结果取补码”，但补码加法的判断逻辑是：
   • 若相加时最高位产生进位，说明结果在当前位数的范围内，直接保留结果即可；
   • 若最高位无进位，但结果的最高位是1（表示负数），或者有进位但结果最高位是0，就意味着发生了溢出，此时结果无法用当前位数的补码正确表示。
3. 你得到的1011是4位补码的-5，这正是溢出后的错误结果——因为11超出了4位补码能表示的最大值7。

正确的计算方式（扩展位数） #

如果要得到正确结果11，需要使用能容纳该数值的补码位数（比如5位）：

• 5的5位补码：00101
• -6的5位补码：11010
• 按照补码减法规则，00101 - 11010等价于00101 + (11010的补码)：
  1. 对11010取补码：按位取反得00101，加1得00110
  2. 相加：00101 + 00110 = 01011
  3. 01011是5位补码的11，与预期结果一致。

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