C中有、无符号数运算的溢出问题及解决

一、无符号数加法的溢出问题

• 无符号数可以理解为非负数，两个非负数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，来表示溢出。

二、有符号数的加法溢出问题

• 判断方法：两个正数相加为负数，两个负数相加为正数，那么就发生了溢出。