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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

内存管理库

voidify (仅用于阐述*) 分配器 allocator allocator_traits (C++11) allocation_result (C++23) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) 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) 未初始化内存算法 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) construct_at (C++20) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) destroy_at (C++17) 受约束的未初始化内存算法 ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::uninitialized_copy_n (C++20)  ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::construct_at (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::destroy (C++20) ranges::uninitialized_default_construct_n (C++20)  ranges::uninitialized_value_construct_n (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) 内存资源 pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::pool_options (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) 显式生存期管理 start_lifetime_as (C++23) start_lifetime_as_array (C++23) 用于复合类设计的类型 indirect (C++26) polymorphic (C++26) 未初始化存储(C++20 前) raw_storage_iterator (C++17 弃用) get_temporary_buffer (C++17 弃用) return_temporary_buffer (C++17 弃用) 垃圾收集器支持(C++23 前) declare_reachable (C++11)(C++23 前) declare_no_pointers (C++11)(C++23 前) pointer_safety (C++11)(C++23 前) undeclare_reachable (C++11)(C++23 前) undeclare_no_pointers (C++11)(C++23 前) get_pointer_safety (C++11)(C++23 前)

低层内存管理 operator newoperator new[] operator deleteoperator delete[] nothrow_t nothrow new_handler set_new_handler get_new_handler (C++11) bad_alloc bad_array_new_length (C++11) align_val_t (C++17) destroying_delete_t (C++20) launder (C++17) 智能指针 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) 杂项 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26) C 库 malloc calloc realloc free aligned_alloc (C++17)

 

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

scoped_allocator_adaptor::outermost scoped_allocator_adaptor::outermost-construct scoped_allocator_adaptor::outermost-destroy

非成员函数

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, conststd::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</* 见下文 */>/*concat-args*/(std::tuple<Args...>&& tup );	(7)	(仅用于阐述*) (C++20 前)

在 p 所指向的分配但未初始化的存储中，用外层分配器与提供的构造函数实参构造对象。如果对象具有的类型是自身使用分配器的类型或 std::pair(C++20 前)，那么就会下传内层分配器给构造的对象。

1) 以使用分配器构造的方式，用最外层分配器在由 p 指示的未初始化内存位置创建 T 类型对象。

给定 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) 以使用分配器构造的方式，用最外层分配器在由 p 指示的未初始化内存位置创建 std::pair 特化类型对象。

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 构造函数实参的 pair
non_pair	-	转换成 pair 以进行进一步构造的非 pair 实参
tup	-	要被合并的实参

注解

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

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
LWG 2203	C++11	内层分配器通过值初始化 inner_allocator_type 对象获取	通过调用 inner_allocator() 获取
LWG 2511 (P0475R1)	C++11	concat-args 可能会复制 std::tuple 元素	消除所有元素复制操作
LWG 2586	C++11	只检查从 inner_allocator_type 右值进行的构造	改为检查从 inner_allocator_type 的非 const 左值进行的构造
LWG 2975	C++11	重载 (1) 没有被约束	添加约束以拒绝 std::pair

参阅

construct [静态]	在已分配存储中构造对象 (函数模板)
construct (C++20 前)	在分配的存储中构造对象 (std::allocator<T> 的公开成员函数)