875.C语言中通过INT_MAX判断两个非负整数相加是否溢出

整数溢出是指当一个整数的值超过了它所能表示的范围时，会发生错误的结果。

例如，如果我们使用32位的有符号整数，那么它的最大值是2147483647，也就是INT_MAX。
如果我们试图将INT_MAX和任何正整数相加，那么结果就会溢出，变成一个负数或者零。
为了避免这种情况，我们可以在进行加法运算之前，先检查两个加数是否会超过INT_MAX。
具体的方法是，如果a和b是两个非负整数，那么我们可以判断b是否大于INT_MAX - a。
如果是，那么a + b一定会溢出；如果不是，那么a + b一定不会溢出。
示例代码：

#include <stdio.h>
#include <limits.h>

int main()
{
    int a = 1000000000; // 一个非负整数
    int b = 2000000000; // 另一个非负整数
    if (b > INT_MAX - a) // 判断是否会溢出
    {
        printf("a + b will overflow\n"); // 输出提示信息
    }
    else
    {
        printf("a + b will not overflow\n"); // 输出提示信息
        printf("a + b = %d\n", a + b); // 输出正确的结果
    }
    return 0;
}