C语言带符号变量转大类型的编译算法及相关输出疑问

一、带符号变量转更大类型的核心规则 #

C语言标准规定，带符号整数类型转换为更大的带符号整数类型时，会执行符号扩展（Sign Extension）：用原变量的符号位（最高位）填充新类型的高位空间。如果原变量是无符号类型，则执行零扩展（Zero Extension），用0填充高位。

二、代码预期输出分析 #

问题1代码 #

signed char a = -5;
printf("%x \n", (signed short) a); 
printf("%x \n", (unsigned short) a);

假设系统中signed char占1字节，short占2字节：

• -5的二进制补码是11111011（1字节）
• 转换为signed short时，符号扩展为11111111 11111011，十六进制是fffb；由于printf的%x会触发默认参数提升，signed short会被提升为int（4字节），符号扩展后补码为fffffffb，因此输出fffffffb
• 转换为unsigned short时，先对a执行符号扩展得到signed short的fffb，再转换为无符号类型，值为65531（十六进制fffb）；提升为int时执行零扩展，补码为0000fffb，因此输出fffb

三、符号扩展的触发规则 #

• 触发条件：当把一个带符号整数类型转换为宽度更大的带符号整数类型时，必然触发符号扩展；如果是带符号类型转更大的无符号类型，会先执行符号扩展到对应宽度的带符号类型，再转换为无符号类型。
• 填充规则：
  • 符号扩展：用原变量的符号位（最高位）填充新类型的所有高位。比如signed char-5（符号位为1）转signed short，高位全填1。
  • 零扩展：无符号类型转更大类型时，高位全填0。

四、为何printf("%x", (signed char)b)输出4字节？ #

这是因为C语言的默认参数提升规则：
在调用可变参数函数（比如printf）时，所有小于int的整数类型（包括signed char、unsigned char、short等）都会被自动提升为int类型。

具体到你的代码：
signed char b = -5，当你用(signed char)b作为printf的参数时，它会先被提升为int类型：-5的int补码是fffffffb（4字节），所以%x会输出这个4字节的十六进制值，而非1字节的fb。

五、测试代码输出逐行解析 #

测试代码 #

int main()
{
    unsigned char a = (unsigned char)5;
    signed char b = (signed char)-5;
    
    unsigned short c;
    signed short d;
    
    c = (unsigned short)b;
    d = (signed short)b;
    
    printf("%x ||| %x ||| %x ||| %x\n", (unsigned char)a, (signed char)b, c, d);
    printf("%d ||| %d ||| %d ||| %d\n", a, b, c, d);
    printf("%d ||| %d ||| %d ||| %d\n", a, b, (signed char)c, (signed char)d);

    return 0;
}

输出解析 #

1. 第一行输出：5 ||| fffffffb ||| fffb ||| fffffffb

   • (unsigned char)a：值为5，提升为int后是0x5，输出5
   • (signed char)b：值为-5，提升为int后补码是0xfffffffb，输出fffffffb
   • c：unsigned short类型，值是0xfffb（65531），提升为int后是0x0000fffb，输出fffb
   • d：signed short类型，值为-5，提升为int后补码是0xfffffffb，输出fffffffb

2. 第二行输出：5 ||| -5 ||| 65531 ||| -5

   • a：无符号字符5，输出十进制值5
   • b：有符号字符-5，输出十进制值-5
   • c：无符号短整型65531，输出十进制值65531
   • d：有符号短整型-5，输出十进制值-5

3. 第三行输出：5 ||| -5 ||| -5 ||| -5

   • (signed char)c：c是0xfffb，截断为signed char后取低8位0xfb，对应十进制-5
   • (signed char)d：d是-5，截断为signed char后还是-5

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