C言語を学ぶ上で、多くの学習者が最初に突き当たる大きな壁が「ポインタ」です。
そして、そのポインタをさらに一歩進めた概念である「ポインタのポインタ（2重ポインタ）」は、より高度なプログラムを記述する際に避けて通れない重要な技術です。
本記事では、2重ポインタの基本的な仕組みから、なぜそれが必要なのかという具体的な理由、そして実務で役立つ応用例までを論理的に詳しく解説します。
ポインタの基本概念とメモリの仕組み
2重ポインタを理解するためには、まず通常の「ポインタ」がメモリ上でどのように振る舞っているかを正確に把握しておく必要があります。
C言語における変数とは、コンピュータのメモリ上にある特定の領域に付けられた「名前」に過ぎません。
すべての変数は、メモリ上のどこかに配置されており、その場所を示す一意の番号が「アドレス」です。
通常のポインタ変数は、この「アドレス」を値として保持する特殊な変数です。
例えば、int a = 10; という変数を宣言したとき、メモリの 0x100 番地にその値が格納されたとしましょう。
このとき、int *p = &a; と宣言すると、ポインタ変数 p 自体もメモリ上のどこか（例えば 0x200 番地）に配置され、その中身として a のアドレスである 0x100 を保持します。
このように、ポインタは「特定の型を持つ変数の場所を指し示す」役割を担っています。
この基本を理解した上で、次に「ポインタそのものの場所」を指し示す概念へと進みます。
ポインタのポインタ（2重ポインタ）とは何か
ポインタのポインタ（2重ポインタ）とは、その名の通り「ポインタ変数のアドレス」を格納するための変数です。
型宣言ではアスタリスクを2つ重ねて int **pp; のように記述します。
先ほどの例を拡張して考えてみましょう。
- 変数
aが 0x100 番地にあり、値は 10。 - ポインタ変数
pが 0x200 番地にあり、値は 0x100（aのアドレス）。 - 2重ポインタ変数
ppが 0x300 番地にあり、値は 0x200（pのアドレス）。
この構造において、pp を経由して元の変数 a の値にアクセスするには、間接参照演算子 を2回使用します。
pp と書けばポインタ p の中身（0x100）にアクセスでき、さらに **pp と書くことで、最終的な目的地である a の値（10）に到達することができます。
2重ポインタの宣言と初期化
2重ポインタを使用する際の基本的なコード例を以下に示します。
#include <stdio.h>
int main() {
int a = 100; // 通常の整数型変数
int *p = &a; // aのアドレスを指すポインタ
int **pp = &p; // pのアドレスを指す2重ポインタ
printf("aの値: %d\n", a);
printf("pが指している先の値 (*p): %d\n", *p);
printf("ppが指している先の先の値 (**pp): %d\n", **pp);
printf("aのアドレス (&a): %p\n", (void*)&a);
printf("pの値 (p): %p\n", (void*)p);
printf("pのアドレス (&p): %p\n", (void*)&p);
printf("ppの値 (pp): %p\n", (void*)pp);
return 0;
}aの値: 100
pが指している先の値 (*p): 100
ppが指している先の先の値 (**pp): 100
aのアドレス (&a): 0x7ffee6b4a8ac
pの値 (p): 0x7ffee6b4a8ac
pのアドレス (&p): 0x7ffee6b4a8a0
ppの値 (pp): 0x7ffee6b4a8a0この結果からわかる通り、pp の値は p のアドレスと一致しており、**pp を通じて間接的に a の値を操作できることが確認できます。
なぜ2重ポインタが必要なのか
「ポインタのポインタなんて、わざわざ複雑にする必要があるのか？」と疑問に思うかもしれません。
しかし、C言語において特定の処理を実現しようとすると、2重ポインタなしでは極めて困難、あるいは不可能な場面が存在します。
主な利用シーンは以下の3点です。
- 関数内で呼び出し元のポインタ変数の値を書き換える場合
- 動的な2次元配列（ジャグ配列）を作成する場合
- ポインタの配列を管理する場合（コマンドライン引数など）
それぞれのケースについて詳しく解説していきます。
関数内でのポインタの書き換え
C言語の関数引数はすべて「値渡し」です。
これはポインタを引数にする場合も例外ではありません。
ポインタを渡すと「アドレスの値」がコピーされて関数に渡されます。
もし、関数の中で「呼び出し元にあるポインタが指す先の値」を書き換えたいのであれば、1重ポインタを渡せば十分です。
しかし、「呼び出し元のポインタ変数が保持しているアドレスそのもの」を書き換えたい場合は、そのポインタ変数のアドレス、つまり2重ポインタを渡す必要があります。
例えば、動的にメモリを割り当てる関数を作成する場合を考えてみましょう。
#include <stdio.h>
#include <stdlib.h>
// 失敗例：ポインタのアドレスを書き換えられない
void allocate_memory_bad(int *p) {
p = (int *)malloc(sizeof(int));
*p = 50;
}
// 成功例：2重ポインタを使用して呼び出し元のポインタを書き換える
void allocate_memory_good(int **pp) {
*pp = (int *)malloc(sizeof(int));
**pp = 100;
}
int main() {
int *ptr1 = NULL;
int *ptr2 = NULL;
// 失敗例の呼び出し
allocate_memory_bad(ptr1);
if (ptr1 == NULL) {
printf("ptr1は依然としてNULLです。\n");
}
// 成功例の呼び出し
allocate_memory_good(&ptr2);
if (ptr2 != NULL) {
printf("ptr2にメモリが割り当てられました。値: %d\n", *ptr2);
free(ptr2);
}
return 0;
}ptr1は依然としてNULLです。
ptr2にメモリが割り当てられました。値: 100allocate_memory_bad では、引数として渡されたポインタ変数の「コピー」に対して malloc の結果を代入しているため、呼び出し元の ptr1 には一切影響を与えません。
一方、allocate_memory_good では ptr2 のアドレスを渡しているため、関数内で *pp（つまり実引数の ptr2）を直接書き換えることができています。
このように、連結リストの要素挿入やバッファの再確保など、データ構造の状態によってポインタの向き先を変えたい場合に、2重ポインタは不可欠な道具となります。
動的な2次元配列の実現
C言語で「行数も列数も実行時に決まる2次元配列」を扱いたい場合、2重ポインタが非常に有効です。
静的な配列 int matrix[3][4]; は、メモリ上に連続して配置されます。
しかし、各行の長さが異なる配列や、巨大なデータをヒープ領域に確保したい場合は、「ポインタの配列」を用意し、それぞれのポインタに各行のメモリを割り当てるという手法を取ります。
実装の手順
int **型の変数を宣言する。- 縦方向（行）のポインタ配列を
mallocで確保する。 - ループを回し、各行に対して横方向（列）の実データ領域を
mallocで確保する。
以下に具体的なプログラムを示します。
#include <stdio.h>
#include <stdlib.h>
int main() {
int rows = 3;
int cols = 4;
// 1. 各行の先頭アドレスを格納するための「ポインタの配列」を確保
int **matrix = (int **)malloc(sizeof(int *) * rows);
if (matrix == NULL) return 1;
// 2. 各行に対して、実際のデータ領域を確保
for (int i = 0; i < rows; i++) {
matrix[i] = (int *)malloc(sizeof(int) * cols);
if (matrix[i] == NULL) return 1;
}
// 3. データの代入と表示
for (int i = 0; i < rows; i++) {
for (int j = 0; j < cols; j++) {
matrix[i][j] = i * 10 + j;
printf("%2d ", matrix[i][j]);
}
printf("\n");
}
// 4. メモリの解放（確保した順序の逆で行う）
for (int i = 0; i < rows; i++) {
free(matrix[i]); // 各行を解放
}
free(matrix); // ポインタ配列自体を解放
return 0;
} 0 1 2 3
10 11 12 13
20 21 22 23この方法の利点は、各行のメモリが必ずしも連続していなくても良い点にあります。
メモリの断片化が起きている環境でも、大きな2次元構造を構築できる柔軟性があります。
また、matrix[i][j] というおなじみの形式でアクセスできるため、コードの可読性も維持されます。
ただし、解放作業を忘れるとメモリリークの原因になるため、注意が必要です。
文字列の配列と2重ポインタ
C言語における文字列は char * です。
そのため、「文字列の配列」を扱う際には、必然的に char ** という形式が登場します。
もっとも身近な例は、main 関数の引数である char *argv[] です。
これは形式的に char **argv と等価です。
| 構造 | 説明 |
|---|---|
argv | 文字列ポインタ配列の先頭アドレス |
argv[i] | i番目の文字列（charポインタ） |
argv[i][j] | i番目の文字列のj番目の文字 |
このように、2重ポインタは「複数の文字列（可変長データ）のリスト」を管理する際にも極めて自然な表現手段となります。
3重以上のポインタについて
理論上、ポインタは3重（int ***ppp）、4重といくらでも深くすることができます。
しかし、実際のプログラミングで3重以上のポインタが必要になるケースは極めて稀です。
例えば、「2次元配列の配列」や「2次元配列を関数内で書き換える場合」には3重ポインタが登場しますが、設計を見直すことで構造体や1次元配列へのマッピングに置き換えられることが多いです。
過度に深いポインタの使用は、コードの可読性と保守性を著しく低下させるため、原則として2重ポインタまでに留めるのが良い設計とされています。
ポインタのポインタを扱う際の注意点
2重ポインタを安全に使用するためには、いくつかの重要な注意点があります。
1. NULLチェックの徹底
ポインタを介してメモリにアクセスする際、そのポインタが NULL であるとプログラムは異常終了（セグメンテーションフォールト）します。
2重ポインタの場合、pp 自体が有効か、そして *pp が有効かという2段階のチェックが必要になることがあります。
2. メモリ解放の順序
動的に確保した2次元配列などを解放する場合、必ず「内側から外側へ」の順序を守る必要があります。
もし先に free(matrix) を行ってしまうと、各行のアドレス情報が失われ、個別の行（matrix[i]）を解放する手段がなくなってしまいます。
3. 型の整合性
int ** と int [3][4] は、メモリ上の構造が全く異なります。
- 前者は「ポインタがバラバラの場所を指している」構造。
- 後者は「すべてのデータが1列に並んでいる」構造。
これらを混同してキャストして渡すと、予期せぬメモリアクセスを引き起こします。
関数のプロトタイプ宣言では、渡そうとしているデータの構造に合わせた正確な型定義を行うことが不可欠です。
まとめ
C言語のポインタのポインタ（2重ポインタ）は、メモリの間接参照をもう一段階深めることで、高度な柔軟性を提供する機能です。
今回の内容を整理すると、以下の通りです。
- 2重ポインタは、ポインタ変数のアドレスを格納する。
- 関数引数として渡すことで、関数外のポインタ自体の値を書き換えることができる。
- 動的2次元配列の構築において、行ごとにメモリを割り当てる柔軟な管理が可能になる。
- 文字列のリスト（
char **）など、実務的なデータ構造で頻繁に利用される。
ポインタの概念をマスターすることは、C言語を使いこなすだけでなく、コンピュータがどのようにメモリを管理しているかという低レイヤーの理解を深めることにも繋がります。
2重ポインタの構造を頭の中で図解できるようになれば、複雑なデータ構造の実装も恐れることはありません。
まずは、簡単なサンプルコードを自分で書き、アドレスの値がどのように遷移していくかを printf で確認することから始めてみてください。
その積み重ねが、堅牢で効率的なプログラムを書くための強力な武器となるはずです。