2010-07-19 21 views
145

¿Qué pasa con este programa?¿Por qué no puedo push_back un unique_ptr en un vector?

#include <memory> 
#include <vector> 

int main() 
{ 
    std::vector<std::unique_ptr<int>> vec; 

    int x(1); 
    std::unique_ptr<int> ptr2x(&x); 
    vec.push_back(ptr2x); //This tiny command has a vicious error. 

    return 0; 
} 

El error:

$ g++ -std=gnu++0x main.cpp 
In file included from c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c+ 
+/mingw32/bits/c++allocator.h:34:0, 
       from c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c+ 
+/bits/allocator.h:48, 
       from c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c+ 
+/memory:64, 
       from main.cpp:6: 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/bits/unique_ptr.h: I 
n member function 'void __gnu_cxx::new_allocator<_Tp>::construct(_Tp*, 
const _Tp&) [with _Tp = std::unique_ptr<int>, _Tp* = std::unique_ptr< 
int>*]': 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/bits/stl_vector.h:74 
5:6: instantiated from 'void std::vector<_Tp, _Alloc>::push_back(con 
st value_type&) [with _Tp = std::unique_ptr<int>, _Alloc = std::alloca 
tor<std::unique_ptr<int> >, value_type = std::unique_ptr<int>]' 
main.cpp:16:21: instantiated from here 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/bits/unique_ptr.h:20 
7:7: error: deleted function 'std::unique_ptr<_Tp, _Tp_Deleter>::uniqu 
e_ptr(const std::unique_ptr<_Tp, _Tp_Deleter>&) [with _Tp = int, _Tp_D 
eleter = std::default_delete<int>, std::unique_ptr<_Tp, _Tp_Deleter> = 
std::unique_ptr<int>]' 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/ext/new_allocator.h: 
105:9: error: used here 
In file included from c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c+ 
+/vector:69:0, 
       from main.cpp:7: 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/bits/unique_ptr.h: I 
n member function 'void std::vector<_Tp, _Alloc>::_M_insert_aux(std::v 
ector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const std::u 
nique_ptr<int>&}, _Tp = std::unique_ptr<int>, _Alloc = std::allocator< 
std::unique_ptr<int> >, std::vector<_Tp, _Alloc>::iterator = __gnu_cxx 
::__normal_iterator<std::unique_ptr<int>*, std::vector<std::unique_ptr 
<int> > >, typename std::vector<_Tp, _Alloc>::_Base::_Tp_alloc_type::p 
ointer = std::unique_ptr<int>*]': 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/bits/stl_vector.h:74 
9:4: instantiated from 'void std::vector<_Tp, _Alloc>::push_back(con 
st value_type&) [with _Tp = std::unique_ptr<int>, _Alloc = std::alloca 
tor<std::unique_ptr<int> >, value_type = std::unique_ptr<int>]' 
main.cpp:16:21: instantiated from here 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/bits/unique_ptr.h:20 
7:7: error: deleted function 'std::unique_ptr<_Tp, _Tp_Deleter>::uniqu 
e_ptr(const std::unique_ptr<_Tp, _Tp_Deleter>&) [with _Tp = int, _Tp_D 
eleter = std::default_delete<int>, std::unique_ptr<_Tp, _Tp_Deleter> = 
std::unique_ptr<int>]' 
c:\mingw\bin\../lib/gcc/mingw32/4.5.0/include/c++/bits/vector.tcc:314: 
4: error: used here 

Respuesta

238

Es necesario mover los unique_ptr:

vec.push_back(std::move(ptr2x)); 

unique_ptr garantiza que una sola unique_ptr contenedor tiene la propiedad del puntero celebrada. Esto significa que no puede hacer copias de unique_ptr (porque entonces dos unique_ptr s tendrían propiedad), por lo que solo puede moverlo.

Tenga en cuenta, sin embargo, que su uso actual de unique_ptr es incorrecto. No puede usarlo para administrar un puntero a una variable local. La vida útil de una variable local se gestiona automáticamente: las variables locales se destruyen cuando finaliza el bloque (por ejemplo, cuando la función vuelve, en este caso). Es necesario asignar dinámicamente el objeto:

std::unique_ptr<int> ptr(new int(1)); 
+11

Dado que solo puede haber uno, también se debe poder pasar un carácter temporal directamente al vector: 'vec.push_back (std :: unique_ptr (new int (1)));'. 'unique_ptr' también puede usar un eliminador personalizado (que no hace nada), pero luego debe tenerse en cuenta que la dirección de la variable local no es válida al final del alcance. – UncleBens

+17

Otra opción es usar 'emplace_back'. p.ej. 'vec.emplace_back (new int (1));' –

+60

@deft_code: No, eso no es seguro. La operación 'emplace_back' puede arrojar, y si lo hace, se filtrará el' int' dinámicamente asignado. La regla general es que todas las asignaciones dinámicas deben ser propiedad de un puntero inteligente con nombre para evitar fugas. –

15

std::unique_ptr no tiene constructor de copia. Crea una instancia y luego solicita al std::vector que copie esa instancia durante la inicialización.

error: deleted function 'std::unique_ptr<_Tp, _Tp_Deleter>::uniqu 
e_ptr(const std::unique_ptr<_Tp, _Tp_Deleter>&) [with _Tp = int, _Tp_D 
eleter = std::default_delete<int>, std::unique_ptr<_Tp, _Tp_Deleter> = 
std::unique_ptr<int>]' 

The class satisfies the requirements of MoveConstructible and MoveAssignable, but not the requirements of either CopyConstructible or CopyAssignable.

Los siguientes trabajos con los nuevos emplace llamadas.

std::vector< std::unique_ptr<int> > vec; 
vec.emplace_back(new int(1984)); 

Consulte using unique_ptr with standard library containers para obtener más información.

+1

Ver [este comentario] (https://stackoverflow.com/questions/3283778/why-can-i-not -push-back-a-unique-ptr-en-a-vector # comment11813799_3283795) - las funciones 'emplace_x()' no son seguras cuando se usan punteros inteligentes. – Qix

Cuestiones relacionadas