C语言中表达式为0时!(表达式)却为0的问题咨询（GCC12.4.0）

核心原因：有符号整数溢出的未定义行为 #

你的变量x1 = 0x80000000，在32位int环境下，这是int类型能表示的最小负数：-2147483648。

直接在printf中计算的异常情况 #

执行~x1时，按位取反后得到0x7FFFFFFF（也就是2147483647，int类型的最大值）。接下来执行~x1 + 1，这触发了有符号整数溢出——int的最大值加1后超出了int的合法取值范围，而C标准明确规定：有符号整数溢出属于未定义行为，编译器可自由处理该情况（比如通过优化生成非预期结果）。

这就导致x1 ^ (~x1 + 1)的实际计算结果并非你预期的0，后续的!运算自然也得不到1，最终输出0和0。

赋值给变量后正常的原因 #

当你把x1 ^ (~x1 + 1)赋值给int check时，包括GCC 12.4.0在内的多数编译器会对溢出结果做模2^32的截断处理，将溢出后的结果强制适配到int类型，最终得到0。此时!check的结果就是1，符合你的预期。

修复方案：使用无符号类型避免未定义行为 #

无符号整数的溢出是C标准定义明确的（按模2^N规则处理），把变量改为无符号类型后，无论直接计算还是赋值，结果都会符合预期：

unsigned int x1 = 0x80000000;
printf("%u\n\n", x1 ^ (~x1 + 1));
printf("%d\n\n", !(x1 ^ (~x1 + 1)));

内容的提问来源于stack exchange，提问作者link2332