C/C++ 无符号整数加法溢出判断

c/c++没有获得溢出位状态的方法，所以需要用另外的方法判断。

 对于c = a + b，如果c < a || c < b 则已经溢出了

证明如下

1.设a,b,c的类型长度为n位则有a<2^n,b<2^n

2.当a+b未溢出则必然有c>a且c>b（这个不用证明了吧？)

3.当a+b溢出则a+b>=2^n

4.因为b<2^n则a+b<a+2^n

5.对于n位2进制数，a+2^n与a相等

6.因为3,4,5所以a+b<a