定点数的溢出判断

溢出判断：

例如：

(下图的数轴为补码及其对应的真值)

例如，2 + 2，补码相加为010 + 010 = 100,其真值为-4，发生上溢。

那么计算机是如何判断溢出的呢？
（图中A、B为二进制数码）

该表达式的本质：负 + 负 = 正 （或） 正 + 正 = 负

下图展示了何为符号位的进位和最高数值位的进位：