厳格モード（`”use strict”;`）とV8の深淵：暗黙的グローバル変数を断つ理由とJITコンパイル・セキュリティの極限最適化
JavaScriptのコアランタイム、特にV8エンジンにおいて、変数の宣言なし代入（暗黙的グローバル変数）が引き起こす弊害は、単なる「バグを生みやすいコードスタイル」というレベルの話ではない。それは、モダンJSエンジンが数十年かけて築き上げてきたJIT（Just-In-Time）コンパイルの最適化パイプラインを根底から破壊し、ヒープメモリ上のオブジェクト構造をカオスに陥れ、さらにはサプライチェーン攻撃の踏み台を提供する致命的なセキュリティホールである。
今回は、TC39の仕様策定とV8のソースコードの裏側を知る者として、`”use strict”;` がなぜランタイムの防壁として不可欠なのか、V8の内部挙動、隠しクラス（Hidden Class）、そしてプロトタイプ汚染に至るまでの全レイヤを解体して見せる。
—
1. V8エンジンの視点：なぜ「暗黙的グローバル」はJITコンパイルの夢を壊すのか
JavaScriptがいかに動的な言語であれ、V8のようなモダンエンジンは、実行時にコードをネイティブマシン語へコンパイルする過程で「予測可能な静的構造」を必死に求めている。その鍵を握るのが Hidden Class（V8内部での呼び名は `Map`） と Inline Caching (IC) だ。
隠しクラス（Hidden Class / Map）とインラインキャッシュの崩壊
通常、オブジェクトのプロパティアクセスが高速なのは、V8が「このオブジェクトはこの順序でこのプロパティを持っている」というメタ情報（Map）を付与し、メモリ上のオフセットを直接指し示すからだ。
しかし、関数内で `undeclaredVar = 42;` のような暗黙的グローバル変数への代入が発生した瞬間、何が起きるか？
function calculateSomething(obj) {
// 意図せぬタイポにより、ローカル変数ではなくグローバルプロパティを作成してしまう
totle = obj.a + obj.b; // ‘total’ と書きたかったとする
return totle;
}
このコードが実行されると、V8は以下の極めて非効率な処理を強いられる。
1. グローバルオブジェクト（Node.jsなら `global`、ブラウザなら `window`）への動的プロパティ追加
グローバルオブジェクトは、アプリケーションのライフサイクル全体を通じて常にサイズやプロパティが変化しうる「辞書モード（Dictionary Mode / Hash Table）」に近い状態で管理されやすい。そこに動的にプロパティが追加されると、グローバルオブジェクトの Map は破壊され、プロパティルックアップはO(1)のオフセットアクセスから、ハッシュテーブルのキー検索（遅い）へとフォールバックする。
2. IC（Inline Cache）のメガモルフィック（Megamorphic）化
V8のICは、プロパティアクセスが「どのオブジェクトの形状（Map）に対して行われているか」をキャッシュする。暗黙的グローバル変数が絡むと、実行コンテキストごとにグローバルオブジェクトの状態が変動するため、ICは最適化を諦め、あらゆる型に対応しなければならない「メガモルフィック状態」に陥る。結果として、JITコンパイルされたコードは最適化解除（Deoptimization）され、インタプリタ（Ignition）による実行へと逆戻りする。
—
2. 厳格モード（`”use strict”;`）によるコンパイル時・パース時エラーへのシフト
`”use strict”;` を宣言する最大のメリットは、ランタイムのパフォーマンス低下を未然に防ぐこと、そしてエラーの検出フェーズを「実行時」から「パース時（構文解析時）」へとシフトさせることにある。
“use strict”;
function secureContext() {
// パースエラー（ReferenceError）として即座に弾かれる
// 実行すらさせないことで、JITの汚染を防ぐ
payload = { malicious: true };
}
V8のパーサ（Parser / Pre-parser）は、`”use strict”` ディレクティブを検知すると、AST（抽象構文木の構築）の段階で変数の宣言漏れを厳密にチェックする。これにより、未宣言の識別子への代入はすべて `ReferenceError` として即座にスローされる。
ランタイムが「このスコープにこの変数は存在するか？」を動的にグローバルスコープまでスコープチェーンを遡って探索するコスト（Runtime Lookup）そのものがコードから消え去るため、V8のバイナリ生成器（Turbofan）は、変数を純粋なレジスタ割り当てやスタック上のスロットとして安全に扱うことができるようになる。
—
3. セキュリティの深層：暗黙的グローバル変数とプロトタイプ汚染（Prototype Pollution）
暗黙的グローバル変数や不適切な変数スコープの管理は、単なるパフォーマンス低下に留まらず、リモートコード実行（RCE）を伴う深刻なセキュリティ脆弱性の温床となる。
サプライチェーンを突く脆弱性ハックのメカニズム
現代のNode.jsエコシステムにおいて、悪名高い脆弱性の一つが Prototype Pollution（プロトタイプ汚染） だ。再帰的なマージ関数やオブジェクトのディープクローン処理において、入力値のサニタイズが漏れていると、攻撃者は `__proto__` や `constructor.prototype` を通じて、すべてのオブジェクトの共有プロトタイプを書き換えることができる。
ここで、もしコードベース内に暗黙的グローバル変数や、スコープチェーンの汚染を許す構造が存在するとどうなるか。
“use strict”; // この防壁があるかないかで運命が変わる
function vulnerableConfigParser(userinput) {
// もし strict mode がオフの場合、
// userinput からの動的なプロパティ代入が予期せぬグローバル変数を上書き・生成しうる
for (let key in userinput) {
// 意図しないグローバル汚染、あるいはコンテキストの乗っ取り
setting[key] = userinput[key];
}
}
厳格モードが適用されていない環境下では、変数のルックアップがグローバルオブジェクトにまで到達するため、プロトタイプ汚染によってグローバル空間に注入されたプロパティやメソッドが、あたかも正当な変数や関数であるかのように誤認され、実行フローが乗っ取られるリスクが飛躍的に高まる。
さらに、厳格モードでは `this` のデフォルト値が `undefined` に固定される（非 strict モードではグローバルオブジェクトにフォールバックする）。これにより、関数が関数コンテキスト以外（単体呼び出しなど）で呼び出された際に、誤ってグローバルオブジェクトを書き換えるという致命的なサイドエフェクトを物理的に遮断している。
—
4. チーフアーキテクトからの提言：ランタイムの限界を引き出すために
JavaScriptは「誰でも簡単に書ける言語」として始まったが、現代のWebアプリケーションや大規模マイクロサービスを支えるV8ランタイムは、C++やRustに匹敵する高度な最適化エンジンとして稼働している。
そのV8のエンジン性能を極限まで引き出し、JITコンパイルの恩恵を100%受けるための鉄則は以下の通りだ。
1. すべてのスクリプト・モジュールで常に厳格モードを強制する
現代の `ES Modules (ESM)` や TypeScript、Babelを通じたコンパイル出力はデフォルトで厳格モードが有効になるが、レガシーな CommonJS スクリプトやインラインスクリプトでは、明示的な `”use strict”;` の付与がランタイムの防壁となる。
2. 暗黙的挙動への依存を完全に排除する
変数は常に `const` をファーストチョイスとし、再代入が必要な場合のみ `let` を使う。`var` や宣言なき代入は、V8のスコープ最適化を阻害する「悪」としてチーム全体で排除する。
ランタイムの挙動を支配する者は、コードのパフォーマンスとセキュリティを支配する。JavaScriptを単なる「動的で適当な言語」として扱う時代は終わった。V8のメモリ空間と実行パイプラインの息吹を感じながら、一歩先を行く堅牢なコードを紡ぎ出してほしい。