Что такое стиль asm «x | 0», который используют некоторые javascript-программисты?

Question

Я видел некоторые производительности критически яваскрипт кода, как один на this project, что делает широкое использование побитового ИЛИ операции с 0. Ex:

GameBoyAdvanceCPU.prototype.write8 = function (address, data) { 
address = address | 0; 
data = data | 0; 
this.memory.memoryWrite8(address | 0, data | 0); 

Я знаю о прецеденте номеров напольных покрытий с «| 0 », но здесь это не так, поскольку они всегда являются int. Это немного похоже на asm.js, так это сказать движку js, что мы работаем с целыми числами, что позволяет некоторые оптимизации? Если да, то какие браузеры сделают эти оптимизации?

Любые указания на то, как это работает, будут рассмотрены.

Answer 1

| Оператор - bitwise OR. Он используется для поэтапной операции ИЛИ на двух целых числах.

Использование здесь ярлыка очень похоже на логическое ИЛИ || оператору предоставлять значение по умолчанию, за исключением того, что результат является целым числом только (в отличие от строки ... и т.д.)

address = address | 0; 

означает «если адрес является числом, давайте использовать его, в противном случае, установите его 0" .

Answer 2

Что это на самом деле можно увидеть в этом fiddle

Это зондирование переменного против целого типа в этом случае и как «пол» или установите его в 0, если не является целым числом.

Таким образом, существует колоссальный отличий от a = a || 0, который оставил бы значение 3.2 нетронутым.

Answer 3

Реферирование the Ecmascript 5 spec: 11.10 Binary Bitwise Operators, а именно

производства A : A @ B, где @ является одним из битовых операторов в на производство выше (&; ^; |), вычисляется по следующей схеме:

Пусть lref быть результатом оценки A.
lval be GetValue(lref).
rref be
Позволяет rval быть GetValue(rref).
lnum be ToInt32(lval).
rnum be ToInt32(rval).
Возврат результата применения побитового оператора @ к lnum и rnum. Результатом является подписанное 32-битное целое число.

И заметив, что ToInt32() is defined as

Пусть number быть результатом вызова ToNumber входного аргумента.
Если номер NaN, +0, −0, +∞, или −∞, возврат +0.
posInt be sign(number) * floor(abs(number)).
int32bit be posInt modulo 2^32; то есть конечное целое значение k типа Number с положительным знаком и менее 2^32 по величине, так что математическая разность posInt и k математически является целым числом, кратным 2^32.
Если int32bit больше или равно 2^31, возврат int32bit − 2^32, в противном случае возврат int32bit.

Затем логически следует (что вы можете подтвердить в своей собственной консоли), что, например

((Math.pow(2, 32)) + 2) | 0 === 2 
(Math.pow(2, 31)) | 0 === -2147483648 === -(Math.pow(2, 31)) 

И так далее.

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

По сути, это очень рентабельный способ превратить число в 32-разрядное целое, поскольку 1) он полагается на встроенный браузер ToInt32(); и 2) ToInt32(0) замыкание на замыкание до 0 (см. выше спецификацию) и, следовательно, добавляет практически никаких дополнительных накладных расходов.

Answer 4

Согласно JavaScript Performance for Madmen

Обертывание целочисленных арифметических выражений в () | 0 позволяет во время выполнения, чтобы быть уверенным, что вы делаете целочисленной арифметики вместо арифметику с плавающей точкой. Это позволяет избегать проверки переполнения и более быстрого кода во многих случаях.

и в соответствии со страницей это верно для «самых» Javascript runtimes, но не говорит, что.

В качестве второго источника, Writing Fast JavaScript For Games & Interactive Applications состояния

Рассказывать двигатель JavaScript мы хотим хранить целые значения [...] мы могли бы использовать побитовое или оператор:

и третий источник из Microsoft's Writing efficient JavaScript page:

[...] явно указать время выполнения JavaScript, чтобы использовать целочисленную арифметику [...] использовать побитовое или оператора

Кроме того, в комментариях ни одна из приведенных выше страниц не упоминает asm.js, поэтому я подозреваю, что такие оптимизации применяются в коде, явно не помеченном как asm/в браузерах, которые явно не распознают его.