Findbugs警告：整数移位32-是什么意思？

Question

我正在使用Findbugs扫描第三方源代码（为谨慎起见，在集成到我的代码中），然后发现以下警告：

long a = b << 32 | c

错误：整数移位32模式ID：ICAST_BAD_SHIFT_AMOUNT，类型：BSHIFT，类别：CORRECTNESS

该代码将整数移位超出范围0..31的常数。这样的效果是使用整数值的低5位来决定要移位多少。这可能是不希望的，并且至少令人困惑。

谁能解释以上内容的确切含义？

谢谢！（我是Java编程的新手）

Answer 1

根据Java语言规范：

如果左侧操作数的提升类型为int，则仅将右侧操作数的最低5位用作移位距离。就像右侧操作数受到掩码值0x1f的按位逻辑AND运算符＆（§15.22.1）一样。因此，实际使用的移动距离始终在0到31（含）范围内。

因此，如果b是一个int，则表达式等于

long a = b | c;

我非常怀疑这是什么目的。应该是

long a = ((long) b << 32) | c;

（如果b已经很长，则代码是正确的，并且FindBugs将该错误误认为是错误）。