C++におけるスタックとヒープの適切な使い分けとは？

C++では、メモリは主に「スタック」と「ヒープ」という2つの領域で管理されます。それぞれの特性を正しく理解し、適切に使い分けることは、効率的で安全なプログラムを書くうえで非常に重要です。

スタックとは

スタックは、関数内で宣言されたローカル変数が自動的に格納されるメモリ領域です。関数が呼び出されると必要なメモリが割り当てられ、関数の処理が終わると自動的に解放されます。つまり、関数内のローカル変数はすべてスタック上に存在することになります。

ヒープとは

ヒープは、プログラムの実行時に動的にメモリを確保するために使用できる未使用のメモリ領域です。宣言した関数の寿命を超えてデータを保持したい場合（例えば、関数が終了した後も値を残しておきたい場合など）は、ヒープ上にメモリを割り当てる必要があります。

コード例

int main() {
    int a; // スタック上にメモリが割り当てられる
    int *ptr = new int[7]; // ヒープ上にint型7個分のメモリを確保
}

この例では、変数aはスタックに割り当てられ、main関数の終了とともに自動的に解放されます。一方、newで確保したヒープのメモリは、delete[]を呼び出して明示的に解放するまで残り続けます。

スタックとヒープの違いと注意点

ヒープメモリにおける主な問題は断片化（フラグメンテーション）です。メモリの確保と解放を繰り返すことで空き領域が細切れになり、十分な連続領域を確保できなくなることがあります。

一方、スタックではメモリ不足が発生しやすい傾向があります。スタックのサイズには上限があり、大きなローカル配列や深い再帰呼び出しによって「スタックオーバーフロー」を引き起こす可能性があります。

また、ヒープでは確保後にメモリサイズを変更（再確保）できますが、スタック上の変数のサイズは変更できません。

まとめ

寿命が関数内で完結する小さなデータはスタックを、関数をまたいで長く保持したいデータやサイズが動的に変わるデータはヒープを使うのが基本です。現代のC++では、生のnew/deleteの代わりにstd::unique_ptrやstd::vectorなどのスマートポインタ・コンテナを活用することで、メモリリークを防ぎながら安全にヒープを利用できます。