導入：なぜスマートポインタが重要なのか
C++で開発をしていると、避けて通れないのが「例外処理」です。プログラムの途中でエラーが発生し、例外がスローされると、処理が中断されて関数の外へ飛び出してしまいます。もし、その関数内でメモリを確保（new）していた場合、適切に解放（delete）しないまま処理が終わってしまうと「メモリリーク」が発生します。この課題を劇的に解決してくれるのが、今回紹介する「スマートポインタ」です。
基礎知識：スマートポインタとRAII
スマートポインタとは、メモリ管理を自動化してくれる賢いポインタのことです。C++では「RAII（Resource Acquisition Is Initialization）」という考え方が重要です。これは「リソースの確保をオブジェクトの初期化と同時に行い、破棄をデストラクタに任せる」という手法です。
スマートポインタ（std::unique_ptrなど）は、スコープ（波括弧 { }）を抜ける瞬間に、自動的にデストラクタが呼ばれ、保持しているメモリを解放してくれます。たとえ途中で例外が発生しても、スタック巻き戻し（stack unwinding）という仕組みによって、このデストラクタが確実に実行されるようになっています。
実装：スマートポインタによる例外安全
従来の手動によるdelete管理では、例外が発生した瞬間にdeleteの手前で関数が終わってしまうリスクがありました。スマートポインタを使えば、明示的にdeleteを書く必要がなくなります。これにより、コードが短くなるだけでなく、例外が起きてもメモリが残らない「例外安全性」の高いプログラムが実現できます。
サンプルプログラム
以下のコードをコピーして動作を確認してみてください。std::unique_ptrを使うことで、例外が発生しても自動的にメモリが解放される様子がわかります。
include
include
include
// 資源を表すクラス
class Resource {
public:
Resource() { std::cout << "リソースを確保しました。" << std::endl; }
~Resource() { std::cout << "リソースを解放しました。" << std::endl; }
};
void process() {
// std::unique_ptrでリソースを管理
// これにより、スコープを抜けるときに必ず解放される
std::unique_ptr
std::cout << "処理を実行中..." << std::endl; // 何らかの理由で例外が発生したと仮定 throw std::runtime_error("エラーが発生しました！"); } int main() { try { process(); } catch (const std::exception& e) { std::cout << "例外をキャッチ: " << e.what() << std::endl; } return 0; }
応用・注意点：現場での活用
現場で最もよく使われるのはstd::unique_ptrです。これは「所有権」を明確にするため、コピーはできませんが、移動（std::move）は可能です。
注意点として、スマートポインタを使っているからといって、すべてを放置して良いわけではありません。例えば、スマートポインタを保持しているクラス自体が長生きしすぎると、その間はメモリが解放されません。また、循環参照が発生する場合はstd::shared_ptrとstd::weak_ptrを使い分ける必要があります。
まずは、通常のnew/deleteをstd::unique_ptrに置き換えることから始めてみてください。それだけで、あなたの書くC++コードは格段に安全で、現代的なものになります。
コメント