プログラムが実行される際、コンピュータのメモリ（RAM）上にはいくつかの異なるデータ領域が割り当てられます。その中でも、変数の管理やデータの保存において極めて重要な役割を果たすのが「スタック領域（Stack）」と「ヒープ領域（Heap）」です。
それぞれの特徴と具体的な違いについて、メモリの仕組みを交えて分かりやすく解説します。
1. スタック領域（Stack）とは？
スタック領域は、関数の一時的な呼び出しや、ローカル変数を管理するためのメモリ領域です。
- 仕組み（LIFO構造）：お皿を上へ上へと積み重ねていき、取り出すときも上から順に取り出す「LIFO（Last In, First Out：後入れ先出し）」の構造をしています。関数が呼ばれるとデータが積み上げられ（プッシュ）、関数が終了すると自動的に上から順に消去されます（ポップ）。
- 管理の仕組み：システム（CPUとOS）が自動的にメモリの割り当てと解放を行うため、プログラマが手動で片付けるコードを書く必要がありません。
- 保存されるデータ：
- 関数の引数
- ローカル変数（関数内で宣言された変数）
- 戻り値や関数の実行アドレス（どこから呼ばれたか）
具体例イメージ
C++
void funcB() {
int y = 20; // ③ スタックに積まれる
} // ④ funcB終了時に y が自動消去される
void funcA() {
int x = 10; // ① スタックに積まれる
funcB(); // ② funcBを呼び出す
} // ⑤ funcA終了時に x が自動消去される
2. ヒープ領域（Heap）とは？
ヒープ領域は、プログラマの指示（動的メモリ割り当て）によって、自由に確保・解放できるメモリ領域です。
- 仕組み（自由な管理）：スタックのような厳格な順番はなく、空いているスペースを見つけてデータを自由に配置します。
- 管理の仕組み：必要に応じてメモリを確保し、不要になったら明示的に解放する必要があります。言語によってはガベージコレクション（自動メモリ管理）が自動で行ってくれますが、C/C++などの言語ではプログラマ自身が解放（
freeやdelete）し忘れると「メモリリーク（メモリ食い潰し）」の原因になります。 - 保存されるデータ：
- 大きさが実行時まで分からない大きな配列やオブジェクト
- 関数を抜けても破棄せずに保持し続けたいデータ
具体例イメージ（C++などの場合）
C++
// ヒープ領域にデータを手動で確保する
int* p = new int[100];
// このデータは関数が終わっても消えずに残り続ける
// 使い終わったら自分で解放する
delete[] p;
3. スタック領域とヒープ領域の比較
| 項目 | スタック領域 (Stack) | ヒープ領域 (Heap) |
| 管理の主体 | OS・システムが自動管理 | プログラマ（または言語のランタイム） |
| 速度 | 非常に高速（単純なデータの積み上げ） | 比較的低速（空き領域を探すため） |
| 容量 | 小さい（通常は数MB程度で固定） | 大きい（パソコンの空きメモリ容量に依存） |
| 寿命 | 関数の終了と同時に自動で消える | 解放されるか、プログラムが終了するまで残る |
| 主な用途 | 小さなローカル変数、関数の管理 | 大きなデータ、動的に変化するデータ |
4. 具体的なトラブルの例
この2つの領域の特性を理解していないと、以下のような深刻なバグに直面します。
- スタックオーバーフロー（Stack Overflow）
- スタック領域の容量を超えてデータを積み上げてしまったときに発生します。
- 原因の多くは、「無限再帰（終了条件のない再帰関数）」です。関数が関数を無限に呼び出すたびにスタックに情報が積み重なり、あっという間に領域が限界を迎えてプログラムが強制終了します。
- メモリリーク（Memory Leak）
- ヒープ領域で確保したメモリを解放し忘れる現象です。
- これを繰り返すと、パソコンのメモリが徐々に圧迫され、動作が重くなったりアプリがフリーズしたりします。
プログラムを作る際は、「小さくてすぐに使い捨てる変数はスタックに、大きかったり長く生存させたりする必要があるデータはヒープに」という使い分けが基本になります。
もっと詳しく知りたい言語（C/C++、Java、Python、PHPなど）や、具体的なコードでの動きが気になる場合は、いつでもお知らせください。
