template< class T1, class T2 >
void construct( std::pair<T1, T2>* p );

template< class T1, class T2, class U, class V >
void construct( std::pair<T1, T2>* p, U&& x, V&& y );

template< class T1, class T2, class U, class V >
void construct( std::pair<T1, T2>* p, const std::pair<U, V>& xy );

template< class T1, class T2, class U, class V >
void construct( std::pair<T1, T2>* p, std::pair<U, V>&& xy );

用 OuterAllocator 与提供的构造函数参数在 p 所指向的分配但未初始化的存储构造对象。若对象是自身使用分配器的类型，或若它是 std::pair ，则下传 InnerAllocator 给构造的对象。

首先，调用 this->outer_allocator() 获得最外层分配器 OUTERMOST ，然后在此调用的结果上递归调用 outer_allocator() 成员函数直至抵达无这种成员函数的分配器。

定义 OUTERMOST_ALLOC_TRAITS(x) 为 std::allocator_traits<std::remove_reference_t<decltype(OUTERMOST(x))>>

1) 以使用分配器构造的手段在 p 所指示的未初始化内存位置，以 OUTERMOST 为分配器创建给定类型 T 的对象。在为 T 的构造函数所期待的使用分配器约定调整后，调用 OUTERMOST_ALLOC_TRAITS(*this)::construct 。

std::apply(
    [p,this](auto&&... newargs) {
        OUTERMOST_ALLOC_TRAITS(*this)::construct(
            OUTERMOST(*this), p, std::forward<decltype(newargs)>(newargs)...);
    },
    std::uses_allocator_construction_args(
        inner_allocator(),
        std::forward<Args>(args)...
    )
);

参数

返回值

（无）

注意

此函数为任何给予了 std::scoped_allocator_adaptor 作为分配器使用的具分配器对象，例如 std::vector 所调用（通过 std::allocator_traits ）。因为 inner_allocator 自身是 std::scoped_allocator_adaptor 的实例，此函数亦在具分配器对象通过此函数开始构造其自身成员时得到调用。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

参阅