std::unique_ptr::operator=
De cppreference.com
<tbody>
</tbody>
| Miembros de la plantilla primaria, unique_ptr<T> |
||
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) |
| Miembros de la especialización para arrays, unique_ptr<T[]> |
||
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) |
1) Operador de asignación de movimiento. Transfiere la posesión de
r a *this como si se llamara a reset(r.release()) seguido por una asignación de get_deleter() de std::forward<Deleter>(r.get_deleter()).
Si Deleter no es un tipo referencia, requiere que sea nothrow-MoveAssignable.
Si Deleter es un tipo referencia, requiere que std::remove_reference<Deleter>::type sea nothrow-CopyAssignable.
El operador de asignación de movimiento solo participa en la resolución de sobrecarga si std::is_move_assignable<Deleter>::value es true.
2) Operador de asignación de conversión. Se comporta igual que (1), excepto que
- Este operador de asignación de la plantilla primaria solo participa en la resolución de sobrecarga si
Uno es un tipo array yunique_ptr<U,E>::pointeres convertible implícitamente apointerystd::is_assignable<Deleter&, E&&>::valueestrue. - Este operador de asignación en la especialización para arrays,
std::unique_ptr<T[]>se comporta igual que en la plantilla primaria, excepto que solo participará en la resolución de sobrecarga si todo lo siguiente es verdadero:
Ues un tipo array;pointeres el mismo tipo queelement_type*;unique_ptr<U,E>::pointeres el mismo tipo queunique_ptr<U,E>::element_type*;unique_ptr<U,E>::element_type(*)[]es convertible aelement_type(*)[];std::is_assignable<Deleter&, E&&>::valueestrue.
3) Efectivamente lo mismo que llamar a
reset().Ten en cuenta que el operador de asignación de unique_ptr solo acepta r-valores, que se generan típicamente por std::move (la clase unique_ptr elimina explícitamente su constructor de copia l-valor y su operador de asignación l-valor).
Parámetros
| r | - | Puntero inteligente desde el que se transferirá la posesión. |
Valor de retorno
*this
Ejemplo
Ejecuta este código
#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 << "Creando un nuevo objeto Foo...\n";
std::unique_ptr<Foo> p2( std::make_unique<Foo>(2) );
// p1 = p2; // ERROR: no se puede copiar un unique_ptr
p1 = std::move(p2);
std::cout << "A punto de salir del bloque interno...\n";
// La instancia de Foo instance continuará viviendo,
// a pesar de que p2 saldrá de ámbito
}
std::cout << "A punto de salir del programa...\n";
}
Salida:
Foo 1
Creando un nuevo objeto Foo...
Foo 2
~Foo 1
A punto de salir del bloque interno...
A punto de salir del programa...
~Foo 2
Informes de defectos
Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.
| ID | Aplicado a | Comportamiento según lo publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 2118 | C++11 | unique_ptr<T[]>::operator= rechazaba las conversiones de calificación.
|
Las acepta. |
| LWG 2228 | C++11 | El operador de asignación de conversión no estaba restringido. | Se restringió. |
| LWG 2899 | C++11 | El operador de asignación de movimiento no estaba restringido. | Se restringió. |