C# bit shift : is this behavior in the spec, 是一个错误，还是偶然的？

Question

我正在使用位移运算符(参见我的问题 Bit Array Equality)，一位 SO 用户指出了我计算移位操作数时的错误——我计算的范围是 [1,32] 而不是 [0 ,31] 对于一个整数。 (为 SO 社区欢呼!)

在修复问题时，我惊讶地发现了以下行为:

-1 << 32 == -1

事实上，这似乎是 n << s被编译(或由 CLR 解释——我没有检查 IL)为 n << s % bs(n)其中 bs(n) = n 的大小，以位为单位。

我本以为:

-1 << 32 == 0

编译器似乎意识到您的移动超出了目标的大小并纠正了您的错误。

这纯粹是一个学术问题，但有谁知道这是否在规范中定义(我在 7.8 Shift operators 找不到任何内容)，只是一个未定义行为的偶然事实，或者是否存在这可能产生的情况错误？

Answer 1

我相信规范的相关部分在这里:

For the predefined operators, the number of bits to shift is computed as follows:

• When the type of x is int or uint, the shift count is given by the low-order five bits of count. In other words, the shift count is computed from count & 0x1F.

• When the type of x is long or ulong, the shift count is given by the low-order six bits of count. In other words, the shift count is computed from count & 0x3F.

如果生成的移位计数为零，则移位运算符简单地返回值的 x。

值32是0x20 .表达式 0x20 & 0x1F评估为 0 .因此，移位计数为零，不进行移位；表达式 -1 << 32 (或任何 x << 32 )只返回原始值。