为何Clang Sanitizer认为无符号数左移操作是未定义行为？

你的理解没错——C++标准里无符号整数的左移操作，哪怕移位后部分位被移出，完全是定义良好的行为，不存在未定义行为。但UBSAN（Undefined Behavior Sanitizer）的报错，是因为它的默认检测规则把这种"移位后超出类型表示范围"的情况当成了需要提醒的潜在问题，哪怕标准允许这么做。

标准规则明确 #

对于无符号整数类型的左移E1 << E2：

• 只要E2的值小于该类型的位数（比如unsigned int通常是32位，那E2＜32），结果就是E1乘以2^E2后对2^N取模（N是类型的位数），简单说就是高位溢出后直接丢弃、低位保留，这是标准明确规定的合法操作。
• 你的代码里0x12345678是32位无符号数，左移12位后结果为0x5678000，完全符合规则，没有问题。

UBSAN报错的本质 #

你使用的-fsanitize=undefined,integer包含了shift-overflow子检查，这个检查的设计目的是帮开发者排查可能的逻辑错误——比如不小心移位过多导致数据丢失，哪怕标准允许这种操作。UBSAN默认会把无符号数左移后超出类型范围的情况标记为运行时错误，尽管这不是未定义行为。

解决方法 #

如果你确定这个移位操作是故意写的，不需要这个提醒，可以针对性禁用shift-overflow检查：

clang -fsanitize=undefined,integer -fno-sanitize=shift-overflow shift-undefined.cpp -lubsan -lstdc++

这样编译运行就不会再报这个错误了。

附上你的代码、编译命令和报错信息：

代码：

int main()
{
    unsigned int x = 0x12345678;
    x = x << 12;
    return 15 & x;
}

编译命令：

clang -fsanitize=undefined,integer shift-undefined.cpp -lubsan -lstdc++

报错信息：

shift-undefined.cpp:4:11: runtime error: left shift of 305419896 by 12 places cannot be represented in type 'unsigned int'

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