unique_ptr& operator=( unique_ptr&& r ) noexcept; | (1) | (constexpr since C++23) |
template< class U, class E > unique_ptr& operator=( unique_ptr<U, E>&& r ) noexcept; | (2) | (constexpr since C++23) |
unique_ptr& operator=( std::nullptr_t ) noexcept; | (3) | (constexpr since C++23) |
unique_ptr& operator=( const unique_ptr& ) = delete; | (4) |
r to *this as if by calling reset(r.release()) followed by assigning get_deleter() from std::forward<Deleter>(r.get_deleter()).std::is_move_assignable<Deleter>::value is true.Deleter is not a reference type, the behavior is undefined if Deleter is not MoveAssignable, or get_deleter() from an rvalue of type Deleter would throw an exception.Deleter is a reference type), the behavior is undefined if std::remove_reference<Deleter>::type is not CopyAssignable, or get_deleter() from an lvalue of type Deleter would throw an exception.r to *this as if by calling reset(r.release()) followed by assigning get_deleter() from std::forward<E>(r.get_deleter()).U is not an array type, unique_ptr<U, E>::pointer is implicitly convertible to pointer, and std::is_assignable<Deleter&, E&&>::value is true.unique_ptr<T[]>), this overload participates in overload resolution only if U is an array type, pointer is the same type as element_type*, unique_ptr<U, E>::pointer is the same type as unique_ptr<U, E>::element_type*, unique_ptr<U, E>::element_type(*)[] is convertible to element_type(*)[], and std::is_assignable<Deleter&, E&&>::value is true.E is not a reference type, the behavior is undefined if assigning get_deleter() from an rvalue of type E is ill-formed or would throw an exception.E is a reference type), the behavior is undefined if assigning get_deleter() from an lvalue of type E is ill-formed or would throw an exception.reset().| r | - | smart pointer from which ownership will be transferred |
*this
As a move-only type, unique_ptr's assignment operator only accepts rvalues arguments (e.g. the result of std::make_unique or a std::move'd unique_ptr variable).
#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";
}Output:
Foo 1 Creating new Foo... Foo 2 ~Foo 1 About to leave inner block... About to leave program... ~Foo 2
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 2047 | C++11 | for overload (2), get_deleter() was assigned fromstd::forward<Deleter>(r.get_deleter()) | corrected tostd::forward<E>(r.get_deleter()) |
| LWG 2118 | C++11 |
unique_ptr<T[]>::operator=rejected qualification conversions | accepts |
| LWG 2228 | C++11 | the converting assignment operator was not constrained | constrained |
| LWG 2899 | C++11 | the move assignment operator was not constrained | constrained |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/memory/unique_ptr/operator%3D