c - 为什么下面的代码不打印 TEST？

Question

为什么下面的代码不显示输出。它应该通过为什么不进行算术转换:

#include <stdio.h>

int main(void)
{
    int b=2147483647;
    if((b+1)==2147483648u)
    {
        printf("TEST\n");
    }
    return 0;
}

这里是

printf("%d\n",b+1); // shows -2147483648

printf("%u\n",(unsigned int)b+1); // shows 2147483648

Answer 1

表达式b+1是溢出，因为2147483647是有符号整型的最大值(假设是32位整型)。溢出有符号表达式是未定义的行为，因此您无法推断此后发生的任何事情。

如果在递增之前将 b 转换为 unsigned int，它应该可以正常工作。

引用:C11 6.5/5:

If an exceptional condition occurs during the evaluation of an expression (that is, if the result is not mathematically defined or not in the range of representable values for its type), the behavior is undefined.