std::uses_allocator

template< class T, class Alloc > struct uses_allocator;

Если T имеет член-тип allocator_type, который можно преобразовать из Alloc или является алиасом std::experimental::erased_type(спецификация фундаментальных компонентов библиотеки), то член-константа value имеет значение true. В противном случае значение value равно false.

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

template< class T, class Alloc >
inline 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).

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

Разрешены пользовательские специализации типа-трейта std::uses_allocator для типов, не имеющих члена-типа allocator_type, но удовлетворяющих одному из следующих двух требований:

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

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

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

Примечания

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

См. также