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

unique_ptr& operator=( unique_ptr&& r ) noexcept;	(1)	(C++23 起 constexpr)
template< class U, class E > unique_ptr& operator=( unique_ptr<U, E>&& r ) noexcept;	(2)	(C++23 起 constexpr)
unique_ptr& operator=( std::nullptr_t ) noexcept;	(3)	(C++23 起 constexpr)
unique_ptr& operator=( const unique_ptr& ) = delete;	(4)

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

此重载只有在 std::is_move_assignable<Deleter>::value 是 true 时才会参与重载决议。

如果 Deleter 不是引用类型，那么在以下情况下行为未定义：

Deleter 不可移动赋值 (MoveAssignable) 。
将 Deleter 类型的右值赋给 get_deleter() 会抛出异常。

否则（Deleter 是引用类型），那么在以下情况下行为未定义：

std::remove_reference<Deleter>::type 不可复制赋值 (CopyAssignable) 。
将 Deleter 类型的左值赋给 get_deleter() 会抛出异常。

2) 转换赋值运算符。从 r 转移所有权到 *this，如同在调用 reset(r.release()) 后立即将 std::forward<E>(r.get_deleter()) 赋给 get_deleter()。

对于主模板，此重载只有在满足以下所有条件时才会参与重载决议：

U 不是数组类型。
unique_ptr<U, E>::pointer 可以隐式转换到 pointer。
std::is_assignable<Deleter&, E&&>::value 是 true。

对于数组特化（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。

如果 E 不是引用类型，那么在将 E 类型的右值赋给 get_deleter() 会非良构或者抛出异常时行为未定义。

否则（E 是引用类型），那么在将 E 类型的左值赋给 get_deleter() 会非良构或者抛出异常时行为未定义。

3) 与调用 reset() 等效。

4) 复制赋值运算符被显式删除。

参数

r

-

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

返回值

*this

注解

作为只能被移动的类型，unique_ptr 的赋值运算符只接受右值实参（例如 std::make_unique 的结果或已被 std::move 的 unique_ptr 变量）。

示例

运行此代码

#include <iostream>
#include <memory>
 
struct Foo
{
    int id;
    Foo(int id) : id(id) { std::cout << "Foo " << id << '\n'; }
    ~Foo() { std::cout << "~Foo " << id << '\n'; }
};
 
int main() 
{
    std::unique_ptr<Foo> p1(std::make_unique<Foo>(1));
 
    {
        std::cout << "创建新的 Foo...\n";
        std::unique_ptr<Foo> p2(std::make_unique<Foo>(2));
        // p1 = p2; // 错误！不能复制 unique_ptr
        p1 = std::move(p2);
        std::cout << "准备离开内层块...\n";
 
        // 即使 p2 将要离开作用域，但是 Foo 示例会继续生存
    }
 
    std::cout << "准备离开程序...\n";
}

输出：

Foo 1
创建新的 Foo...
Foo 2
~Foo 1
准备离开内层块...
准备离开程序...
~Foo 2

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
LWG 2047	C++11	对于重载 (2)，get_deleter() 会被赋予 std::forward<Deleter>(r.get_deleter())	改成 std::forward<E>(r.get_deleter())
LWG 2118	C++11	`unique_ptr<T[]>::operator=` 拒绝限定转换	接受
LWG 2228	C++11	转换赋值运算符未受约束	已约束
LWG 2899	C++11	移动赋值运算符未受约束	已约束

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

成员函数
unique_ptr::unique_ptr
unique_ptr::~unique_ptr
unique_ptr::operator=
修改器
unique_ptr::release
unique_ptr::reset
unique_ptr::swap
观察器
unique_ptr::get
unique_ptr::get_deleter
unique_ptr::operator bool
unique_ptr::operator*unique_ptr::operator->
unique_ptr::operator[]
非成员函数
make_uniquemake_unique_for_overwrite (C++14)(C++20)
operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20 前)(C++20)
operator<< (C++20)
std::swap
std::hash

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

参数

返回值

注解

示例

缺陷报告

导航