std::scoped_allocator_adaptor<OuterAlloc,InnerAlloc...>::construct

Определено в заголовке `<scoped_allocator>`
template< class T, class... Args > void construct( T* p, Args&&... args );	(1)
template< class T1, class T2, class... Args1, class... Args2 > void construct( std::pair<T1, T2>* p, std::piecewise_construct_t, std::tuple<Args1...> x, std::tuple<Args2...> y );	(2)	(до C++20)
template< class T1, class T2 > void construct( std::pair<T1, T2>* p );	(3)	(до C++20)
template< class T1, class T2, class U, class V > void construct( std::pair<T1, T2>* p, U&& x, V&& y );	(4)	(до C++20)
template< class T1, class T2, class U, class V > void construct( std::pair<T1, T2>* p, const std::pair<U, V>& xy );	(5)	(до C++20)
template< class T1, class T2, class U, class V > void construct( std::pair<T1, T2>* p, std::pair<U, V>&& xy );	(6)	(до C++20)
Вспомогательные шаблоны функций
template < class T, class... Args > std::tuple</* see below /> /concat-args*/( std::tuple<Args...>&& tup );	(7)	(до C++20) (только для иллюстрации*)

Создаёт объект в выделенном, но неинициализированном хранилище, на которое указывает p, используя внешний аллокатор и предоставленные аргументы конструктора. Если объект имеет тип, который сам использует аллокаторы, или если он является std::pair(до C++20), передаёт внутренний аллокатор создаваемому объекту.

1) Создаёт объект типа T посредством создания с использованием аллокатора в неинициализированной области памяти, обозначенной p, используя внешний аллокатор.

Пусть std::uses_allocator<T, inner_allocator_type>::value — это uses_inner:

Если uses_inner является false и std::is_constructible<T, Args...>::value является true, вызывает outermost-construct (p,std::forward<Args>(args)...).
В противном случае, если uses_inner и std::is_constructible<T, std::allocator_arg_t,inner_allocator_type&,Args...>::value оба являются true, вызывает outermost-construct (p,std::allocator_arg, inner_allocator(), std::forward<Args>(args)...).
В противном случае, если uses_inner и std::is_constructible<T, Args..., inner_allocator_type&>::value оба являются true, вызывает outermost-construct (p,std::forward<Args>(args)...,inner_allocator()).
В противном случае программа некорректна.

Эта перегрузка участвует в разрешении перегрузки только в том случае, если T не является специализацией std::pair.

(до C++20)

Эквивалентно std::apply ( [p,this](auto&&...newargs) { outermost-construct (p,std::forward<decltype(newargs)>(newargs)...); }, std::uses_allocator_construction_args (inner_allocator(),std::forward<Args>(args)...) );.

(начиная с C++20)

2-6) Создаёт объект std::pair посредством создания с использованием аллокатора в неинициализированной области памяти, обозначенной p, используя внешний аллокатор.

2) Пусть xprime будет concat-args <T1>(std::move(x)), а yprime — concat-args <T2>(std::move(y)); вызывает outermost-construct (p,std::piecewise_construct,std::move(xprime),std::move(yprime)).

3) Эквивалентно construct(p, std::piecewise_construct, std::tuple<>(), std::tuple<>());.

4-6) Эквивалентно construct(p, std::piecewise_construct,std::forward_as_tuple(xarg), std::forward_as_tuple(yarg));, где xarg и yarg определены следующим образом:

Перегрузка	`xarg`	`yarg`
(4)	`std::forward<U>(x)`	`std::forward<V>(y)`
(5)	`xy.first`	`xy.second`
(6)	`std::forward<U>(xy.first)`	`std::forward<V>(xy.second)`

7) Объединяет аргументы, содержащиеся в tup, и дополнительные аргументы, необходимые для создания с использованием аллокатора объекта типа T.

Пусть std::uses_allocator<T, inner_allocator_type>::value будет uses_inner:

Если uses_inner является false и std::is_constructible<T, Args...>::value является true, возвращает std::tuple<Args&&...>(std::move(tup)).
В противном случае, если uses_inner и std::is_constructible<T, std::allocator_arg_t,inner_allocator_type&,Args...>::value оба являются true, возвращает std::tuple_cat(std::tuple<std::allocator_arg_t, inner_allocator_type&>(std::allocator_arg, inner_allocator()),std::tuple<Args&&...>(std::move(tup))).
В противном случае, если uses_inner и std::is_constructible<T, Args..., inner_allocator_type&>::value оба являются true, возвращает std::tuple_cat(std::tuple<Args&&...>(std::move(tup)),std::tuple<inner_allocator_type&>(inner_allocator()).
В противном случае программа некорректна.

Параметры

p	-	указатель на выделенное, но неинициализированное хранилище
args	-	аргументы конструктора, передаваемые конструктору `T`
x	-	аргументы конструктора, передаваемые конструктору `T1`
y	-	аргументы конструктора, передаваемые конструктору `T2`
xy	-	пара, два элемента которой являются аргументами конструктора для `T1` и `T2`
tup	-	аргументы, подлежащие объединению

Примечания

Эта функция вызывается (через std::allocator_traits) любым объектом, учитывающим аллокатор, например std::vector, которому в качестве используемого аллокатора был передан std::scoped_allocator_adaptor. Поскольку inner_allocator_type сам является специализацией std::scoped_allocator_adaptor, эта функция также вызывается, когда объекты, учитывающие аллокатор и созданные с её помощью, начинают создавать собственные элементы.

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применяется к	Опубликованное поведение	Корректное поведение
LWG 2203	C++11	внутренние аллокаторы получались посредством инициализации значением объекта `inner_allocator_type`	получаются вызовом `inner_allocator()`
LWG 2511 (P0475R1)	C++11	`concat-args` мог копировать элементы `std::tuple`	устранены все операции копирования элементов
LWG 2586	C++11	проверялись только конструирования из rvalue `inner_allocator_type`	вместо этого проверяются конструирования из lvalue неконстантного `inner_allocator_type`
LWG 2975	C++11	перегрузка (1) не имела ограничений	добавлено ограничение, запрещающее `std::pair`

См. также

construct [статическая]	создаёт объект в выделенном хранилище (шаблон функции)
construct (до C++20)	создаёт объект в выделенном хранилище (открытая функция-член `std::allocator<T>`)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/memory/scoped_allocator_adaptor/construct