導入
C++でメモリ管理を自動化するために欠かせないスマートポインタですが、複数のオブジェクトが相互に参照し合うような構造では、shared_ptrだけでは「循環参照」が発生し、メモリリークの原因となります。これを解決するのがweak_ptrです。今回は、監視対象がまだメモリ上に存在するかを安全に確認し、一時的に利用権を得るための手法である「weak_ptr::lock」について解説します。
基礎知識
shared_ptrは、参照カウントを管理してメモリを共有します。しかし、お互いを指し合っていると参照カウントがゼロにならず、メモリが解放されません。そこで、参照カウントには関与しないweak_ptrの出番です。
weak_ptrは、あくまで「監視役」です。メモリの実体はshared_ptrが管理しており、weak_ptrは「今、そのメモリはまだ有効か？」を確認する役割を持ちます。その確認と利用をアトミック（不可分）に行うのがlock()メソッドです。
実装/解決策
weak_ptr::lock()を呼び出すと、以下の動作が発生します。
1. 管理対象が生存していれば、そのメモリを指すshared_ptrを生成して返します（参照カウントが増加します）。
2. すでにメモリが解放されていれば、空のshared_ptrを返します。
これにより、「ポインタが有効か確認した直後に解放される」という競合状態を避けて、安全にオブジェクトへアクセスできます。
サンプルプログラム
以下のコードは、weak_ptrを使って安全にオブジェクトを参照する典型的な例です。
include
include
class MyClass {
public:
void doSomething() { std::cout << "メソッドが実行されました。" << std::endl; }
};
int main() {
// 管理対象となるshared_ptrを作成
std::shared_ptr
// weak_ptrで監視を開始（参照カウントは増えない）
std::weak_ptr
// wp.lock()で一時的にshared_ptrへ昇格させる
if (auto locked_sp = wp.lock()) {
// ここではshared_ptrとして安全にアクセス可能
locked_sp->doSomething();
} else {
std::cout << "オブジェクトは既に解放されています。" << std::endl;
}
// spを破棄すると、wp.lock()は失敗するようになる
sp.reset();
if (auto locked_sp = wp.lock()) {
locked_sp->doSomething();
} else {
std::cout << "オブジェクトが解放されたため、アクセスを回避しました。" << std::endl;
}
return 0;
}
応用・注意点
現場で活用する際のポイントは、lock()が返すshared_ptrをローカル変数として保持することです。
lock()の戻り値を直接使わずに、必ずif (auto sp = wp.lock())のようにスコープ内で受け取ることで、そのスコープを抜けるまでオブジェクトの生存が保証されます。もしlock()の結果を保持せずに直接メソッドを呼ぶと、評価のタイミングによっては予期せぬタイミングでオブジェクトが消滅し、セグメンテーション違反を引き起こす可能性があるため注意してください。また、マルチスレッド環境下でも、lock()は安全にオブジェクトの生存確認が行えるため、スレッドセーフな設計に非常に有効です。
コメント