Java 语言规范中的 Bitshift 运算符说明

Question

在 JLS8 §JLS-15.19 中指定

如果左侧操作数的提升类型是 int，则只有右侧操作数的五个最低位用作移位距离。 就好像右手操作数受制于掩码值为 0x1f (0b11111) 的按位逻辑 AND 运算符 &（第 15.22.1 节）。 因此实际使用的移动距离总是在 0 到 31 的范围内，包括 0 到 31。

我不清楚这个加粗的说法。 非常感谢一个例子。

Answer 1

它是 Java 利用来自 C 和 C++ 世界的编译器优化。 对于 32 位int ，使用大于或等于 31 的位移参数会将结果值设置为 0 以获取正int 。 （对于否定参数，C 和 C++ 中的移位行为是实现定义的）。

而在 C 和 C++ 中，实际上对 32 位int使用大于 31 的值实际上是未定义的行为，而 Java bods 实际上已经具体定义了行为，并简单地使用参数取模 32（这是大多数C 和 C++ 编译器实际上是这样做的）。 您引用的 JLS 代码段中明确提到了此方法。

提取一个数的最低五位相当于对该数取模 32。