1. 導入：なぜこの知識が重要なのか
C++におけるリソース管理の現代的な標準はスマートポインタの利用です。しかし、便利なはずのstd::shared_ptrを導入しても、誤った使い方をすればかえって危険なバグを生みます。特に、一つの生ポインタを複数のstd::shared_ptrで管理しようとするケースは、プログラムのクラッシュやメモリ破壊を招く「二重解放（Double Free）」の代表的な原因です。本記事では、このミスを回避し、安全にスマートポインタを運用するためのルールを解説します。
2. 基礎知識：std::shared_ptrの仕組み
std::shared_ptrは、「参照カウント」という仕組みでメモリを管理します。内部的に保持しているカウンタがゼロになったとき、所有しているリソースに対してdeleteを実行します。
ここで重要なのは、std::shared_ptrのコンストラクタに生ポインタを渡したとき、そのインスタンスは「自分がそのリソースの唯一の管理者である」と誤認する可能性があるという点です。同じ生ポインタから複数のstd::shared_ptrを個別に作成すると、それぞれのインスタンスが独立した参照カウントを持つことになり、寿命が尽きた際にそれぞれがdeleteを呼び出そうとします。これが二重解放のメカニズムです。
3. 実装と解決策
二重解放を防ぐための鉄則は「生ポインタを直接スマートポインタに渡さない」ことです。std::make_sharedを使用するのがベストプラクティスですが、どうしても既存の生ポインタを管理する必要がある場合は、std::enable_shared_from_thisを活用します。
4. サンプルプログラム
以下のコードは、やってはいけない「NG例」と、それを回避する「推奨される設計」の比較です。
include
include
class Resource : public std::enable_shared_from_this
public:
void doSomething() { std::cout << "処理を実行中..." << std::endl; }
};
int main() {
// 【NG例：絶対に行ってはいけない操作】
// int raw = new int(10);
// std::shared_ptr
// std::shared_ptr
// 【推奨される解決策：std::make_sharedを使用する】
auto p1 = std::make_shared
// 既にshared_ptrで管理されているオブジェクトから、
// 別のshared_ptrを安全に生成する場合は shared_from_this() を使う
std::shared_ptr
p2->doSomething();
return 0;
}
5. 応用・注意点：現場で役立つアドバイス
現場での開発で陥りやすい罠として、「thisポインタからshared_ptrを作成しようとする」ケースがあります。クラスのメンバ関数内で、現在のインスタンスをスマートポインタとして外部に渡したい場合、単にstd::shared_ptr
これを解決するために、クラス定義でstd::enable_shared_from_this
また、そもそも「生ポインタをnewする」という記述自体をコードから排除し、可能な限りstd::make_uniqueやstd::make_sharedに置き換える設計を心がけてください。生ポインタを扱う機会を物理的に減らすことが、最も効果的なバグ予防策となります。
コメント