一、无符号数加法的溢出问题
- 无符号数可以理解为非负数,两个非负数x、y相加会发生溢出问题,C语言中对无符号数的溢出判断通过sum和x或者y进行比较大小(sum=x+y)。如果sum>=x或者y,那么没有发生溢出,否则发生了溢出。
- 为什么sum与x或者y比较大小就可以判断出是否发生溢出了呢?
在C中,如果发生了溢出,就将进位舍去,保留剩余部分,那么sum=x+y=x+y-2^ w,w为位数。
我们知道x和y都小于2^ w次方,所以y-2^ w<0,在两边同时加上x,就是x+y-2^ w<x,即sum<x表示溢出。同样也可以在等式两端加上y,sum<y,来表示溢出。
二、有符号数的加法溢出问题
- 判断方法:两个正数相加为负数,两个负数相加为正数,那么就发生了溢出。