std::unique_ptr<T,Deleter>::operator=
来自 cppreference.cn
< cpp | memory | unique ptr
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())，然后赋值 get_deleter() 从 std::forward<Deleter>(r.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())，然后赋值 get_deleter() 从 std::forward<E>(r.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++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| 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 | 移动赋值运算符未受约束 | 已受约束 |
