V8コンパイラの防壁：なぜ「`use strict`」はJIT最適化とランタイムの運命を変えるのか
JavaScriptという言語の歴史は、そのままWebブラウザの「動的ゆえの泥臭さ」と、それをモダンな高速ランタイムへと昇華させてきたエンジニアたちの執念の歴史でもある。
その歴史のなかで、`”use strict”;`（厳格モード）というたった一行のディレクティブを、単なる「エラーを厳しく検知するための作法」程度に捉えているならば、それはV8をはじめとするモダンJSエンジンの内部構造を半分も見誤っていると言わざるを得ない。
本稿では、暗黙的なグローバル変数の禁止が、なぜV8のJITコンパイラ（IgnitionとTurboFan）の静的解析を劇的に改善し、Hidden Class（隠しクラス）によるオブジェクトの物理最適化を維持し、さらにはプロトタイプ汚染（Prototype Pollution）を起点とするRCE（リモートコード実行）の脅威に対する強力な防壁となり得るのか。その低レイヤのメカニズムを、ランタイムの深層から解き明かしていく。
—
1. 暗黙的グローバル変数がV8の静賃的解析を殺す理由
JavaScriptでは、`var`, `let`, `const` を付けずに変数を代入すると、それが非厳格モード下であれば、実行コンテキストのスコープチェーンを遡り、最終的にグローバルオブジェクト（ブラウザなら `window`、Node.jsなら `global`）のプロパティとして動的にバインドされる。
function leakyFunction() {
// 宣言キーワードなしの代入。暗黙的グローバル変数が生誕する瞬间
implicitGlobal = 42;
}
この「どこからともなく生えてくる変数」が、V8のコンパイラパイプラインにとってどれほど破壊的であるか。JITコンパイラの視点からその挙動を追ってみよう。
スコープの動的解決（Dictionary Mode）への堕落
V8のインタープリターである Ignition や、最適化コンパイラである TurboFan は、変数の読み書きが「どこで行われているか（ lexical environment ）」を静的に確定させたい。スコープが静的に確定していれば、変数の参照は単なるメモリ上のオフセット（固定アドレスからの相対位置）アクセスにコンパイルできる。
しかし、暗黙的グローバル変数が許容される世界では、あらゆるプロパティ代入が以下の可能性を孕む：
1. グローバルオブジェクト上の既存プロパティへの代入かもしれない。
2. 新しいプロパティの動的追加かもしれない。
3. もしかしたら、グローバルスコープに同名のプロパティを持つセッター（Getter/Setter）が後から定義されるかもしれない。
結果として、V8はグローバルオブジェクトを、高速なインラインキャッシュが効く固定構造（Hidden Class）として扱うことを諦め、単なるハッシュマップ（Dictionary Mode / 辞書モード）として扱わざるを得なくなる。辞書モードのオブジェクトへのアクセスは、プロパティ名をハッシュ化してポインタを辿るため、コンパイル後の機械語レベルで数倍〜数十倍のレイテンシペナルティを発生させる。
—
2. 隠しクラス（Hidden Class / Map）とインラインキャッシュの崩壊
V8のパフォーマンスを支える最大の核心は、Hidden Class（V8内部用語では `Map`） である。JavaScriptは動的言語であり、実行時にオブジェクトのプロパティを自由に追加・削除できるが、これをそのまま実装するとプロパティアクセスのたびにハッシュ探索が必要になり、C++やRustのような高速な実行は不可能になる。
そのため、V8は「同じ構造（プロパティの順序と型）を持つオブジェクトは、同じ隠しクラスを共有する」という前提のもとで、オブジェクトの物理メモリレイアウトをC++の構造体（Struct）のように最適化している。
厳格モードがない世界での「形状の不安定化」
暗黙的グローバル変数や、それに類する動的なスコープ汚染が存在すると、関数内で参照される識別子が「ローカル変数」なのか「予期せぬグローバルオブジェクトのプロパティ」なのかを、コンパイル時に確定できなくなる。
以下のコードを見てほしい。
“use strict”; // これがあるかないかで、V8の最適化パスが変わる
class Vector2D {
constructor(x, y) {
this.x = x;
this.y = y;
}
}
function calculateMagnitude(v) {
// v.x と v.y のアクセス
// vの隠しクラスが一定であれば、オフセット（例: オブジェクトの先頭から+8バイト）としてハードコードされる
return Math.sqrt(v.x v.x + v.y v.y);
}
もし `use strict` を外し、関数のスコープ外から予期せぬグローバル汚染や動的なプロパティ挿入が起きる環境を許容すると、V8の Inline Cache (IC) は「メガモルフ（Megamorphic：多態性）」状態に陥る。これは、インラインキャッシュが記憶できるキャッシュスロットの限界を超え、プロパティアクセスのたびにランタイム（C++のコード）へ処理がフォールバックする現象を指す。
結果として、JITコンパイラによるネイティブコードへの最適化（Optimized Code）は剥奪され、CPUパイプラインはストールし、ガベージコレクション（GC）のプレッシャーも増大する。
—
3. プロトタイプ汚染と厳格モードによるランタイム防壁
セキュリティの観点においても、`use strict` は強力な防壁として機能する。特にサプライチェーン攻撃の常套手段である プロトタイプ汚染（Prototype Pollution） において、厳格モードが持つセマンティクスは、脆弱性の連鎖を断ち切る重要な役割を果たす。
`this` のバインディングと安全性の確保
非厳格モードでは、関数がグローバルコンテキストから呼び出された場合、あるいは単体で実行された場合、内部の `this` は自動的にグローバルオブジェクトにデフォルトバインディングされる。
function insecureContext() {
// 非厳格モードでは、this はグローバルオブジェクトを指す
console.log(this === global); // true
}
insecureContext();
この仕様は、意図しないスコープ汚染を引き起こすだけでなく、ライブラリやフレームワークの内部で `this` を介したグローバル変数の書き換え（あるいは意図しないプロトタイプへのアクセス）を許容する温床となる。
一方、`use strict` の下では、関数コンテキストにおける `this` のデフォルトバインディングは `undefined` に強制される。
“use strict”;
function secureContext() {
// 厳格モードでは、this は undefined になる
console.log(this); // undefined
}
secureContext();
これにより、関数が予期せぬコンテキスト（特にグローバルスコープ）で実行された際に、グローバルオブジェクトのプロトタイプチェーンを誤って汚染したり、意図しないプロパティを読み書きしたりするバグや脆弱性の芽を物理的に摘み取ることができる。
—
4. イベントループとマイクロタスクキューへの影響：静的解析がもたらす予測可能性
Node.jsやブラウザの非同期ランタイムにおいて、イベントループ（Event Loop）とマイクロタスクキュー（Microtask Queue: `Promise` や `queueMicrotask`）の処理効率は、CPUキャッシュのヒット率に大きく依存する。
JITコンパイラがコードを最適化する際、「変数のライフサイクルがスコープ内で完全に閉じていること」は、逃げ切り最適化（Escape Analysis） を行う上で絶対的な前提条件となる。
1. エスケープ解析（Escape Analysis）: コンパイラが、あるオブジェクトが関数の外へ「エスケープ（漏出）」しないと判定した場合、そのオブジェクトをヒープ上にアロケートせず、CPUのレジスタ、あるいはスタックフレーム上に直接展開（Scalar Replacement）する。
2. 暗黙的グローバル変数の排除: すべての識別子が `use strict` によって厳密にスコープ管理されていれば、コンパイラはオブジェクトがどこに生存しているかを完全に追跡できる。
これにより、マイクロタスクキューに積まれた非同期処理のコールバックが実行される際、無駄なヒープ割り当てやGCトリガーが抑制され、イベントループのレイテンシ（Jank）を極限まで低減することが可能になる。
—
5. まとめ：シニアエンジニアが選ぶべき「コードの規律」
`”use strict”;` は、レガシーなJavaScriptの負債を隠すための古いおまじないではない。
- V8のJITコンパイラ に変数のライフサイクルとスコープの静的保証を与え、メガモルフを回避してピークパフォーマンスを引き出すための鍵。
- Hidden Class の崩壊を防ぎ、オブジェクトのメモリレイアウトを物理レベルで最適化するための防壁。
- プロトタイプ汚染や予期せぬ `this` バインディング による脆弱性をランタイムレベルで封じ込めるためのセキュリティレイヤー。
モダンなJavaScript / Node.js開発において、モジュールシステム（ES ModulesやCommonJSの strict モード等）により暗黙的に厳格モードが適用されるケースが増えているとはいえ、スクリプトの先頭に明示的に `”use strict”;` を置くというエンジニアリングの姿勢は、ランタイムの挙動に対する深い敬意と理解の証左にほかならない。
機械の脈動を聞き分け、V8エンジンの心臓部を最速で疾走させる――それこそが、真のフルスタック・チーフアーキテクトのコードである。