c++11 智能指针 （std::unique_ptr）（二）

定义于头文件 <memory>

template< class T, class Deleter = std::default_delete<T>>
 class unique_ptr; (1) (C++11 起) 

template < class T,class Deleter>
class unique_ptr<T[], Deleter>; (2) (C++11 起) 

析构函数

std::unique_ptr<T,Deleter>::~unique_ptr

~unique_ptr();        (C++11 起) 

若 get() == nullptr 则无效果。否则，通过 get_deleter()(get()) 销毁占有的对象。

要求 get_deleter()(get()) 不抛异常。

注意

即使拥有默认删除器的 std::unique_ptr<T> 能以不完整类型 T 构造，在调用析构函数的代码位置， T 必须完整。

调用示例

#include <iostream>
#include <memory>

int main()
{
    auto deleter = [](int* ptr)
    {
        std::cout << "[deleter called]\n";
        delete ptr;
    };

    std::unique_ptr<int, decltype(deleter)> uniq(new int, deleter);
    std::cout << (uniq ? "not empty\n" : "empty\n");
    uniq.reset();
    std::cout << (uniq ? "not empty\n" : "empty\n");
}

输出

 

为unique_ptr赋值

std::unique_ptr<T,Deleter>::operator=

初等模板 unique_ptr<T> 的成员

unique_ptr& operator=( unique_ptr&& r ) noexcept;      (1)  

template< class U, class E >
unique_ptr& operator=( unique_ptr<U,E>&& r ) noexcept; (1)  

unique_ptr& operator=( nullptr_t ) noexcept;           (2) 

数组特化 unique_ptr<T[]> 的成员

unique_ptr& operator=( unique_ptr&& r ) noexcept;         (1)  

template< class U, class E >
unique_ptr& operator=( unique_ptr<U,E>&& r ) noexcept;    (1) (C++17 起) 

unique_ptr& operator=( nullptr_t ) noexcept;              (2) 

1) 从 r 转移所有权到 *this ，如同以调用 reset(r.release()) 后随从 get_deleter() 到 std::forward<E>(r.get_deleter()) 的赋值。

若 Deleter 不是引用类型，则要求它为不抛出可移动赋值 (MoveAssignable) 。
若 Deleter 是引用类型，则要求 std::remove_reference<Deleter>::type 为不抛出可复制赋值 (CopyAssignable) 。
此赋值运算符的非模板版本仅若 std::is_move_assignable<Deleter>::value 为 true 才参与重载决议。
此赋值运算符的模板版本仅若 U 非数组类型且 unique_ptr<U,E>::pointer 可隐式转换为 pointer 且 std::is_assignable<Deleter&, E&&>::value 为 true (C++17 起)才参与重载决议。

数组的特化 std::unique_ptr<T[]> 中，此赋值运算符的模板版本表现与初等模板中相同，除了仅若下列皆为真才参与重载决议： U 是数组类型 pointer 与 element_type* 是同一类型 unique_ptr<U,E>::pointer 与 unique_ptr<U,E>::element_type* 是同一类型 unique_ptr<U,E>::element_type(*)[] 可转换为 element_type(*)[] std::is_assignable<Deleter&, E&&>::value 为 true

(C++17 起)

2) 与调用 reset() 等效。

注意 unique_ptr 的赋值运算符只接受典型地由 std::move 生成的右值。（ unique_ptr 类显式删除其左值复制构造函数和左值赋值运算符。）

参数

r

-

所有权将被转移的智能指针

返回值

*this

调用示例

#include <iostream>
#include <memory>

struct Foo
{
    Foo()
    {
        std::cout << "Foo\n";
    }
    ~Foo()
    {
        std::cout << "~Foo\n";
    }
};

int main()
{
    std::unique_ptr<Foo> p1;

    {
        std::cout << "Creating new Foo...\n";
        std::unique_ptr<Foo> p2(new Foo());
        // p1 = p2; // 错误！不能复制 unique_ptr
        p1 = std::move(p2);
        std::cout << "About to leave inner block...\n";

        // Foo 实例将继续生存，尽管 p2 离开作用域
    }

    std::cout << "About to leave program...\n";
}

输出