C编译器中signed char与unsigned char比较的底层机制及代码疑问

核心机制：整数提升与寻常算术转换 #

C语言中，当char（无论有符号或无符号）参与比较、算术运算等操作时，会触发整数提升规则：

• 所有宽度小于int的整数类型（包括char、short），都会被提升为int类型（只要int能容纳原类型的所有取值，这里显然满足，因为char是8位，int至少16位）。
• 提升时，有符号char会进行符号扩展：如果原字符最高位是1（负数），提升为int时会把高位全部填充1，保证数值不变；无符号char则进行零扩展，高位填充0，数值也保持不变。

提升完成后，比较操作会在两个int类型的值之间进行，这就是你预期结果和实际结果不符的根本原因。

测试代码逐行解析 #

你的测试代码如下：

#include <stdio.h>

int main()
{
    char c = -65;
    unsigned char uc = 191, uc2 = c;
    printf("%d %d", uc == c, uc2);
}

变量初始化细节 #

• char c = -65：多数编译器默认char为signed char，-65的8位补码是10111111。
• unsigned char uc = 191：191的8位无符号二进制就是10111111。
• unsigned char uc2 = c：将signed char赋值给unsigned char时，直接按二进制位复制，10111111作为无符号值就是191，因此uc2的值为191。

比较操作uc == c的底层过程 #

1. 整数提升：
   • uc是unsigned char，提升为int后二进制为00000000 10111111，对应十进制191。
   • c是signed char，提升为int时因原最高位是1，符号扩展为11111111 10111111，对应十进制-65。
2. 值比较：实际比较的是提升后的int值191和-65，二者不相等，因此uc == c的结果为0。

最终输出 #

printf会输出0 191，与你观察到的实际结果一致。

验证预期的方法 #

如果想让两个变量按二进制位比较相等，可以强制转换为同一类型后再比较，比如：

printf("%d", (unsigned char)c == uc); // 输出1

或者：

printf("%d", c == (signed char)uc); // 输出1，因为191作为signed char等价于-65

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