namespace std {
  // 単一オブジェクト版
  template <class T, class D = std::default_delete<T>>
  class unique_ptr;

  // 配列版
  template <class T, class D>
  class unique_ptr<T[], D>;
}

概要

unique_ptrは指定されたリソースへのポインタの所有権(ownership)を唯一(unique)持っているように振舞うスマートポインタである。auto_ptrを置き換えるものとしてC++に追加された。

unique_ptrはコピー不可能なクラスである。代わりにムーブによって所有権を他のunique_ptr へ譲渡することができる。また、shared_ptrはunique_ptrを受け取るムーブコンストラクタとムーブ代入演算子を持つ。

new[]演算子で作成された配列へのポインタにも対応している。

• T[]時にdelete[]を呼び出すようにdefault_deleteを特殊化している。auto_ptrでは配列を渡すことができなかった（正確にはデストラクタでdelete[]ではなくdeleteが呼び出されるため上手く動作しない）。
• unique_ptr自体もT[]時には部分特殊化され、operator[]によるアクセスを提供している。

適格要件

• C++26 : T*が有効な型とならないunique_ptr<T&, D>やunique_ptr<int() const, D>のような特殊化の実体化がないこと

メンバ関数

単一オブジェクト版(unique_ptr<T>)固有のメンバ関数

配列版(unique_ptr<T[]>)固有のメンバ関数

メンバ型

非メンバ関数

ハッシュサポート

例

#include <cstdlib>
#include <memory>
#include <iostream>
#include <utility>

struct hoge {
  hoge() { std::cout << "hoge::hoge()" << std::endl; }
  ~hoge() { std::cout << "hoge::~hoge()" << std::endl; }
};

int main() {
  std::unique_ptr<hoge> p0(new hoge());

  // hogeオブジェクトの所有権をp0からp1に移動
  // p0は何も所有していない状態になる
  std::unique_ptr<hoge> p1(std::move(p0));

  if (p0) {
    std::abort(); // p0は空
  }

  // p1が所有しているリソースが解放される
}

出力

hoge::hoge()
hoge::~hoge()

バージョン

言語

• C++11

処理系

• Clang: 9.0.1 ✅
• GCC: 4.4 ✅, 4.7.2 ✅
• Visual C++: 2010 ✅

関連項目

• std::shared_ptrの推論補助

参照

• C++11 右辺値参照・ムーブセマンティクス
• Rvalue Reference Recommendations for Chapter 20
  • unique_ptrの追加とauto_ptrの非推奨の提案文書。
• LWG Issue 673. unique_ptr update
  • unique_ptr<void, Deleter>を許可するために、インタフェースを改良した経緯
• LWG Issue 762. std::unique_ptr requires complete type?
• N4089 Safe conversions in unique_ptr<T[]>, revision 2
• LWG Issue 978. Hashing smart pointers
  • C++11で、hashクラスの特殊化が追加された。非順序連想コンテナのキーとしてスマートポインタを使えるようにするため
• LWG Issue 4144. Disallow unique_ptr<T&, D>
  • C++26で、T*が有効な型とならない特殊化（unique_ptr<T&, D>など）の実体化が不適格であることが明確化された