std::uses_allocator

template< class T, class Alloc >
struct uses_allocator;

Если у T есть вложенный тип allocator_type, преобразуемый из Alloc, константа-член value равна true. В противном случае value равна false.

Вспомогательный шаблон переменной

template< class T, class Alloc >
constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;

Конструирование с использованием аллокатора

Существует три соглашения о передаче аллокатора alloc конструктору некоторого типа T:

• Если T не использует совместимый аллокатор (std::uses_allocator_v<T, Alloc> — false), то alloc игнорируется.
• В противном случае std::uses_allocator_v<T, Alloc> равно true, и
• если T использует соглашение с аллокатором в начале (вызывается как T(std::allocator_arg, alloc, args...)), то при конструировании с использованием аллокатора используется эта форма.
• если T использует соглашение с аллокатором в конце (вызывается как T(args..., alloc)), то при конструировании с использованием аллокатора используется эта форма.
• В противном случае программа некорректна (это означает, что std::uses_allocator_v<T, Alloc> равно true, но тип не соответствует ни одному из двух разрешённых соглашений).
• В особом случае std::pair считается типом, использующим аллокатор, несмотря на то что для пар std::uses_allocator равно false (в отличие, например, от std::tuple): см. перегрузки для пар std::pmr::polymorphic_allocator::construct и std::scoped_allocator_adaptor::construct(до C++20)std::uses_allocator_construction_args(начиная с C++20).

Специализации

Для типа, определённого программой T, у которого нет вложенного allocator_type, программа может специализировать std::uses_allocator так, чтобы он наследовался от std::true_type для T, если выполнено любое из следующих требований:

• T имеет конструктор, принимающий std::allocator_arg_t в качестве первого аргумента и Alloc в качестве второго аргумента.
• T имеет конструктор, принимающий Alloc в качестве последнего аргумента.

В приведённом выше случае Alloc — это тип, удовлетворяющий требованиям Allocator или являющийся типом указателя, преобразуемым в std::experimental::pmr::memory_resource*(расширение основных библиотек).

Стандартная библиотека уже предоставляет следующие специализации:

Примечания

Этот типовой признак используется в std::tuple, std::scoped_allocator_adaptor и std::pmr::polymorphic_allocator. Он также может использоваться пользовательскими аллокаторами или типами-обёртками, чтобы определить, может ли создаваемый объект или член сам использовать аллокатор (например, является ли он контейнером); в таком случае его конструктору следует передать аллокатор.

См. также