C++中位移操作何时引发未定义行为？版本与整数类型影响探讨

一、触发未定义行为的场景 #

以下场景中，C++位移操作会直接引发未定义行为（编译器可任意处理，包括崩溃、输出错误结果等）：

• 右操作数为负数：无论左操作数是何种整数类型，只要位移位数是负数，比如int a = 5; a << -2;，属于未定义行为。
• 右操作数大于等于左操作数的类型位数：比如对32位的int变量位移32位或更多，uint32_t b = 10; b >> 32;，这类操作完全没有标准可循。这里的“类型位数”指sizeof(类型)*CHAR_BIT，即该类型存储的总二进制位数。
• 有符号整数左移导致溢出：当有符号整数左移后，结果超出该类型的可表示范围时，比如int c = INT_MAX; c << 1;，属于未定义行为。而无符号整数的左移溢出是定义明确的，结果为模2^n（n为类型位数）的余数。

二、不同C++版本的差异 #

核心的未定义行为场景在各C++版本中基本一致，但部分细节有微调：

• C98/03与C11及之后版本：早期版本对位移规则的描述相对模糊，但负位移数、位移数≥类型位数、有符号左移溢出这三类未定义场景，在所有版本中都被明确列为未定义行为。C++11之后对无符号整数的位移行为做了更清晰的界定，明确只要右操作数合法（非负且小于类型位数），位移结果就是确定的。
• C++20及后续：并未修改位移操作的未定义行为规则，只是新增了std::shift_left、std::shift_right等标准库函数，但这些函数依然遵循语言本身的规则，比如对有符号整数左移溢出仍会触发未定义行为。

三、不同整数类型的差异 #

位移操作的行为差异主要体现在有符号和无符号整数之间：

• 无符号整数：仅当右操作数为负数或≥类型位数时，才会触发未定义行为。其他所有位移操作（包括左移溢出）都是定义良好的，结果符合模2^n的规则。
• 有符号整数：除了上述两类未定义场景外，左移溢出也是未定义行为。而有符号负数的右移属于实现定义行为（并非未定义）——不同编译器可能选择算术右移（补符号位）或逻辑右移（补0），但不会触发未定义行为。
• 字符类型（char、signed char、unsigned char）：char的符号性由编译器决定，若为有符号则遵循有符号整数规则，无符号则遵循无符号规则。需要注意的是，字符类型在位移时会被自动提升为int，所以实际位移的是提升后的int值。

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