C++中char、short等小类型往返移位操作行为的标准合规性问询

你观察到的行为完全符合C++标准定义，核心是两个基础语言规则的共同作用：

1. 整数提升（Integral Promotion）规则 #

C++规定，所有宽度小于int的整数类型（包括unsigned char、unsigned short）在参与算术运算（含移位运算）前，会先被提升为int类型（只要int能完整存储原类型的所有取值，32位系统下该条件对上述两个类型恒成立），运算全程在int的宽度下执行，直到最终赋值回原类型时才做截断。

以unsigned char类型、32位int为例分析c = (c << i) >> i的执行流程：

• 首先c被提升为32位int，原8位值被保留在int的低8位，高位全部补0
• 左移i位：操作在32位宽度下执行，原本应该从8位变量高位溢出的位，只是被移到了int的更高位，没有丢失
• 右移i位：因为提升后的int是正值，右移补0，移位后低8位和原c的值完全一致
• 最终赋值回unsigned char时仅取低8位，结果和原值完全相同，看起来逻辑没有生效

你观察到的编译期i为常量时，GCC直接输出原值而不生成移位指令，就是编译器根据上述规则推导出最终结果与原值一致，做的合法优化。

2. 复合赋值运算符的隐式转换规则 #

你提到的两组写法不等价的核心原因是：复合赋值运算符会在运算完成后，自动把结果转换回左操作数的类型，过程中会发生截断。
分析c <<= i; c >>= i;的执行流程：

• 执行c <<= i时：c先提升为int左移i位，随后结果会被隐式转换回unsigned char，高于8位的所有位会被直接截断，原本要清零的高位已经被丢弃
• 执行c >>= i时：截断后的值再做右移，最终结果的高位就是0，符合预期的清零效果

移位操作的定义性说明 #

对于无符号类型的移位操作，只要移位位数小于提升后操作数的位宽，行为就是明确定义的。只有当移位位数等于或大于提升后操作数的位宽时，才属于未定义行为。

类似的语义等价但执行结果不同的示例 #

这类问题通常都和小整数类型的中间运算提升有关，举一个乘法的常见例子：

unsigned char a = 200, b = 2;
// 写法1
unsigned char res1 = a * b / 2; // 结果为200：200*2=400在int上计算，除以2得200
// 写法2
unsigned char res2 = a;
res2 *= b; res2 /= 2; // 结果为72：200*2=400截断为unsigned char得144，除以2得72

两组写法数学逻辑完全等价，但因为中间截断的差异，最终结果完全不同。

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