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

Question

当size = 64时，为什么size在1（含）和64（含~((~0ULL) >> size << size)之间的~((~0ULL) >> size << size)取值为0？

Answer 1

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

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

由于某些原因（例如在x86汇编语言中），我尚不完全清楚，移位的方式与寄存器的大小成模。 我不是硬件工程师，但可能是最有效的方法。

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

Answer 2

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

编辑添加： 当左侧操作数为负值时，为什么左移操作会调用未定义行为？