La capacità è stata copiata in un vettore?

Question

prendere il codice seguente:

std::vector<int> a; 
a.reserve(65536); 
std::vector<int> b(a); //NOTE: b is constructed from a 

a.reserve(65536); // no reallocation 
b.reserve(65536); 

è la capacità copiato? Ci sarà una riallocazione sull'ultima riga? Lo standard dice qualcosa o è silenzioso?

Answer 1

Ebbene, un semplice controllo come il seguente rivela che la capacità non viene copiato:

std::vector<int> a; 
a.reserve(65536); 
cout << "a.capacity is " << a.capacity() << endl; // prints 65536 

std::vector<int> b(a); //NOTE: b is constructed from a 
cout << "b.capacity is " << b.capacity() << endl; // prints 0 

credo che al momento la copia di vettore a-b, la capacità di b è impostato sulla dimensione di a in più compilatori; anche se questo non è garantito.

Answer 2

Lo standard non dice nulla sulla conservazione della capacità quando si chiama il costruttore di copie. Quindi non hai alcuna garanzia al riguardo.

ma si può fare il seguente trucco, che scambiare A e di B dello stato, se avete bisogno di capacità di preservare nel solo la copia:

std::vector<int> a; 
a.reserve(65536); 
std::vector<int> b(a); 
b.swap(a); // now b has a's state 
assert(b.capacity() == 65536); 

Answer 3

è la capacità copiato?

In pratica, n. L'ho provato online su Clang and GCC e su MSVC e nessuno di loro copiava la capacità.

Ci sarà una riallocazione sull'ultima riga?

Se la capacità è inferiore al argomento di prenotare (vale a dire non venga copiato) allora sì.

Lo standard dice qualcosa o è silenzioso?

Nessuna definizione per il costruttore di copie è fornita in vector.cons. Invece dobbiamo guardare al container.requirements

X denota una classe contenitore contenente oggetti di tipo T, a e b valori denotano di tipo X, u indica un identificatore, r indica un valore non-const di tipo X e rv denota un valore non costante di tipo X.

X u(a)

X u = a;

Richiede:T è CopyInsertable in X (vedi sotto).

postale: u == a

Ora, cosa significa per due contenitori essere uguali?

a == b

== è una relazione di equivalenza. equal(a.begin(), a.end(), b.begin(), b.end())

In altre parole, dal momento che non richiede capacity essere uguali nel confronto, quindi non c'è motivo per copiare il capacity.

Answer 4

No, la capacità non è garantita da una costruzione di copia vector.

Potete farlo come segue:

vector<int> b; 
b.reserve(a.capacity()); 
b = a; 

Meglio incapsulato in una funzione.