在阅读
this question的评论时,我遇到了一个指向
comp.lang.c FAQ的链接,该链接显示了一个“小心添加功能”,据称可以检测到整数溢出：
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而不是unsigned int？
