8位二进制补码加法：为何要丢弃相加产生的最高额外进位？

已知运算条件核对 #

• 运算采用固定8位补码编码规则，合法真值范围为*[-128, 127]*
• 操作数A：01110011，为正数补码，对应十进制真值115
• 操作数B：10010100，为负数补码，对应十进制真值-108
• 逐位相加得到的9位临时结果：100000111

额外最高位必须丢弃的核心逻辑 #

补码编码的设计基础是模运算，n位补码的运算模值固定为2^n，对应8位补码的模就是256。

• 固定位宽的补码加法，本质是在模256的同余等价类里做计算：所有相加时产生的、超出8位范围的高位进位，数值上刚好等于模256的整数倍，在模运算规则下这部分值可以直接消去，不会改变结果对应的同余真值。
• 你得到的9位临时结果100000111如果按9位补码解读确实是-249，但-249和正确结果7在模256下完全等价：-249 + 256 = 7，且7落在8位补码的合法取值范围内，说明本次运算没有产生溢出，直接丢弃最高位的进位即可得到正确结果。

容易混淆的概念：进位≠溢出 #

很多人会误把最高位产生的进位当成溢出，二者判断标准完全不同：

• 进位是加法器硬件输出的正常信号，只要最高位相加时产生了超出位宽的值就会输出1，不代表运算错误
• 溢出是指运算结果超出了当前位宽能表示的真值范围，唯一判断标准是：两个符号相同的数相加，得到了符号相反的结果。本次计算是正数加负数，两个操作数符号不同，从原理上就不可能产生溢出，结果必然合法。

结果验证：丢弃进位后得到的8位值为00000111，按8位补码规则解读为正数7，和十进制计算115 + (-108) = 7完全匹配。

如果出现真溢出场景（比如8位补码下127+1），哪怕丢弃进位得到的结果也是无效的：127对应01111111，加1后得到9位结果010000000，丢弃进位后8位值为10000000对应真值-128，正数加正数得到负数，属于明确的溢出错误，此时进位丢弃也无法得到正确结果。

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