为何C语言中int与char类型的TMIN取反行为存在差异？

核心原因：整数提升与溢出规则的差异 #

1. int类型的情况分析 #

对于4字节有符号int（补码实现），其最小值TMIN为-2147483648，对应的二进制是10000000 00000000 00000000 00000000。
当执行-i时，按照补码规则是取反加1：

• 按位取反得到01111111 11111111 11111111 11111111（即2147483647）
• 加1后二进制回到10000000 00000000 00000000 00000000，也就是-2147483648
  这属于有符号整数溢出，C标准中这类溢出是未定义行为，但多数编译器（包括Clang）会按补码循环的逻辑处理，所以结果仍是TMIN自身。

2. char类型的情况分析 #

在你的Mac M1环境中，char是有符号char（1字节，补码实现），其TMIN为-128（二进制10000000）。关键差异来自整数提升规则：

• C标准规定：表达式中的char、short类型会被自动提升为int（只要int能容纳该类型的所有取值，这里显然满足）
• 所以char i = -128在执行-i时，会先被提升为int类型的-128（二进制11111111 11111111 11111111 10000000）
• 对这个int类型的-128取反得到128，这个值完全在4字节int的取值范围内，没有溢出
• 最后通过printf("%d", ...)输出，自然得到128

3. 两者行为差异的本质 #

• int类型的取反操作在自身类型范围内执行，触发了有符号溢出，结果绕回TMIN
• char类型的取反操作在提升后的int类型中执行，128未超出int的取值范围，因此得到正常的正数结果

验证：强制在char类型内取反 #

如果我们强制将取反结果截断回char类型，代码如下：

#include <stdio.h>

int main() {
    char i = -128;
    char neg_i = -i; // 先提升为int取反，再截断回char
    printf("%d\n", neg_i); // 输出-128
    return 0;
}

此时-i先得到int类型的128，截断为1字节char时，二进制为10000000（补码的-128），输出结果就和int的情况一致了。

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