【C++学習｜豆知識】C++開発の必須知識：unique_ptrを関数に「参照渡し」する正しい作法

導入

C++のメモリ管理において、std::unique_ptrは「所有権の排他」を保証する非常に強力なツールです。通常、unique_ptrはコピー禁止であるため、関数に渡す際は「値渡し（移動）」か「ポインタ/参照渡し（所有権の維持）」を行うのが一般的です。しかし、関数内でポインタ先をリセットしたり、動的に割り当て直したりしたい場合には、少し特殊な記法が必要になります。なぜこの「参照渡し」が必要なのか、そしてどのように実装すべきかを解説します。

基礎知識

std::unique_ptrは、特定のスコープが終了した際に自動的にメモリを解放するスマートポインタです。最大の制約は「コピーができない」ことであり、関数に引数として渡す際も、デフォルトでは所有権を移動（std::move）させる必要があります。しかし、所有権を関数側に移動させず、あくまで「関数内でポインタそのものを書き換えたい」というケースでは、unique_ptrの参照（std::unique_ptr&）を利用します。これにより、元のスコープにある変数の状態を、関数側から直接操作できるようになります。

実装/解決策

unique_ptrを引数として受け取る際、std::unique_ptr& を指定します。これにより、関数側で reset() を呼び出してメモリを解放したり、新しいインスタンスを割り当てたりすることが可能になります。注意点として、この手法は「呼び出し元のスコープで管理されているメモリを、関数側から制御する」という強い依存関係を作るため、設計上の意図を明確にする必要があります。

サンプルプログラム

以下のコードは、関数内でunique_ptrをリセットし、新しいオブジェクトを割り当てる例です。

#include
include

// unique_ptrを「参照渡し」で受け取る関数
// 引数として渡されたポインタを書き換えることが可能です
void reassign(std::unique_ptr& p) {
// 現在のメモリを解放し、新しい値で再確保する
p.reset(new int(200));
std::cout << "関数内で値を更新しました: " << p << std::endl; } int main() { // 100で初期化されたunique_ptrを作成 std::unique_ptr myPtr = std::make_unique(100);
std::cout << "更新前: " << myPtr << std::endl; // 参照渡しで関数を呼び出す reassign(myPtr); std::cout << "更新後: " << myPtr << std::endl; return 0; }

応用・注意点

注意点： 関数の目的が単に「中身の値を読み取るだけ」であれば、std::unique_ptr& を使う必要はありません。その場合は、p.get() で生ポインタを渡すか、const T& として値だけを参照する方が安全です。参照渡し（std::unique_ptr&）を使うのは、あくまで「所有権の対象を関数内で変更したい（再確保やリセット）」という明確な目的がある時だけに限定しましょう。また、多重スレッド環境では、この参照渡しがデータ競合の原因にならないよう、ミューテックスなどで適切に保護することを忘れないでください。