スタックとヒープの違いを徹底解説！メモリ管理の基礎知識

プログラムの実行において、メモリ管理は非常に重要な概念です。本記事では、メモリ領域を代表する「スタック」と「ヒープ」の違いについて、それぞれの特徴やメリット・デメリットをわかりやすく解説します。

スタック（Stack）とは

スタックは、後入れ先出し（LIFO：Last In First Out）の方式でデータを管理する線形データ構造です。関数呼び出し時のローカル変数など、寿命が明確なデータの格納に適しています。主な特徴は以下の通りです。

• 線形データ構造であり、メモリは連続したブロックとして割り当てられる。
• メモリの割り当てと解放は、コンパイラの指示によって自動的に行われる。
• 構築・維持にかかるコストが低く、実装も簡単である。
• サイズが固定されているため、柔軟性に欠ける。
• 唯一の欠点は、サイズが固定であることによるメモリ不足のリスク。
• すべてのブロックを使用していなくても、未使用部分のメモリが無駄になることがある。
• 要素へのアクセス速度が速く、参照の局所性にも非常に優れている。

ヒープ（Heap）とは

ヒープは階層型データ構造であり、実行時に必要なサイズが不明なデータや、寿命をプログラマが制御したいデータの格納に使用されます。主な特徴は以下の通りです。

• 階層型データ構造であり、メモリはランダムな順序で割り当てられる。
• メモリの割り当てと解放は、プログラマが手動で行う（例：C言語の malloc / free）。
• 構築・維持のコストが高く、実装も複雑である。
• 要素へのアクセスにはスタックよりも多くの時間がかかる。
• 欠点としては、メモリの断片化（フラグメンテーション）が発生しやすい点が挙げられる。
• サイズ変更が可能なため、メモリの無駄が少ない。
• 参照の局所性はスタックほど優れていないものの、実用上は十分な水準を保つ。

スタックとヒープの比較一覧表

両者の違いを整理すると、以下のようになります。

使い分けのポイント

一般的に、サイズが小さく寿命が短いデータ（ローカル変数や関数の引数など）はスタックに、実行時までサイズが確定しないデータや長期間保持するデータ（オブジェクトや大きな配列など）はヒープに配置するのが基本です。両者の特性を理解することで、パフォーマンスとメモリ効率のバランスの取れたプログラム設計が可能になります。

下図は、メインメモリ内におけるプロセスの配置イメージです。