c++ - 当通过移位计算零时，按位“非”零等于零

Question

为什么~((~0ULL) >> size << size)在size1 和 64 之间计算为 0 时size = 64？

score 2 · Accepted Answer

移动大于或等于该值大小的值是未定义的行为。

这可能是标准中保持移位操作足够快并且仅映射底层硬件操作的标准。

由于我不完全清楚的原因，例如即使在 x86 汇编中，移位也是以寄存器的大小为模完成的。我不是硬件工程师，但这可能是最有效的做法。

另一个不幸的限制是，按负数移位与沿相反方向按正数移位不同，而只是 UB。这有时需要在计算中添加额外的条件。

score 1 · Accepted Answer

因为您正在做的是未定义的行为。不要将 64 位整数移动 64 位。

2 回答 2