std:: uses_allocator

Definiert im Header <memory>
template < class T, class Alloc > struct uses_allocator ;		(seit C++11)

Falls T einen geschachtelten Typ allocator_type besitzt, der von Alloc konvertierbar ist, ist die Member-Konstante value gleich true . Andernfalls ist value gleich false .

Inhaltsverzeichnis 1 Hilfsvariablen-Template 2 Geerbt von std:: integral_constant 2.1 Member-Konstanten 2.2 Member-Funktionen 2.3 Member-Typen 2.4 Uses-allocator-Konstruktion 2.5 Spezialisierungen 2.6 Anmerkungen 2.7 Siehe auch

Hilfsvariablen-Template

template < class T, class Alloc > constexpr bool uses_allocator_v = uses_allocator < T, Alloc > :: value ;		(seit C++17)

Uses-allocator-Konstruktion

Es gibt drei Konventionen, um einen Allokator alloc an einen Konstruktor eines Typs T zu übergeben:

• Wenn T keinen kompatiblen Allokator verwendet ( std :: uses_allocator_v < T, Alloc > ist false ), wird alloc ignoriert.
• Andernfalls ist std :: uses_allocator_v < T, Alloc > true , und

• Falls T die Leading-Allocator-Konvention verwendet (aufrufbar als T ( std:: allocator_arg , alloc, args... ) ), dann verwendet die Uses-Allocator-Konstruktion diese Form.
• Falls T die Trailing-Allocator-Konvention verwendet (aufrufbar als T ( args..., alloc ) ), dann verwendet die Uses-Allocator-Konstruktion diese Form.
• Andernfalls ist das Programm fehlerhaft (dies bedeutet, dass std :: uses_allocator_v < T, Alloc > true ist, aber der Typ keiner der beiden erlaubten Konventionen folgt).

• Als Sonderfall wird std::pair als uses-allocator-Typ behandelt, obwohl std::uses_allocator für Paare false ist (im Gegensatz zu z.B. std::tuple ): siehe pairspezifische Überladungen von std::pmr::polymorphic_allocator::construct und std::scoped_allocator_adaptor::construct (bis C++20) std::uses_allocator_construction_args (seit C++20) .

Die Hilfsfunktionen std::make_obj_using_allocator und std::uninitialized_construct_using_allocator können verwendet werden, um explizit ein Objekt gemäß dem oben genannten Protokoll zu erstellen, und std::uses_allocator_construction_args kann verwendet werden, um die Argumentenliste vorzubereiten, die der Art der uses-allocator-Konstruktion entspricht, die vom Typ erwartet wird.

(since C++20)

Spezialisierungen

Gegeben ein programmdefinierter Typ T , der keinen geschachtelten allocator_type besitzt, kann ein Programm std::uses_allocator spezialisieren, um von std::true_type für T abzuleiten, falls eine der folgenden Anforderungen erfüllt ist:

• T verfügt über einen Konstruktor, der std::allocator_arg_t als ersten Parameter und Alloc als zweiten Parameter akzeptiert.
• T verfügt über einen Konstruktor, der Alloc als letzten Parameter akzeptiert.

Im obigen Kontext ist Alloc ein Typ, der die Anforderungen eines Allocator erfüllt oder ein Zeigertyp, der in std::experimental::pmr::memory_resource* (library fundamentals TS) konvertierbar ist.

Die folgenden Spezialisierungen werden bereits von der Standardbibliothek bereitgestellt:

std::uses_allocator <std::tuple> (C++11)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::queue> (C++11)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::priority_queue> (C++11)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::stack> (C++11)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::flat_map> (C++23)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::flat_set> (C++23)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::flat_multimap> (C++23)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::flat_multiset> (C++23)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::function> (C++11) (bis C++17)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::promise> (C++11)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)
std::uses_allocator <std::packaged_task> (C++11) (bis C++17)	spezialisiert das std::uses_allocator Typ-Trait (Klassen-Template-Spezialisierung)

Hinweise

Dieser Type Trait wird von std::tuple , std::scoped_allocator_adaptor und std::pmr::polymorphic_allocator verwendet. Er kann auch von benutzerdefinierten Allokatoren oder Wrapper-Typen verwendet werden, um zu bestimmen, ob das zu konstruierende Objekt oder Mitglied selbst in der Lage ist, einen Allokator zu verwenden (z.B. ein Container ist), in welchem Fall ein Allokator an seinen Konstruktor übergeben werden sollte.

Siehe auch

allocator_arg allocator_arg_t (C++11)	Ein Tag zur Auswahl von allocator-aware Konstruktoren (Tag)
uses_allocator_construction_args (C++20)	Bereitet die Argumentenliste passend zur uses-allocator Konstruktionsvariante für den gegebenen Typ vor (Funktionstemplate)
make_obj_using_allocator (C++20)	Erstellt ein Objekt des gegebenen Typs mittels uses-allocator Konstruktion (Funktionstemplate)
uninitialized_construct_using_allocator (C++20)	Erstellt ein Objekt des gegebenen Typs an einem spezifizierten Speicherort mittels uses-allocator Konstruktion (Funktionstemplate)
scoped_allocator_adaptor (C++11)	Implementiert einen mehrstufigen Allokator für mehrstufige Container (Klassentemplate)