Come riservo la memoria per un vettore std :: al momento della costruzione?

Question

Normalmente chiamo reserve su un std::vector subito dopo la sua costruzione. Ciò non dovrebbe in genere causare la distruzione dell'archiviazione esistente dello std::vector e sostituirla con una nuova? C'è un modo per riservare la memoria in fase di costruzione piuttosto che allocare lo spazio heap e quindi distruggerlo immediatamente? Oppure esiste un trucco di implementazione all'interno dello std::vector per garantire che questo non sia un problema?

I costruttori disponibili sembrano essere in grado di essere utili per riempire i valori con std::vector anziché riservare spazio esplicitamente.

Answer 1

La tua domanda si basa su una premessa errata, ovvero che uno std::vector<T> predefinito creerà un'allocazione [a lunghezza zero].

Non c'è letteralmente alcun motivo per farlo. Un vettore fresco dovrebbe avere la capacità zero (sebbene ciò sia richiesto dalla sanità mentale, non dallo standard).

Come tale, il tuo obiettivo è già intrinsecamente soddisfatto.

Per essere sincero, la libreria standard non è del tutto che stupido.

Answer 2

Se il numero di elementi è noto al momento della compilazione da voi, è possibile elencare-inizializzare il vettore con questi elementi:

class MyClass 
{ 
     int x, y, z; 
     std::vector<int> v; 

    public: 
     MyClass(int X, int Y, int Z) : x(X), y(Y), z(Z), v{x, y, z} 
     {} 
}; 

Ma questo non è molto bello da mantenere. Esistono tecniche più avanzate, come gli allocatori personalizzati, che è possibile utilizzare per fare in modo che lo std::vector utilizzi la memoria da un pool di memoria pre-allocato, ad esempio: dubito che sia davvero necessario. Le moderne implementazioni potrebbero ottimizzare facilmente un problema così semplice.

Answer 3

L'oggetto   std::vector e la sua matrice di elementi non esistono sullo stesso blocco di memoria contigua, altrimenti il ​​suo indirizzo cambierà ogni volta che ridimensioni l'array, rendendo impossibile mantenere un riferimento affidabile di esso. Il corpo principale dell'oggetto contiene solo variabili di controllo e un puntatore all'array effettivo, e sarà istanziato nello stack (supponendo che lo si utilizzi come variabile locale) insieme alle altre variabili locali. E in questo momento la matrice sarà vuota e probabilmente rappresentata da un puntatore a nullptr. Quindi non importa se hai reserve in fase di costruzione o subito dopo, non si verificherà alcun evento di ottimizzazione significativo.

Se si desidera un std::vector con dimensioni statiche riservate all'istante, è sufficiente utilizzare un normale array C anziché std::vector. Assicurati che si adatti allo stack.

Answer 4

Il motivo può essere ironico, stiamo esaurendo la firma della funzione.

Il requisito viene dal usando scenario che abbiamo esattamente sapere quanti elementi ci farà risparmiare in vettore ma davvero non mi piace il n-duplicato elementi costruttore:

std::vector(size_type count, const T& value = T()) 

Purtroppo la firma è occupato dal costruttore di cui sopra. Qualsiasi altra possibile firma potrebbe causare problemi. Per esempio.

1. vector(size_type count, size_type reserve_count) i conflitti con sopra n elementi-duplicato di costruzione per vettore di T(size_type).

2. vector(size_type count, const T& value = T(), size_type reserve_count) è una soluzione possibile ma è troppo lunga e ancora noiosa. Abbiamo bisogno di costruire un valore di default non usiamo mai durante la chiamata auto v = vector<T>(0, T(), reserve_count)

Altre soluzioni possibili:

1. fornisce una funzione simile make_pair/make_unique.

2. Definisce un Reserver, che deriva da allocator, in modo che possiamo utilizzare il costruttore vettore (const Allocator & alloc) come

auto v = vector<Type>(new Reserver(reserve_count));