为何不用sum-x==y检测加法溢出？除法如何检测乘法溢出？

一、为什么sum-x == y的加法溢出检测逻辑不被采用？ #

首先明确：C语言里有符号整数溢出属于未定义行为——也就是说当x+y溢出时，sum的值本身就不确定，后续执行sum-x的操作可能产生不可预测的结果，甚至编译器会因为优化直接删掉这个判断（因为编译器默认程序不会触发未定义行为）。

失效示例（32位有符号int环境） #

假设x = INT_MAX（值为2147483647），y = 1：

1. sum = x + y发生正溢出，按照补码环绕规则，结果是INT_MIN（-2147483648）；
2. 计算sum - x，即-2147483648 - 2147483647，这个操作再次溢出，结果为1，刚好等于y；
3. 明明发生了溢出，但sum-x == y的判断却成立，直接导致检测失效。

而你提到的另一套逻辑：

if (x>0 && y>0 && sum<0) {
    printf("Positive overflow");
}
if (x<0 && y<0 && sum>0) {
    printf("Negative overflow");
}

这套逻辑更可靠的原因是：它利用了补码环境下溢出的特性（两个正数相加溢出会变负数，两个负数相加溢出会变正数），而且所有判断都是在溢出前的条件校验，不会触发未定义行为——先判断x和y的符号，再看sum的符号是否异常，整个过程没有依赖溢出后的不确定值。

二、用除法检测乘法溢出的方法 #

对于有符号整数乘法x*y，可以通过反向除法验证是否溢出，但要注意边界情况：

核心思路 #

当y != 0时，如果x*y的结果prod没有溢出，那么prod / y必然等于x；如果溢出，prod的值是未定义的（多数环境下是补码环绕），此时prod / y通常不等于x。但有个特殊情况必须单独处理：当其中一个数是INT_MIN，另一个是-1时，x*y的结果超出有符号int范围，属于溢出，但prod / y的操作本身也是未定义行为（因为INT_MIN / (-1)会溢出）。

示例代码 #

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

// 判断int乘法是否溢出
int is_mult_overflow(int x, int y) {
    if (x == 0 || y == 0) {
        return 0; // 0乘任何数都不会溢出
    }
    // 处理INT_MIN * -1的特殊溢出场景
    if ((x == INT_MIN && y == -1) || (y == INT_MIN && x == -1)) {
        return 1;
    }
    int prod = x * y;
    // 反向除法验证
    return (prod / y) != x;
}

注意事项 #

虽然这个方法直观，但因为乘法溢出本身是未定义行为，prod的值可能不符合预期，导致除法验证失效。更安全的做法是在相乘前做预判：

• 正数相乘：如果x > INT_MAX / y，则溢出；
• 负数与正数相乘：如果x < INT_MIN / y，则溢出；
• 负数相乘：如果x < INT_MAX / y（因为负数相乘结果为正，需和INT_MAX比较），则溢出。

这样可以完全避免触发未定义行为，检测结果更可靠。

内容的提问来源于stack exchange，提问作者Shiva kumar das