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

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

动态内存管理

未初始化内存算法 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) voidify (C++20) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) 受约束的未初始化内存算法 ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)   ranges::uninitialized_value_construct_n (C++20) 分配器 allocator allocator_traits (C++11) allocation_result (C++23) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) 内存资源 pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17)   pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) 垃圾收集支持 declare_reachable (C++11)(直到 C++23) undeclare_reachable (C++11)(直到 C++23) declare_no_pointers (C++11)(直到 C++23) undeclare_no_pointers (C++11)(直到 C++23) pointer_safety (C++11)(直到 C++23) get_pointer_safety (C++11)(直到 C++23) 未初始化存储 raw_storage_iterator (直到 C++20*) get_temporary_buffer (直到 C++20*) return_temporary_buffer (直到 C++20*) 显式生命周期管理 start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

智能指针 unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (直到 C++17*) owner_less (C++11) owner_less<void> (C++17) owner_hash (C++26) owner_equal (C++26) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) 低级内存 管理 operator new operator new[] operator delete operator delete[] get_new_handler (C++11) set_new_handler launder (C++17) bad_alloc bad_array_new_length (C++11) nothrow_t align_val_t (C++17) destroying_delete_t (C++20) new_handler nothrow 其他 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) C 库 malloc calloc realloc    aligned_alloc (C++17) free

 

std::scoped_allocator_adaptor

成员函数

scoped_allocator_adaptor::scoped_allocator_adaptor

scoped_allocator_adaptor::~scoped_allocator_adaptor

scoped_allocator_adaptor::operator=

scoped_allocator_adaptor::inner_allocator

scoped_allocator_adaptor::outer_allocator

scoped_allocator_adaptor::allocate

scoped_allocator_adaptor::deallocate

scoped_allocator_adaptor::max_size

scoped_allocator_adaptor::construct

scoped_allocator_adaptor::destroy

scoped_allocator_adaptor::select_on_container_copy_construction

非成员函数

operator==operator!= (直到 C++20)

推导指南(C++17)

 

定义在头文件 <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 T1, class T2, class NonPair > void construct( std::pair<T1, T2>* p, NonPair&& non_pair );	(7)	(直到 C++20)

使用 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) 使用 OUTERMOST 作为分配器，通过 使用分配器构造 在由 p 指示的未初始化内存位置创建一个给定类型 T 的对象。 调整后，使用 T 的构造函数所需的分配器约定，调用 OUTERMOST_ALLOC_TRAITS(*this)::construct.

此重载仅在 U 不是 std::pair 的特化时才参与重载解析。	(直到 C++20)
等同于 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)...     ) );	(自 C++20 起)

2) 首先，如果 T1 或 T2 都是分配器感知的，则根据以下三个规则修改元组 x 和 y 以包含适当的内部分配器，从而生成两个新的元组 xprime 和 yprime 2a) 如果 T1 不是分配器感知的 (std::uses_allocator<T1, inner_allocator_type>::value == false), 那么 xprime 是 std::tuple<Args1&&...>(std::move(x))。 （也需要 std::is_constructible<T1, Args1...>::value == true）。 2b) 如果 T1 是分配器感知的 (std::uses_allocator<T1, inner_allocator_type>::value == true), 并且其构造函数接受一个分配器标签 std::is_constructible<std::allocator_arg_t,                       inner_allocator_type&, Args1...>::value == true, 那么 xprime 是 std::tuple_cat(std::tuple<std::allocator_arg_t, inner_allocator_type&>(                     std::allocator_arg, inner_allocator()                ),                std::tuple<Args1&&...>(std::move(x))) 2c) 如果 T1 是分配器感知的 (std::uses_allocator<T1, inner_allocator_type>::value == true), 并且其构造函数将分配器作为最后一个参数接受 std::is_constructible<T1, Args1..., inner_allocator_type&>::value == true, 那么 xprime 是 std::tuple_cat(std::tuple<Args1&&...>(std::move(x)),                std::tuple<inner_allocator_type&>(inner_allocator())). 同样的规则适用于 T2 以及用 yprime 代替 y。 一旦 xprime 和 yprime 被构造，就会通过调用以下方法在分配的存储空间中构造对 p: std::allocator_traits<O>::construct(OUTERMOST,                                     p,                                     std::piecewise_construct,                                     std::move(xprime),                                   std::move(yprime)); 3) 等效于 construct(p, std::piecewise_construct, std::tuple<>(), std::tuple<>()), 也就是说，如果对的成员类型接受内部分配器，则将内部分配器传递给它们。 4) 等效于 construct(p, std::piecewise_construct, std::forward_as_tuple(std::forward<U>(x)),                                        std::forward_as_tuple(std::forward<V>(y))) 5) 等效于 construct(p, std::piecewise_construct, std::forward_as_tuple(xy.first),                                        std::forward_as_tuple(xy.second)) 6) 等效于 construct(p, std::piecewise_construct,              std::forward_as_tuple(std::forward<U>(xy.first)),              std::forward_as_tuple(std::forward<V>(xy.second))) 7) 此重载仅当给出仅供说明的函数模板时才参与重载解析 template<class A, class B> void /*deduce-as-pair*/(const std::pair<A, B>&);, /*deduce-as-pair*/(non_pair) 当被视为未评估的操作数时，是不合法的。 等效于 construct<T1, T2, T1, T2>(p, std::forward<NonPair>(non_pair));.

(直到 C++20)

参数

p	-	指向已分配但未初始化的存储空间的指针
args...	-	要传递给 T 的构造函数的构造函数参数
x	-	要传递给 T1 的构造函数的构造函数参数
y	-	要传递给 T2 的构造函数的构造函数参数
xy	-	该对的两个成员是 T1 和 T2 的构造函数参数
non_pair	-	非 pair 参数，转换为 pair 以供进一步构造

返回值

(无)

注释

此函数由任何分配器感知的对象（如 std::vector）调用（通过 std::allocator_traits），该对象被赋予了 std::scoped_allocator_adaptor 作为要使用的分配器。由于 inner_allocator 本身是 std::scoped_allocator_adaptor 的实例，因此当通过此函数构造的分配器感知对象开始构造它们自己的成员时，也会调用此函数。

缺陷报告

以下行为更改缺陷报告被追溯应用于以前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 2975	C++11	第一个重载在某些情况下被错误地用于对构造函数	受限于不接受对
P0475R1	C++11	对的分段构造可能会复制参数	转换为元组的引用以避免复制
LWG 3525	C++11	没有重载可以处理可转换为对的非对类型	添加了重构重载

另请参阅

construct [static]	在分配的存储空间中构造一个对象 (函数模板)
construct (直到 C++20)	在分配的存储空间中构造一个对象 (std::allocator<T> 的公共成员函数)