这个用于检测整数加法溢出的函数实际上有效吗？

Question

在阅读关于这个问题的评论时，我发现了一个指向comp.lang.c常见问题解答的链接，该链接显示了一个“小心加法函数”，据称该函数检测整数溢出：

int
chkadd(int a, int b)
{
    if (INT_MAX - b < a) {
        fputs("int overflow\n", stderr);
        return INT_MAX;
    }
    return a + b;
}

如果b==-1，这如何不溢出？如果假设a和b都是正数，为什么首先将它们设为int而不是无符号int？

Answer 1

可能他们只是忽略了它。FAQ页面上的其他链接似乎提供了更正确的代码。

Answer 2

OP已经发现INT_MAX-b可能溢出，使得剩余的代码对于正确的溢出检测无效。它不起作用。

if (INT_MAX - b < a) {  // Invalid overflow detection

一种在没有UB的情况下检测溢出的方法如下：

int is_undefined_add1(int a, int b) {
  return (a < 0) ? (b < INT_MIN - a) : (b > INT_MAX - a);
}

为什么首先要让它们成为< code>int而不是< code>unsigned int？

更改为＜code＞无符号无符号[0…UINT_MAX]的范围可能是int:[int_MIN…int_MAX]。IOWs:INT_MAX==UINT_MAX。这种系统现在很少见。在IAC中，使用＜code＞is_undefined_add1（）编码时不需要更改类型。。