Que respuesta mas corta va a ser esta: si, lo estás usando bien :-)
La principal diferencia entre un std::shared_ptr< >
y un std::unique_ptr< >
es muy simple: el primero se puede copiar; el segundo, no se puede copiar.
De ahí la diferencia en el nombre:
std::shared_ptr< >
: puntero compartido. Varias instancias pueden apuntar a un mismo objeto físico, copiandose entre ellas. Eldeleter
no se llama hasta que la última instancia delstd::shared_ptr< >
se destruye.struct Datos { }; auto sptr1 = make_shared< Datos >( ); auto sptr2 = uptr1; // OK.
std::unique_ptr< >
: puntero único. Solo una instancia puede apuntar a un objeto físico. Eldeleter
se llama en cuanto se destruye la única instancia delstd::unique_ptr< >
que puede existir.struct Datos { }; std::unique_ptr< Datos > uptr1{ new Datos }; std::unique_ptr< Datos > uptr2 = uptr1; // ERROR
Ambos tipos se pueden retornar por copia perfectamente; de hecho, es la forma correcta de hacerlo:
return make_shared< Datos >( );
return std::unique_ptr< Datos >{ new Datos };
Si es compilador es bobo, en ambos casos llamará al move-copy-constructor para retornar el valor; y, si es algo mas inteligente (y las circunstancias lo permiten) realizará una copy elision
, con lo que llamará directamente al constructor, ahorrándose las llamadas al move-copy-constructor y las operaciones de movimento implicadas.
Un posible inconveniente que te puedes encontrar al usar std::unique_ptr< >
es la necesidad de usar std::move< >
para pasarlo como argumento a funciones:
void funcion( std::unique_ptr< Datos > &&argumento );
...
int main( ) {
std::unique_ptr< Datos > uptr{ new Datos };
funcion( uptr );
error: cannot bind rvalue reference
La forma correcta sería:
void funcion( std::unique_ptr< Datos > &&argumento );
...
int main( ) {
std::unique_ptr< Datos > uptr = new Datos;
funcion( std::move( uptr ) ); // Ok
Por supuesto, al moverlo como argumento a función tu variable uptr
pasaría a tener el valor nullptr
, así que cuidadito :-)