Ist 'std :: allocator <T> :: construct' threadsicher, wenn verschiedene Elemente konstruiert werden?

Question

Gewährleistet der C++ - Standard, dass das Konstruieren verschiedener Elemente mit std :: allocator Thread-sicher ist? Zum Beispiel:

// main thread 
std::allocator<T> alloc; 
auto *p = alloc.allocate(2); 

// thread1 
alloc.construct(p); 

// thread2 
alloc.construct(p + 1) 

Ist auch std :: allocator :: für verschiedene Elemente Thread-Safe zu zerstören?

Danke!

Answer 1

20.7.9.1 Zuordner Mitglieder [allocator.members]

1, mit Ausnahme des destructor, Elementfunktionen der Standard-Zuordner wurden keine Daten Rassen (1.10) als Ergebnis gleichzeitiger Anrufe auf das Mitglied einführen funktioniert von verschiedenen Threads. Aufrufe an diese Funktionen , die eine bestimmte Speichereinheit zuordnen oder freigeben, müssen in einer einzigen Gesamtbestellung erfolgen, und jeder solcher Zuteilungsaufruf muss vor der nächsten Zuweisung (falls vorhanden) in dieser Reihenfolge erfolgen.

Also ja, gleichzeitige Anrufe zu construct und destroy auf std::allocator<T> sind garantiert Thread-sicher sein.