为什么右移-1在PHP中总是给出-1？

Question

我试图找出为什么如果我移动负整数-1我总是得到-1,例如:

echo -1 >> 64; // -1
echo -1 >> 5; // -1
echo -1 >> 43; // -1
echo -1 >> 1; // -1

无论右移的第二个操作数是什么,-1都保持-1 ...我明白当你执行右移时你实际上是这样做的:

x >> y = x / 2^y

但是在x为-1的情况下,如果是,我这样做:

-1 >> 3 = -1 / 2^3

这个值不应该是-1/8 = -0.125吗？

感谢您的关注.

Answer 1

按位移位运算符不会分裂.他们做他们应该做的事 - 转移位.特别是,右移操作符执行以下操作:

• 对于从右边开始的每个位,将其值设置为左侧的值
• 对于最左边的位,左边没有任何内容,保持其当前值

例如,如果你的号码是

1011...101

右移给你

11011...10

因此,最右边的位(LSB)丢失,最左边的位(MSB)重复.这称为"符号传播",因为MSB用于区分正(MSB = 0)和负(MSB = 1)数.

负数存储为"二进制补码",即在32位系统-x上存储为2^32-x.所以,-1是10...00 (32 zeroes) - 1== 1...1 (32 ones).如果按照上面的步骤移动32个,那么你将再次获得32个,-1 >> whatever即将永远-1.

右移和除以2之间的差异在于,移位给出了奇数和偶数的相同结果.由于最右边的位丢失,当您移位一个奇数(LSB = 1)时,结果与移位下一个较低的偶数(相同的位组合,但LSB = 0)相同.因此,当你转移时,你得到了一半,因为股息被迫是均匀的.例如,

10 ₁₀ = 1010 ₂,10/2 = 5.0和10 >> 1 == 5 ₁₀ == 101 ₂

11 ₁₀ = 1011 ₂,11/2 = 5.5,但11 >> 1 == 5 ₁₀ == 101 ₂

如果你更愿意考虑x >> 1除法,它首先将x"舍入"到一个偶数(x - abs(x) % 2),然后将该数除以2.

为此,x = -1给你(-1 - abs(-1) % 2)/2 == (-1 - 1)/2 = -2/2 = -1.