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

< cpp‎ | memory‎ | unique ptr

主模板 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; | (2) |
unique_ptr& operator=( std::nullptr_t ) noexcept; | (3) |
数组特化 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; | (2) |
unique_ptr& operator=( std::nullptr_t ) noexcept; | (3) |

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

若 `Deleter` 不是引用类型，则要求它为不抛出可移动赋值 (MoveAssignable) 。
若 `Deleter` 是引用类型，则要求 `std::remove_reference<Deleter>::type` 为不抛出可复制赋值 (CopyAssignable) 。

移动赋值运算符仅若 std::is_move_assignable<Deleter>::value 为 true 才参与重载决议。
2) 转换赋值运算符。行为同 (1) ，除了

- 主模板的此赋值运算符仅若 `U` 非数组类型且 unique_ptr<U,E>::pointer 可隐式转换为 `pointer` 且 std::is_assignable<Deleter&, E&&>::value 为 true 才参与重载决议。
- 数组特化 `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

3) 与调用 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( std::make_unique<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";
    }

输出：

    Creating new Foo...
    Foo
    About to leave inner block...
    About to leave program...
    ~Foo

### 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR | 应用于 | 出版时的行为 | 正确行为
--- | --- | --- | ---
LWG 2118 | C++11 | `unique_ptr<T[]>::operator=` 拒绝限定转换 | 接受
LWG 2228 | C++11 | 转换赋值运算符未受约束 | 已约束
LWG 2899 | C++11 | 移动赋值运算符未受约束 | 已约束