Сдвиг вправо на (32, 64, 128, 256...) даёт тоже положительное число что и было. Почему это происходит?

Question

[ivan386]

Наткнулся на такой баг или нет?

Сдвиг вправо на (32, 64, 128, 256...) даёт тоже положительное число что и было хотя должен быть 0 на сколько я понимаю.

1 >> 32 // = 1
1 >> 64 // = 1
1 >> 128 // = 1
2 >> 32 // = 2
1 >> 128 // = 1
2 >> 32 // = 2
2 >> 64 // = 2

Тут уже всё в порядке

1 >> 31 // = 0
1 >> 63 // = 0
1 >> 127 // = 0
2 >> 31 // = 0
2 >> 63 // = 0

Как и почему это происходит?

Comments

[Модератор]

ivan386 дорогой пользователь, настоятельно рекомендуем еще раз обратить самое пристальное внимание на п. 3.1 регламента работы сервиса (и, в особенности, на его последний абзац).
В противном случае, ваши вопросы будут удаляться по причине тег-спама, а систематические нарушения приведут к блокировке учетной записи.

Answer 1

[0xD34F]

Открываем спецификацию, смотрим как выполняется сдвиг. Особое внимание на пункт седьмой:

Let shiftCount be the result of masking out all but the least significant 5 bits of rnum, that is, compute rnum & 0x1F.

К размеру сдвига применяется битовая маска, обнуляющая все двоичные разряды, кроме младших пяти. Т.е., сдвиг на 32, 64, 128 и т.д. - это сдвиг на 0.

Comments

[ivan386]

И правда.
2 >> 33 // = 1

Интересно зачем так сделали?

[0xD34F]

ivan386, подозреваю, что причина в аппаратных ограничениях - так выполняет сдвиг процессор (по крайней мере, x86). То есть, реализовать сдвиг на 32 и более разрядов в принципе можно, но это будет гораздо медленнее.

[SagePtr]

ivan386, видимо, из-за того, что когда реализацию JS писали, 64-битных процессоров ещё не существовало. А так-то JS сплошь и рядом состоит из костылей, эмулирующих ошибки первого JS-интерпретатора, потому и ограничение в 32 бит для сдвига - тоже портировали судя по всему, дабы не сломать совместимость. Либо в угоду независимости от платформы - дабы и в 32-битных и в 64-битных браузерах код возвращал один и тот же результат.
Точно также, к примеру, операция | 0 (межбитовое или с нулём) приводит переменную к 32-разрядному целому числу, тупо отсекая старшие биты, если они не влазят в 32 бита.