C语言执行<<移位操作时为何自动填充0xf？

首先明确几个关键的C语言规则：

1. char类型的符号性 #

默认情况下，char的符号性由编译器决定：

• 如果是signed char，取值范围是**-128 ~ 127**；
• 如果是unsigned char，取值范围是0 ~ 255。

你的代码中b = 0x6c（对应ASCII字符'l'），二进制为01101100，最高位是0，无论char是有符号还是无符号，b的值都是108（正数）。

2. 赋值时的整数提升 #

当把char类型的b赋值给short类型的y时，会触发整数提升：

• 因为b是正数，符号扩展时会在高位补0，所以y的值变为0x006c（16位有符号short）。

3. 移位操作的整数提升 #

执行y = y << 12时，y（short类型）会先被提升为int类型（C语言规定：小于int的整数类型在运算时会自动提升为int）：

• 0x006c提升为32位int后是0x0000006c；
• 左移12位后得到0x00006c00；
• 将这个int值赋值回short类型的y，因为0x6c00（十进制27648）在16位有符号short的范围（-32768 ~ 32767）内，所以y最终的值是0x6c00。

为什么你看到了0xf填充？ #

如果你的输出中y出现了0xf前缀（比如0xf6c0），大概率是以下情况之一：

• 移位方向混淆：如果实际执行的是y = y >> 12，且y为负数时会符号扩展补1（即0xf），但你的y是0x006c（正数），右移12位只会补0，结果为0x0000，不符合该现象；
• char为有符号且b是负数：如果b的值是0xec（十进制-20），赋值给y后会符号扩展为0xffec，左移12位后得到0xec00（截断为short），此时用printf("%#06x", y)输出时，short会被提升为int并符号扩展为0xffffec00，输出结果会是0xffec00，出现0xf前缀；
• 未定义行为触发：如果左移操作导致有符号数溢出，属于未定义行为，但0x006c <<12得到0x6c00并未超出16位有符号short的范围，所以不会触发。

验证代码 #

你可以修改代码，明确指定char为无符号类型，再测试：

#include <stdio.h>
#include <stdlib.h>

int main()
{
    short y = 0x0000;
    unsigned char b = 0x6c; // 明确无符号char

    y = b;
    y = y << 12;
    printf("y = %#06x\n", y); // 输出应为0x6c00或0x06c00
    return 0;
}

输出结果不会出现0xf前缀。

内容的提问来源于stack exchange，提问作者Michał Jagodzinski