std::unique_ptr<T,Deleter>::operator=
来自 cppreference.cn
< cpp | memory | unique ptr
unique_ptr& operator=( unique_ptr&& r ) noexcept; |
(1) | (constexpr 自 C++23 起) |
template< class U, class E > unique_ptr& operator=( unique_ptr<U, E>&& r ) noexcept; |
(2) | (constexpr 自 C++23 起) |
unique_ptr& operator=( std::nullptr_t ) noexcept; |
(3) | (constexpr 自 C++23 起) |
| 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()。
仅当满足以下所有条件时，此重载才参与重载解析
- std::is_assignable<Deleter&, E&&>::value 为 true。
- 对于主模板，满足以下所有条件
-
U不是数组类型。 -
unique_ptr<U, E>::pointer可隐式转换为pointer，并且。
-
- 对于数组特化 (
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(*)[]。
-
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 << "Creating new Foo...\n"; std::unique_ptr<Foo> p2(std::make_unique<Foo>(2)); // p1 = p2; // Error ! can't copy unique_ptr p1 = std::move(p2); std::cout << "About to leave inner block...\n"; // Foo instance will continue to live, // despite p2 going out of scope } std::cout << "About to leave program...\n"; }
输出
Foo 1 Creating new Foo... Foo 2 ~Foo 1 About to leave inner block... About to leave program... ~Foo 2
[编辑] 缺陷报告
以下行为变更缺陷报告已追溯应用于先前发布的 C++ 标准。
| DR | 应用于 | 已发布行为 | 正确行为 |
|---|---|---|---|
| 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 (N4366) |
C++11 | 转换赋值运算符 缺少可赋值性约束 |
添加了约束 |
| LWG 2246 | C++11 | 转换后的 r 的删除器的赋值目标未指定 |
指定为 get_deleter() |
| LWG 2899 | C++11 | 移动赋值运算符未被约束 | 已约束 |
