導入
C++において「const」は安全なコードを書くための重要な修飾子ですが、ポインタを含む構造体やクラスを扱う際、その挙動に戸惑うことはありませんか？「constを付けたから安心」と思っていると、意図せず内部のデータが書き換えられてしまうケースがあります。今回は、ポインタのconst性の伝播（浅い不変性）の仕組みと、その安全な扱い方について解説します。
基礎知識
C++のconstは、そのオブジェクト自体の「メンバ変数の書き換え」を禁止します。しかし、ポインタがメンバ変数として存在する場合、constによって制限されるのは「ポインタ変数そのもの（アドレスの代入先）」であり、「ポインタが指し示している先のメモリ領域（実体）」ではありません。これを浅い不変性（Shallow Constness）と呼びます。
構造体をconstにすると、そのメンバであるポインタを別の場所へ向け直すことはできませんが、ポインタを経由して指し先の値を変更することは、言語仕様上できてしまうのです。
実装/解決策
この問題を解決するためには、ポインタが指し示す先も変更不可にしたい場合、constポインタ（const int p;）として定義する必要があります。構造体の定義段階で、指し先が変更されるべきではないことを明示する設計が求められます。
サンプルプログラム
以下のコードで、const構造体におけるポインタの挙動を確認してみましょう。
include <iostream>
struct Data {
int value;
};
struct Container {
int ptr; // ポインタ変数
};
int main() {
Data d = {10};
Container c = { &d.value };
const Container cc = c;
// 1. ポインタ自体の書き換えは禁止される (コンパイルエラー)
// cc.ptr = nullptr;
// 2. 指し先の中身は変更可能 (警告なし)
// これは「浅い不変性」のため、constなオブジェクト経由でも変更できてしまう
cc.ptr = 99;
std::cout << "値が書き換えられました: " << d.value << std::endl;
return 0;
}
応用・注意点
現場での開発では、以下の点に注意してください。
1. constメンバ関数の活用
クラスのメンバ変数としてポインタを持つ場合、getter関数などでconstポインタを返すように設計することで、外部からの意図しない書き換えを防ぐことができます。
2. スマートポインタの利用
モダンC++では、生のポインタの代わりに std::unique_ptr や std::shared_ptr を使用することが推奨されます。これらを使用する場合でもconstの規則は同様ですが、ポインタの管理が明確になるため、バグの混入リスクを下げることができます。
3. 意図の明確化
「このポインタは書き換えを許可するのか、それとも中身だけを保護したいのか」を設計段階で明確にし、constの位置（const int なのか int const なのか）を正しく使い分けることが、堅牢なプログラムへの第一歩です。
コメント