初等模板 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) | |
r
转移所有权到 *this ,如同以调用 reset(r.release()) 后随从 get_deleter() 到 std::forward<E>(r.get_deleter()) 的赋值。 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 起) |
注意 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