typeof nullの値がループ内で変化するのはなぜですか？

Chromeコンソールでこのスニペットを実行する：

function foo() {
    return typeof null === 'undefined';
}
for(var i = 0; i < 1000; i++) console.log(foo());

1000回印刷する必要がありますfalseが、一部のマシンでは、いくつかfalseの反復で印刷され、その後true残りの印刷が繰り返されます。

なぜこうなった？それは単なるバグですか？

このために開いているクロムのバグがあります：

問題604033-JITコンパイラーがメソッドの動作を保持しない

だからはいそれは単なるバグです！

これは実際にはV8 JavaScriptエンジン（Wiki）のバグです。

このエンジンは、Chromium、Maxthron、Android OS、Node.jsなどで使用されています。

このRedditトピックで見つけることができる比較的単純なバグの説明：

最新のJavaScriptエンジンは、実行時にJSコ​​ードを最適化されたマシンコードにコンパイル（ジャストインタイムコンパイル）して、より高速に実行します。ただし、最適化ステップには、長期的なスピードアップと引き換えに初期パフォーマンスコストがいくらかあるため、エンジンは、メソッドの使用頻度に応じて、メソッドがそれに値するかどうかを動的に決定します。

この場合、最適化されたパスにのみバグがあるように見えますが、最適化されていないパスは正常に機能します。したがって、最初はメソッドは意図したとおりに機能しますが、ループ内で頻繁に呼び出されると、エンジンはある時点でそれを最適化してバグのあるバージョンに置き換えます。

このバグは、V8自体（commit）、およびChromium（バグレポート）およびNodeJS（commit）で修正されたようです。

なぜ変更されるかという直接的な質問に答えるために、このバグはChromeで使用されるV8 JSエンジンの「JIT」最適化ルーチンにあります。最初は、コードは記述されたとおりに実行されますが、実行すればするほど、最適化の利点が分析コストを上回る可能性が高まります。

この場合、ループで繰り返し実行された後、JITコンパイラは関数を分析し、最適化されたバージョンに置き換えます。残念ながら、分析では誤った仮定が行われ、最適化されたバージョンでは実際には正しい結果が生成されません。

具体的には、RedditユーザーのRainHappensは、型の伝播のエラーであると示唆しています。

また、型の伝播も行います（変数などの型の場合と同様）。変数が未定義またはnullの場合の特別な「検出不可能な」タイプがあります。この場合、オプティマイザは「nullは検出不可能」になるため、比較のために「未定義」の文字列に置き換えることができます。

これは、コードを最適化する際の難しい問題の1つです。パフォーマンスのために再配置されたコードが元のコードと同じ効果を持つことを保証する方法。

この問題は2か月前に修正され、まもなくChromeに導入されます（すでにCanaryにあります）。

V8の問題1912553002-クランクシャフトの「typeof null」の正規化を修正

Chromiumの問題604033-JITコンパイラーがメソッドの動作を保持しない