メモリ領域の基本的な特性
C++ におけるメモリ管理では、スタック（Stack）とヒープ（Heap）が主要な役割を果たします。これらは確保される領域の性質、ライフサイクル、およびアクセス方法において明確な違いがあります。
1. ライフサイクルと管理責任
スタックメモリは関数の呼び出しと共に自動的に生成され、関数の終了と同時にシステムによって回収されます。一方、ヒープメモリはプログラマが明示的に確保（new/malloc）し、明示的に解放（delete/free）する必要があります。
- スタック： 関数スコープ内で有効。自動変数として宣言された時点で確保され、スコープアウトで消滅。
- ヒープ： プログラム実行中いつでも確保可能。明示的な解放が行われるまで生存し続ける。
2. デバッグモードにおける初期化パターン
Visual Studio のデバッグモードなど、特定の環境では未初期化のメモリ領域に特定のマジックナンバーが書き込まれることがあります。これはメモリリークや未初期化変数の使用を検出するための仕組みです。
- スタック領域： 通常
0xCCで埋められます（例：0xCCCCCCCC）。 - ヒープ領域： 確保されたブロックは
0xCD、解放されたブロックは0xDD、ガード境界は0xFDなどで識別されることがあります。
例えば、new int[2] で確保されたヒープメモリは、前後にガードバイトを挟んで以下のような構造になる可能性があります。
0xFDFDFDFD (Guard)
0xCDCDCDCD (Data)
0xCDCDCDCD (Data)
0xFDFDFDFD (Guard)
3. スタック配列とヒープ配列の構造的違い
配列の宣言方法によって、メモリ上の配置とポインタの挙動が異なります。
メモリ配置とポインタの可変性
スタック上に宣言された配列は、その名前が配列の先頭アドレスを指す定数ポインタとして振る舞います。一方、ヒープ上に確保された配列は、ポインタ変数を通じてアクセスするため、ポインタ自体の値を変更することが可能です。
// スタック配列：サイズ固定、ポインタ変更不可
int stackBuffer[] = { 10, 20, 30, 40 };
// ヒープ配列：動的サイズ、ポインタ変数で管理
int* heapBuffer = new int[4];
スタック配列の sizeof は配列全体のバイト数を返しますが、ヒープ配列を指すポインタの sizeof はポインタ自身のサイズ（32 ビット環境なら 4 バイト、64 ビット環境なら 8 バイト）を返します。
ポインタ演算の注意点
ヒープ配列を指すポインタは演算が可能ですが、解放時には確保時の先頭アドレスを指定する必要があります。ポインタを移動させた状態で delete を行うと未定義動作となります。
#include <iostream>
using namespace std;
int main() {
int stackArr[] = { 5, 15, 25, 35 };
int* heapArr = new int[4];
// ヒープ配列へのコピー
for (int i = 0; i < 4; ++i) {
heapArr[i] = stackArr[i];
}
// ポインタの移動演示（元のアドレスを保持する必要あり）
int* currentPtr = heapArr;
for (int i = 0; i < 4; ++i) {
cout << *currentPtr << endl;
currentPtr++; // ポインタを進めることは可能
}
// 解放時には元のアドレスを使用
delete[] heapArr;
return 0;
}
4. 動的なメモリ確保の利点
スタック配列はコンパイル時にサイズが確定している必要がありますが、ヒープ配列は実行時にサイズを決定できます。これにより、ユーザー入力に応じて柔軟にメモリを割り当てることが可能になります。
#include <iostream>
#include <vector>
void processDynamicInput() {
std::cout << "Enter the number of elements: ";
int count = 0;
std::cin >> count;
if (count <= 0 || count > 100) {
std::cerr << "Invalid count" << std::endl;
return;
}
// 実行時に決定されたサイズでヒープ確保
int* dynamicArray = new int[count];
// ... 処理 ...
delete[] dynamicArray;
}
プロセス通常、複数のスレッドがそれぞれ独立したスタックを持ちますが、ヒープ領域はプロセス内で共有されるのが一般的です。この特性を理解することで、マルチスレッド環境におけるメモリの競合や寿命管理を適切に行うことができます。