std :: constructor allocuct/destroy vs. placement new/p-> ~ T()

Question

Per un mio progetto, sto scrivendo da zero alcuni contenitori STL (ho le mie ragioni). Poiché sto simulando così da vicino le funzionalità e le interfacce della STL, sto facendo del mio meglio per mantenere la politica "se ha lo stesso nome di un costrutto standard, sarà conforme allo standard il più possibile".

Quindi, ovviamente, i miei contenitori accettano gli allocatori come parametro di modello, il che è molto piacevole in quanto consente di utilizzare alcuni schemi di allocazione personalizzati. Alla mia domanda.

L'interfaccia std::allocator separa l'allocazione della memoria dalla costruzione dell'oggetto. Allo stesso modo separa la deallocazione dalla distruzione. Questo ha senso dal momento che si ottiene la memoria da è più o meno irrilevante per costruire correttamente un oggetto in C++.

Quindi ci sono due funzioni costruzione/deallocazione che assomigliano a questo per l'implementazione predefinita (sollevato direttamente da un libro):

void construct(pointer p, const T& val) { new(p) T(val); } 
void destroy(pointer p)     { p->~T(); } 

come si può vedere costruire chiama semplicemente nuova collocazione e distruggere chiama semplicemente il distruttore .

C'è qualche motivo per utilizzare questi semplicemente usando la sintassi del nuovo e del posizionamento? un allocatore "corretto" può implementarli in un altro modo? O sono garantito che tutte le implementazioni degli allocatori che sono conformi allo standard avranno dei metodi di costruzione/distruzione implementati in questo modo?

Più precisamente, è sicuro dire che posso sempre usare std::uninitialized_copy e std::uninitialized_fill per la costruzione degli elementi dei miei contenitori?

Grazie.

Answer 1

L'allocatore può aggiungere dichiarazioni di registrazione prima e dopo la costruzione/distruzione, o qualsiasi altro effetto collaterale che si prenda cura di fare.

Naturalmente la costruzione effettiva deve avvenire chiamando nuova collocazione e il distruttore, ma non dice nel libro delle regole che nient'altro deve avvenire nel costrutto funzioni/distruggere

Answer 2

Questo è solo per nascondere i dettagli di allocazione in un metodo. cioè, stiamo fornendo le API per la costruzione e la distruzione, in futuro possiamo cambiare l'implementazione. Ora stiamo usando il posizionamento nuovo per allocare la memoria, in futuro se vogliamo cambiare l'allocazione, dobbiamo solo cambiare questi due metodi.