Почему значение typeof null изменяется внутри цикла?
Выполнение этого фрагмента в консоли Chrome:
function foo() {
return typeof null === 'undefined';
}
for(var i = 0; i < 1000; i++) console.log(foo());должен печатать 1000 разfalse, но на некоторых машинах будет печататьfalse для ряда итераций, тоtrue что касается прочего.
Почему это происходит? Это просто ошибка?
Ответы на вопрос(4)
Проблема 604033 - JIT-компилятор не сохраняет поведение метода
Так что да, это просто ошибка!
V8 Движок JavaScript (Wikiбаг.
Этот движок используется в Chromium, Maxthron, ОС Android, Node.js и т. Д.
Относительно простоописание ошибки вы можете найти в этомReddit тема:
Современные механизмы JavaScript компилируют JS-код в оптимизированный машинный код при его выполнении (компиляция Just In Time), чтобы он работал быстрее. Тем не менее, шаг оптимизации имеет некоторые начальные затраты производительности в обмен на долгосрочное ускорение, поэтому механизм динамически решает, стоит ли метод того или иного метода, в зависимости от того, как часто он используется.
В этом случае, похоже, ошибка только в оптимизированном пути, в то время как неоптимизированный путь работает нормально. Таким образом, сначала метод работает как задумано, но если он вызывается в цикле достаточно часто, в какой-то момент движок решит оптимизировать его и заменит его ошибочной версией.
Эта ошибка, кажется, была исправлена в самом V8 (совершить), также как и в Chromium (сообщение об ошибке) и NodeJS (совершить).
почему он меняется, ошибка заключается в подпрограмме оптимизации JIT движка V8 JS, используемого Chrome. Сначала код выполняется точно так, как написано, но чем больше вы его запускаете, тем больше возможностей для оптимизации перевесить затраты на анализ.
В этом случае после повторного выполнения в цикле JIT-компилятор анализирует функцию и заменяет ее оптимизированной версией. К сожалению, анализ делает неверное предположение, и оптимизированная версия на самом деле не дает правильного результата.
В частности,Пользователь Reddit RainHappens предлагает что это ошибка втип распространения:
Он также выполняет распространение некоторых типов (например, в каких типах может быть переменная и т. Д.). Существует специальный «необнаружимый» тип для случая, когда переменная не определена или равна нулю. В этом случае оптимизатор говорит: «ноль не обнаруживается», поэтому его можно заменить строкой «неопределенная» для сравнения.
Это одна из трудных проблем с оптимизацией кода: как гарантировать, что код, перестроенный для повышения производительности, будет иметь тот же эффект, что и оригинал.
false.for (var i = 0; i < 1000; i++) console.log(typeof null === "undefined");результаты в 1000 разfalse.var results = []; for(var i = 0; i < 1000; i++) results.push(foo()); console.log(results);?false, как есть, числоtrueS колеблется в хром.i < 264у меня в Chrome естьVersion 51.0.2704.103 mconsole.logчтобы распечатать результат в консоли, см.jsfiddle.net/q6s4w5g9.