定点数运算的溢出判断

我们只讨论有符号数。对于定长的数据来说,只有正数+正数,或者负数+负数才有可能发生溢出。而溢出的一个必要条件是正数+正数=负数,负数+负数=正数。例如:
image.png|500
我们通过该必要条件可以得知,A+C 和 B-C 都发生了溢出。

我们有三种常用的方式来检测溢出问题: