こんにちは！フロントエンドからV8エンジンの内部挙動まで、日夜JavaScriptと向き合っているシニアアーキテクトです。
今回は、JavaScriptの基本中の基本でありながら、その裏側ではV8エンジンが驚くほど緻密なメモリ管理を行っている「forループ内の `let` 宣言」の秘密に迫ります。
「他の言語では当たり前のループ処理なのに、なぜJavaScriptの `let` は特別な動きをするの？」「メモリの消費量やガベージコレクションはどうなっているの？」といった疑問を持つ方は多いはずです。ここをクリアすれば、JavaScriptのスコープとメモリの挙動に関する理解はバッチリマスターできますよ。
それでは、V8エンジンの頭の中を覗き込むような気持ちで、一緒に本質へと踏り込んでいきましょう！
—
1. 昔話と `var` の呪縛：なぜ `let` が必要だったのか？
JavaScriptの歴史を少しだけ振り返ってみましょう。モダンな仕様（ES2015 / ES6）が導入される前、変数を宣言するためのキーワードは `var` だけでした。
この `var` には、「関数スコープ」という特性しかなかったため、次のようなループ処理でよく「あるバグ」が起きていました。
// 【注意】古い書き方（varの挙動）
for (var i = 0; i < 3; i++) {
setTimeout(function() {
console.log(i); // 何が出力されるでしょうか？
}, 100);
}
// 出力結果: 3, 3, 3 （0, 1, 2 ではない！）
「あれ？ 0, 1, 2 と順番に出てほしいのに、全部 `3` になってしまった……」という経験はありませんか？
これは、`var` で宣言された変数 `i` がループブロックの外側（関数スコープ、あるいはグローバルスコープ）にたった1つしか存在せず、タイマーが実行される頃にはすでに `i` の値が `3` までインクリメントしきっていたからです。
救世主 `let` の登場と「ブロックスコープのクローン」
この問題を一発で解決するために生まれたのが `let` です。同じコードを `let` で書き換えてみましょう。
// モダンな書き方（letの挙動）
for (let i = 0; i < 3; i++) {
setTimeout(function() {
console.log(i); // ちゃんとそれぞれの値が保持されている！
}, 100);
}
// 出力結果: 0, 1, 2
なぜ `let` を使うと、それぞれのコールバック関数が「その瞬間の `i` の値（0、1、2）」を覚えていられるのでしょうか？
ここに、JavaScriptエンジン（V8など）の巧みな仕掛けがあります。実は `let` は、ループの「イテレーション（反復）ごと」に、独立した個別のレキシカル環境（Lexical Environment / スコープの空間）をまるでクローンのように新しく生成しているのです。
—
2. V8エンジンの裏側：ループ内 `let` のメモリとスコープの動き
では、この「ブロックスコープのクローン」が、メモリ空間やガベージコレクション（GC）の仕組みにどう影響しているのかを、イメージ図を交えながら紐解いていきましょう。
概念的なメモリのイメージ
JavaScriptエンジン（V8）は、forループが1回回る（イテレーション）たびに、そのブロック専用のメモリ領域（変数環境）を新しく割り当てます。
[ ループの1回目 (i = 0) のメモリ空間 ]
└─ レキシカル環境 A (変数 i = 0 を保持)
└─ クロージャ（setTimeout）から参照されている！
[ ループの2回目 (i = 1) のメモリ空間 ]
└─ レキシカル環境 B (変数 i = 1 を保持)
└─ クロージャ（setTimeout）から参照されている！
[ ループの3回目 (i = 2) のメモリ空間 ]
└─ レキシカル環境 C (変数 i = 2 を保持)
└─ クロージャ（setTimeout）から参照されている！
もし `let` がこのクローンを作らない仕様だったら、すべてのループが同じ変数を使い回すことになり、先ほどの `var` のようなバグが多発していました。エンジンは、開発者が意図した通りに安全に動くよう、わざわざループの回数分だけ変数の入れ物（スコープ）を新しく用意してくれているのです。
「じゃあ、メモリを大量消費して危険なの？」という疑問
ここで、鋭いエンジニアならこう考えるはずです。
「ループが10,000回回ったら、10,000個もレキシカル環境のクローンが作られて、メモリがパンクしたりガベージコレクションのパフォーマンスが落ちたりするんじゃないの？」と。
結論からお伝えすると、「クロージャ等から参照され続けていなければ、不要になったスコープは速やかにGC（ガベージコレクション）によって回収される」ため、過度に恐れる必要はありません。
V8エンジンの最適化の仕組みを見てみましょう。
1. 参照がない場合:
先ほどの `setTimeout` のような「後から変数を思い出す仕組み（クロージャ）」が絡んでいない通常のループ（例: 単なる `for (let i = 0; i < 10000; i++) { sum += i; }`）の場合、V8は非常にスマートです。スコープのクローンを毎回律儀にヒープメモリ上にバラ撒くのではなく、最適化されたレジスタや一時的なスタック変数のように扱ったり、不要になった瞬間に即座に破棄・再利用します。
2. クロージャがある場合:
先ほどの `setTimeout` のように、非同期処理のコールバックが変数を「キャプチャ（保持）」している場合、その環境（スコープ）はコールバックが実行し終わるまでメモリ上に生き続けます。つまり、10,000個のタイマーがそれぞれ別の変数を保持すれば、それに応じたメモリが一時的に保持されます。しかしこれも、タイマーの実行が完了し、どこからも参照されなくなった瞬間にV8のガベージコレクタ（世代別ガベージコレクション）によって一網打尽に回収されます。
—
3. 実践：デバッグとメモリ挙動の確認コード
百聞は一見に如かず。実際にNode.jsの環境などで、ループ内の `let` がどのように機能しているかをコードで確認してみましょう。
/
- ループ内のletとスコープの独立性を確かめる実用例
/
function processTransactions() {
// 大量のトランザクションIDを処理するシミュレーション
const transactionIds = [‘txn_001’, ‘txn_002’, ‘txn_003’];
for (let i = 0; i < transactionIds.length; i++) {
// このブロック内で宣言された変数(currentId)は、
// このイテレーションだけの「固有のスコープ」を持ちます。
const currentId = transactionIds[i];
// 非同期のAPIリクエストを模したタイマー処理
setTimeout(() => {
console.log(`処理完了: ${currentId} (インデックス: ${i})`);
}, 500 (i + 1));
}
// ループを抜けた後、変数 i や currentId にはこの外からアクセスできません！
// ReferenceError になります。
try {
console.log(i);
} catch (e) {
console.لم.log(‘スコープ外のため、変数iにはアクセスできません！’);
}
}
processTransactions();
// 実行結果イメージ:
// スコープ外のため、変数iにはアクセスできません！
// 処理完了: txn_001 (インデックス: 0)
// 処理完了: txn_002 (インデックス: 1)
// 処理完了: txn_003 (インデックス: 2)
このコードにおいて、`currentId` も `i` も、ループの各ステップごとに完全に隔離された世界（ブロックスコープ）で生き生きと存在しています。これがもし `var` だった場合、非同期処理が走る頃にはすべての `currentId` や `i` が最後の値に書き換わってしまっていたでしょう。
—
4. まとめ：モダンJavaScriptを書く上での心構え
いかがでしたでしょうか？ 今回の重要なポイントをまとめます。
- `let` はループごとにクローンを作る: forループの条件式やブロック内で `let` を使うと、イテレーションごとに新しいレキシカル環境（スコープ）が生成される。
- バグを防ぐための言語仕様: これにより、クロージャや非同期処理（`setTimeout`、イベントリスナー、Promiseなど）をループ内で扱っても、各変数の値が意図通りに保持される。
- メモリとGCの安全性: 「毎回スコープが作られるとメモリを圧迫するのでは？」という心配はいりません。V8エンジンは非常に優秀であり、不要になったクローンはガベージコレクションによって適切に回収されます。
JavaScriptのこうした裏側のメカニズム（ランタイムの挙動）を知っていると、コードを書くときの「なぜ？」が「なるほど！」に変わり、パフォーマンスを意識した美しい設計ができるようになります。
ここをクリアしたあなたなら、もう変数とスコープの挙動で迷うことはありません。自信を持ってモダンなコードを書いていきましょう！