C++位移运算符结果类型疑问：为何uint8_t位移结果为有符号？

位移运算符的结果类型由整数提升规则和左操作数的类型共同决定，核心逻辑如下：

关键规则：整数提升与移位结果类型 #

C++中，移位运算符的两个操作数会先执行整数提升，最终结果的类型是提升后的左操作数的类型。

整数提升的具体规则：

• 对于尺寸小于int的整数类型（比如signed char、unsigned char、short等）：
  • 如果该类型的所有取值都能被int容纳，就提升为int（有符号类型）；
  • 否则提升为unsigned int。
• 对于尺寸大于等于int的整数类型，提升后保持原类型不变。

结合代码示例逐一解释 #

在常见的32位/64位系统中，int是32位，对应你的代码分析：

1. (signed char)1 << 1：
   signed char尺寸小于int，且所有值都能被int容纳，因此被提升为int，结果类型为int32_t。

2. (signed char)1 << 1u：
   左操作数(signed char)1提升为int，右操作数1u是unsigned int，但移位结果类型由提升后的左操作数决定，所以结果还是int32_t。

3. (unsigned char)1 << 1：
   unsigned char的取值范围是0-255，完全在int的容纳范围内，因此提升为int，结果类型为int32_t。

4. (unsigned char)1 << 1u：
   左操作数提升为int，尽管右操作数是无符号类型，结果类型仍由提升后的左操作数（int）决定，所以是int32_t。

5. 1u << 1u：
   1u是uint32_t，其取值范围（0到2^{32-1）超过了32位`int`的最大值（2}31-1），因此不会被提升为int，保持uint32_t类型，结果自然也是uint32_t。

总结 #

你困惑的operator<<(uint8_t, uint32_t)结果为有符号类型，本质是因为uint8_t（即unsigned char）尺寸小于int且取值范围被int完全覆盖，所以被提升为int，最终结果类型就是int（即int32_t）。而uint32_t因为范围超过int，提升后保持原无符号类型，所以移位结果也是无符号的。

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