C/C++无符字符右移异常填1问题及指定位使能值生成方法

问题现象 #

在8位无符号字符unsigned char上做基础位运算时，最初几步的结果完全符合预期：

• (unsigned char)-1 二进制形式为 1111 1111，对应十进制255
• (unsigned char)-1 >> 1 二进制形式为 0111 1111，右移时高位补0
• ~((unsigned char)-1 >> 1) 二进制形式为 1000 0000

但当尝试通过该表达式生成左数第2位为1的二进制值0010 0000时，执行~((unsigned char)-1 >> 1) >> 2，实际输出为1110 0000，高位被意外填充为1。

期望的位对应关系 #

n   unsigned char 二进制
0   1000 0000
1   0100 0000
2   0010 0000
3   0001 0000
... 
7   0000 0001

实际得到的错误结果 #

n   unsigned char 二进制
0   1000 0000
1   1100 0000
2   1110 0000
3   1111 0000
... 
7   1111 1111

该错位问题在uint8_t、uint16_t类型上稳定复现，但在uint32_t及更大宽度的无符号类型上不会出现。

问题核心原因 #

触发异常的根源是C语言标准规定的整数提升（integer promotion）规则：
当操作数的类型整数转换秩低于int和unsigned int时，编译器会在执行运算前，先将该操作数的值转换为int类型（只要int的宽度能覆盖原类型的所有取值范围），运算全程在提升后的int类型宽度下完成，不会保留原窄类型的位宽限制。

以32位宽度int的系统为例，一步步推演出错的表达式~((unsigned char)-1 >> 1) >> n的运算过程：

1. 计算(unsigned char)-1：得到8位无符号值0xFF，后续运算时该值会被整数提升为32位int，即0x000000FF
2. 执行右移1位：对32位正整数0x000000FF右移，高位补0，得到0x0000007F
3. 执行按位取反~：对32位int值0x0000007F逐位取反，得到32位值0xFFFFFF80——由于原32位值的高24位全为0，取反后高24位全部变为1，该值在int语义下是负数
4. 执行右移n位：对32位的负数int做右移时，按照C语言对有符号整数的右移规则，高位会补符号位（也就是1），最终得到的结果高n位全部是1
5. 当结果被赋值回unsigned char类型时，只会截断低8位的内容，那些在右移时被补在高位的1，就会被保留在最终的8位结果中，造成输出异常。

至于uint32_t类型上不会出问题，是因为它的宽度和系统int/unsigned int一致，整数提升不会将其转换为更宽的有符号类型；且无符号类型的右移规则是逻辑右移，高位固定补0，不会出现符号位填充的问题。

正确实现方法 #

最直观、无副作用的实现方式是直接通过移位构造目标位值：
目标是左数第n位为1，对应8位无符号数中，位索引为7 - n的位置（左数第0位是8位的最高位，对应索引7；左数第7位是8位的最低位，对应索引0），代码写法为：

// n的取值范围为0~7
unsigned char val = 1U << (7 - n);

这里用1U显式指定无符号常量，可避免整数提升带来的符号问题，移位过程严格遵循无符号数的逻辑右移规则，生成的结果完全匹配之前列的期望对应表。

如果希望沿用之前的取反移位思路，也可以在运算完成后，通过按位与的方式截断保留低8位的内容，清除高位的污染：

unsigned char val = ((~((unsigned char)-1 >> 1)) >> n) & 0xFF;

不过这种方式需要显式指定位宽掩码，不如直接移位构造的写法简洁。

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