为何INT_MAX加1返回INT_MIN？该现象是否与补码有关？

这个现象完全和**补码（2's complement）**的编码规则直接相关，下面具体拆解：

1. 先明确数值范围 #

对于常见的32位有符号int类型：

• INT_MAX的数值是2147483647，对应二进制为0111 1111 1111 1111 1111 1111 1111 1111（最高位是符号位0，表示正数）
• INT_MIN的数值是-2147483648，对应二进制为1000 0000 0000 0000 0000 0000 0000 0000（最高位是符号位1，表示负数）

2. 补码的加1操作 #

当给INT_MAX加1时，二进制会发生连续进位：
原本的0111...1111加1后，所有低位的1都会被进位成0，最终最高位的0被翻转为1，得到1000...0000。

根据补码规则，最高位为1的二进制数，对应的十进制数值是-2^(n-1)（n是总位数，这里n=32，即-2^31 = -2147483648），正好是INT_MIN。

3. C++中的溢出行为说明 #

虽然C++标准将有符号整数溢出定义为「未定义行为」，但几乎所有主流编译器（如GCC、Clang、MSVC）都会按照补码的模运算规则处理——溢出后数值会绕回到类型的取值范围起点，这就是实际运行中INT_MAX + 1得到INT_MIN的原因。

4. 数值计算验证 #

32位int的取值范围是-2^31到2^31 - 1，INT_MAX + 1 = 2147483647 + 1 = 2147483648，这个数超出了int的上限。按照模2^32计算：
2147483648 % 2^32 = 2147483648
而在补码体系中，这个值对应的就是-2^31，也就是-2147483648。

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