c - UBSAN 报告 : -875 << 7 as undefined behaviour

Question

简单代码片段:

#define FOO 7
int bar = -875;
bar <<= FOO;

UBSAN 将此事报告为 UB。

我的理解是-875 << 7只是 -(875<<7)并且没有溢出。

那么，这里真的有问题吗？

Answer 1

你的理解是错误的。

首先你使用了bar <<= FOO句法。这明确地改变了 bar和bar是负数。负值左移会在 C 中产生未定义的行为。这是不可能的 bar <<= FOO可以解释为-(875<<7) 。

其次，关于-875 << 7就运算符优先级而言:一元运算符始终比二元运算符具有更高的优先级，这意味着 -875 << 7是 (-875) << 7而不是-(875 << 7) 。同样，负值的左移会在 C 中产生未定义的行为。