std:: uses_allocator

Definido en el encabezado <memory>
template < class T, class Alloc > struct uses_allocator ;		(desde C++11)

Si T tiene un tipo anidado allocator_type que es convertible desde Alloc , la constante miembro value es true . De lo contrario value es false .

Contenidos 1 Plantilla de variable auxiliar 2 Heredado de std:: integral_constant 2.1 Constantes miembro 2.2 Funciones miembro 2.3 Tipos miembro 2.4 Construcción con asignador 2.5 Especializaciones 2.6 Notas 2.7 Véase también

Plantilla de variable auxiliar

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

Construcción con asignador de memoria

Existen tres convenciones para pasar un asignador alloc a un constructor de algún tipo T :

• Si T no utiliza un asignador compatible ( std :: uses_allocator_v < T, Alloc > es false ), entonces alloc se ignora.
• De lo contrario, std :: uses_allocator_v < T, Alloc > es true , y

• si T utiliza la convención de asignador inicial (es invocable como T ( std:: allocator_arg , alloc, args... ) ), entonces la construcción con asignador utiliza esta forma.
• si T utiliza la convención de asignador final (es invocable como T ( args..., alloc ) ), entonces la construcción con asignador utiliza esta forma.
• De lo contrario, el programa está mal formado (esto significa que std :: uses_allocator_v < T, Alloc > es true , pero el tipo no sigue ninguna de las dos convenciones permitidas).

• Como caso especial, std::pair se trata como un tipo uses-allocator aunque std::uses_allocator sea false para pares (a diferencia de, por ejemplo, std::tuple ): consulte las sobrecargas específicas para pares de std::pmr::polymorphic_allocator::construct y std::scoped_allocator_adaptor::construct (until C++20) std::uses_allocator_construction_args (since C++20) .

Las funciones de utilidad std::make_obj_using_allocator , y std::uninitialized_construct_using_allocator pueden utilizarse para crear explícitamente un objeto siguiendo el protocolo anterior, y std::uses_allocator_construction_args puede utilizarse para preparar la lista de argumentos que coincida con la variante de construcción uses-allocator esperada por el tipo.

(desde C++20)

Especializaciones

Dado un tipo definido por el programa T que no tiene un allocator_type anidado, un programa puede especializar std::uses_allocator para derivar de std::true_type para T si se cumple cualquiera de los siguientes requisitos:

• T tiene un constructor que toma std::allocator_arg_t como primer argumento, y Alloc como segundo argumento.
• T tiene un constructor que toma Alloc como último argumento.

En lo anterior, Alloc es un tipo que satisface Allocator o es un tipo puntero convertible a std::experimental::pmr::memory_resource* (library fundamentals TS) .

Las siguientes especializaciones ya están proporcionadas por la biblioteca estándar:

std::uses_allocator <std::tuple> (C++11)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::queue> (C++11)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::priority_queue> (C++11)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::stack> (C++11)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::flat_map> (C++23)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::flat_set> (C++23)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::flat_multimap> (C++23)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::flat_multiset> (C++23)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::function> (C++11) (hasta C++17)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::promise> (C++11)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)
std::uses_allocator <std::packaged_task> (C++11) (hasta C++17)	especializa el rasgo de tipo std::uses_allocator (especialización de plantilla de clase)

Notas

Este rasgo de tipo es utilizado por std::tuple , std::scoped_allocator_adaptor , y std::pmr::polymorphic_allocator . También puede ser utilizado por asignadores personalizados o tipos contenedores para determinar si el objeto o miembro que se está construyendo es capaz de utilizar un asignador (por ejemplo, es un contenedor), en cuyo caso se debe pasar un asignador a su constructor.

Véase también

allocator_arg allocator_arg_t (C++11)	una etiqueta utilizada para seleccionar constructores conscientes del asignador (etiqueta)
uses_allocator_construction_args (C++20)	prepara la lista de argumentos que coincide con la variante de construcción uses-allocator requerida por el tipo dado (plantilla de función)
make_obj_using_allocator (C++20)	crea un objeto del tipo dado mediante construcción uses-allocator (plantilla de función)
uninitialized_construct_using_allocator (C++20)	crea un objeto del tipo dado en una ubicación de memoria específica mediante construcción uses-allocator (plantilla de función)
scoped_allocator_adaptor (C++11)	implementa un asignador multinivel para contenedores multinivel (plantilla de clase)