为何仅部分整数类型在按位取反后右移会补1而非补0？

这种行为完全符合C++标准，并非未定义行为，核心原因是**整数提升（Integer Promotion）**的规则约束。

整数提升的核心规则 #

C++标准规定：在表达式中使用小整数类型（如uint8_t、unsigned char、unsigned short等）时，会触发隐式整数提升：

• 如果int类型能容纳该小类型的所有可能值，则将其转换为int；
• 否则转换为unsigned int。

对于8位无符号类型（如uint8_t），其最大值255完全在int的取值范围内，因此会被提升为int。

两种测试场景的执行差异 #

场景1：T value1 = (~T(0)) >> 2; #

执行步骤拆解：

1. T(0)是uint8_t类型的0，作为~的操作数，先被提升为int类型的0；
2. ~作用于int类型的0，得到int类型的-1（二进制全1，32位环境下为0xFFFFFFFF）；
3. 对int类型的-1执行>>2：带符号整数右移是算术右移，补符号位（1），结果仍为int类型的-1；
4. 将int类型的-1赋值给uint8_t的value1：无符号类型转换截断高位，保留低8位，最终得到0xFF。

场景2：T ones = ~T(0); T value2 = ones >> 2; #

执行步骤拆解：

1. 同场景1，~T(0)最终得到int类型的-1，赋值给uint8_t的ones时，截断为0xFF；
2. ones作为>>的操作数，再次被提升为int类型的255（二进制0x000000FF）；
3. 对int类型的255执行>>2：正数右移是逻辑右移补0，得到0x0000003F；
4. 赋值给uint8_t的value2后，截断得到0x3F。

标准条款依据 #

• 整数提升：C++标准[int.prom]章节明确了小整数类型的提升规则，确保表达式操作数至少为int或unsigned int级别。
• 按位取反运算符：[expr.unary.op]规定，~的操作数会先进行通常算术转换（包含整数提升），结果类型与提升后的操作数一致。
• 移位运算符：[expr.shift]指出，带符号整数右移为算术右移（补符号位），无符号整数右移为逻辑右移（补0）；移位操作的操作数同样会先执行整数提升。

测试结果的一致性验证 #

从输出可以看到：

• 对于unsigned int等与int同尺寸或更大的无符号类型，不会触发向int的提升，~T(0)直接是无符号全1值，右移时执行逻辑右移，得到预期的部分全1结果；
• 对于int8_t、char等有符号小类型，~T(0)提升为int的-1，右移后仍为-1，赋值回原类型后得到全1，与测试结果完全匹配。

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