Perché non posso push_back un unique_ptr in un vettore?

Question

Cosa c'è di sbagliato in questo programma?

#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; 
} 

L'errore:

$ 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 

Answer 1

È necessario spostare le unique_ptr:

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

unique_ptr garantisce che un unico contenitore unique_ptr ha la proprietà del puntatore tenuto. Ciò significa che non è possibile effettuare copie di un unique_ptr (perché due di proprietà di unique_ptr avranno la proprietà), quindi è possibile spostarlo solo.

Si noti, tuttavia, che l'utilizzo corrente di unique_ptr non è corretto. Non è possibile utilizzarlo per gestire un puntatore a una variabile locale. La durata di vita di una variabile locale viene gestita automaticamente: le variabili locali vengono distrutte al termine del blocco (ad esempio, quando la funzione restituisce, in questo caso). È necessario allocare dinamicamente l'oggetto:

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

Answer 2

std::unique_ptr non ha costruttore di copia. Si crea un'istanza e si chiede allo std::vector di copiare quell'istanza durante l'inizializzazione.

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.

le seguenti opere con le nuove emplace chiamate.

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

Vedere using unique_ptr with standard library containers per ulteriori informazioni.