V8の頭脳：`let`/`const`がもたらす静的解析の革命と機械語生成の裏側
JavaScriptエンジニアの多くは、`var`を使うな、代わりに`let`や`const`を使えと教えられてきた。その理由は「ブロックスコープを持つから」「意図しない再代入を防げるから」といった、入門書レベルのものがほとんどだ。
しかし、V8ランタイム（あるいは任意のモダンJSエンジン）のソースコード、とりわけIgnition（インタプリタ）とTurboFan（JITコンパイラ）のパイプラインの深淵を覗いた者であれば、この構文の選択が単なる「スタイルの好み」ではなく、CPUのレジスタ割り当てとメモリレイアウトを根本から支配する機械語レベルの最適化に直結していることを知っている。
今回は、V8エンジンが`let`と`const`をどのように静的に解析し、`var`の動的スコープチェーンの呪縛からコードを解放しているのか。その低レイヤの真実を暴く。
—
1. `var`の悲劇：動的スコープとContext Allocationのコスト
まず、悪名高き`var`がV8内部でどのように扱われているかを振り返ろう。`var`は関数スコープを持ち、巻き上げ（Hoisting）を起こす。この「どこからでも参照でき、上書き可能な変数」という性質は、V8のJITコンパイラにとって悪夢でしかない。
function legacyFunction() {
var x = 10;
if (true) {
var x = 20; // 同じ変数を上書き
}
console.log(x); // 20
}
`var`で宣言された変数は、関数単位で「Context（コンテキスト）」と呼ばれるヒープ上のオブジェクトに割り当てられることが多い。変数がクロージャから参照される可能性がある場合、V8はそれをスタックではなくヒープ上に強制的に配置する（Context Allocation）。
ヒープ割り当ては、ガベージコレクション（GC）の負荷を高め、プロパティアクセスにはハッシュマップ的なルックアップやインラインキャッシュ（IC）のミスを誘発する。さらに、`eval`や`with`文が存在するだけで、V8はそのスコープ全体の最適化を完全に放棄（Deoptimize）する。`var`は、JavaScriptの動的すぎる側面をそのまま体現した諸悪の根源なのだ。
—
2. `let`と`const`によるスコープの静的解析（Static Scope Analysis）
ES6（ES2015）で導入された`let`と`const`は、単に「ブロックスコープ」を追加しただけではない。パーサー（Parser）とAST（抽象構文木）生成の段階から、変数のライフサイクルと生存範囲を完全に静的に確定させるための構造改革であった。
V8のパーサーは、コードをバイトコードにコンパイルする前に、スコープ分析（Scope Analysis）パスを実行する。ここで`let`や`const`を発見すると、エンジンは以下の解析を行う：
1. 変数の不変性（Immutability）の確認: `const`であることが確定していれば、TurboFanは値が二度と変化しない（Constant Folding / Scalar Replacement）という最強の前提のもとで機械語を生成できる。
2. 生存区間の特定（Live Range Analysis）: 変数がどのバイトコード範囲で有効であるかが完全に計算されるため、スタックフレーム上のスロット（Register / Stack Slot）を極限まで効率的に再利用できる。
実際のバイトコード比較で見える差
簡単なコードをV8のIgnitionバイトコードに落としてみよう。
// constを使用した場合の静的構造
function optimized() {
const a = 42;
return a + 10;
}
V8はこのコードに対し、ヒープ上のContextオブジェクトを生成せず、関数フレーム内のスタックポインタ、あるいは直接定数プール（Constant Pool）から値へと直結する効率的なバイトコードを吐き出す。
[LdaSmi] [42] ; 42をアキュムレータにロード
[Star] r0 ; レジスタr0に保持（constとして静的に保護）
[AddSmi] [10], [0] ; 即座に演算
[Return]
`const`が宣言されている場合、V8は「この値が途中で書き換わることは絶対にない」と確信できるため、後続の最適化パス（TurboFan）において、変数の参照をハードコードされた即値（Immediate Value）に置き換える（Scalar Replacement / Inlining）ことが可能になる。
—
3. テンポラルデッドゾーン（TDZ）は「安全装置」ではなく「静的最適化の副産物」
`let`や`const`でしばしば話題になるTDZ（Temporal Dead Zone：時間的死帯）。宣言前に変数にアクセスすると`ReferenceError`になるあの挙動は、単なる言語仕様の「優しさ」ではない。
{
// — TDZの開始 —
// console.log(x); // ReferenceError
const x = 100; // — TDZの終了 —
console.log(x); // 100
}
ランタイムの観点から言えば、TDZが存在するおかげで、V8は「変数が初期化される前の不正なメモリアクセス」を動的にチェックするコストを支払う必要がなくなる。コンパイル段階でスコープと初期化の順序が保証されるため、機械語レベルでは「初期化命令が実行された後にのみ、そのスタックオフセットを読み込む」という直線的なコード生成が可能になるのだ。
—
4. 隠しクラス（Hidden Classes / Maps）とインラインキャッシュへの寄与
オブジェクトのプロパティだけでなく、変数スコープの最適化もV8の「Hidden Class（Map）」システムと密接に関わっている。
`const`によって参照が固定されたオブジェクトやプリミティブは、TurboFanの最適化コンパイラによって「Shapes（形状）」が完全に予測可能になる。
`var`のようにスコープ内で型が揺らぎ、値が再代入される変数があると、V8のインラインキャッシュ（IC）は「メガモーフィック（Megamorphic：型が特定できず、あらゆる状態に対応せざるを得ない最遅の状態）」に陥る。
一方、`const`を多用したコードベースは、型フィードバック（Type Feedback）において「モニモーフィック（Monomorphic：型が完全に一意）」を維持しやすいため、JITコンパイラがネイティブな機械語（x64やARMのレジスタ演算）へ直結するコードを生成する確率が劇的に跳ね上がる。
—
5. セキュリティとランタイム：プロトタイプ汚染とconstの防壁
ここまではパフォーマンスの話をしてきたが、セキュリティ研究者やチーフアーキテクトの視点からは、「変数の不変性（Immutability）がサプライチェーン攻撃を防ぐ防壁になり得るか」という点も重要だ。
近年のNode.jsエコシステムを揺るがす「プロトタイプ汚染（Prototype Pollution）」や、悪意あるコードによるグローバルスコープのハイジャックは、多くの場合、オブジェクトや変数が「動的に上書き可能（Mutable）」であるという前提につけ込んでいる。
// 脆弱なコード（再代入可能な設定値）
let API_ENDPOINT = “https://api.safe.com”;
// 外部からの攻撃やバグにより意図せず書き換えられる可能性
function injectConfig(maliciousInput) {
// スコープやオブジェクトのプロパティがvarやletで緩い場合、汚染されるリスクが高まる
API_ENDPOINT = maliciousInput;
}
もしこれが`const`で宣言されており、かつモジュールスコープ（ES Modulesはデフォルトで厳格モードかつトップレベルスコープが独立している）でカプセル化されていれば、V8のメモリ空間上においても、その参照先を書き換えることは構文木および機械語レベルで厳格に禁止される。
// 堅牢なモジュールスコープの定義
export const API_ENDPOINT = Object.freeze(“https://api.safe.com”);
`const`と`Object.freeze()`の組み合わせは、V8に対して「このメモリ領域はイミュータブルである」という強烈な静的ヒントを与え、ランタイムの最適化と安全性の両方を最高値へと引き上げる。
—
結言：モダンJSのコードは、V8への「手紙」である
私たちが書くJavaScriptのコードは、単なるインタープリタへの指示書ではない。それは、V8という極めて高度なJITコンパイラに向けた、「このメモリとCPUレジスタをこのように最適化してくれ」という静的な設計図なのだ。
- `var`を使うことは、V8に動的なヒープ割り当てとルックアップの重荷を背負わせる行為である。
- `let`や`const`を使うことは、V8のパーサーとJITコンパイラにライフサイクルの主導権を渡し、機械語レベルの最高速なレジスタ割り当てを引き出すための「契約」である。
シニアエンジニアたる者、自分が叩く1行のコードがV8のヒープ空間とコンパイルパイプラインでどう解釈されているか。その物理的な挙動までを脳内で完全にトレースしながら、圧倒的なパフォーマンスとセキュリティを備えたコードを紡ぎ出すべきだ。