std::pmr::polymorphic_allocator<T>::construct

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

内存管理库

voidify (仅为解释用途*) 未初始化内存算法 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) 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) C 库 malloc calloc realloc aligned_alloc (C++17) free

分配器 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) is_sufficiently_aligned (C++26)

 

std::pmr::polymorphic_allocator

成员函数

polymorphic_allocator::polymorphic_allocator

polymorphic_allocator::allocate

polymorphic_allocator::deallocate

polymorphic_allocator::construct

polymorphic_allocator::destroy (C++20/26*)

polymorphic_allocator::allocate_bytes (C++20)

polymorphic_allocator::deallocate_bytes (C++20)

polymorphic_allocator::allocate_object (C++20)

polymorphic_allocator::deallocate_object (C++20)

polymorphic_allocator::new_object (C++20)

polymorphic_allocator::delete_object (C++20)

polymorphic_allocator::select_on_container_copy_construction

polymorphic_allocator::resource

非成员函数

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

 

template< class U, class... Args > void construct( U* p, Args&&... args );	(1)	(自 C++17 起)
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++17 起) (直到 C++20)
template< class T1, class T2 > void construct( std::pair<T1, T2>* p );	(3)	(自 C++17 起) (直到 C++20)
template< class T1, class T2, class U, class V > void construct( std::pair<T1, T2>* p, U&& x, V&& y );	(4)	(自 C++17 起) (直到 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++17 起) (直到 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++17 起) (直到 C++20)
template< class T1, class T2, class NonPair > void construct( std::pair<T1, T2>* p, NonPair&& non_pair );	(7)	(自 C++17 起) (直到 C++20)

在 p 指向的已分配但未初始化的存储中，使用提供的构造函数实参构造对象。如果对象本身的类型使用了分配器，或者它是 std::pair，则将 *this 传递给构造的对象。

1) 通过使用分配器的构造，在 p 指示的未初始化内存位置创建给定类型 U 的对象，并使用 *this 作为分配器。仅当 U 不是 std::pair 的特化时，此重载才参与重载决议。(直到 C++20)

2) 首先，如果 T1 或 T2 中的任何一个是 allocator-aware，则根据以下三个规则修改元组 x 和 y 以包含 this->resource()，从而得到两个新的元组 xprime 和 yprime 2a) 如果 T1 不是 allocator-aware ( std::uses_allocator<T1, polymorphic_allocator>::value==false ) 且 std::is_constructible<T1, Args1...>::value==true，则 xprime 是未修改的 x。 2b) 如果 T1 是 allocator-aware ( std::uses_allocator<T1, polymorphic_allocator>::value==true )，并且其构造函数接受分配器标签 ( std::is_constructible<T1, std::allocator_arg_t, polymorphic_allocator, Args1...>::value==true )，则 xprime 是 std::tuple_cat(std::make_tuple(std::allocator_arg, *this), std::move(x))。 2c) 如果 T1 是 allocator-aware ( std::uses_allocator<T1, polymorphic_allocator>::value==true )，并且其构造函数将分配器作为最后一个参数 ( std::is_constructible<T1, Args1..., polymorphic_allocator>::value==true )，则 xprime 是 std::tuple_cat(std::move(x), std::make_tuple(*this))。 2d) 否则，程序是非良构的。 相同的规则适用于 T2 以及将 y 替换为 yprime。 一旦构造了 xprime 和 yprime，就像通过 ::new((void *) p) pair<T1, T2>(std::piecewise_construct, std::move(xprime), std::move(yprime)); 一样，在已分配的存储中构造对 p。 3) 等价于 construct(p, std::piecewise_construct, std::tuple<>(), std::tuple<>())，即，如果 pair 的成员类型接受内存资源，则将内存资源传递给它们。 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 的构造函数实参的 pair
non_pair	-	要转换为 pair 以进行进一步构造的非 pair 实参

返回值

(无)

注解

任何 allocator-aware 对象（例如 std::pmr::vector，或另一个给定了 std::pmr::polymorphic_allocator 作为要使用的分配器的 std::vector ）都会调用此函数（通过 std::allocator_traits）。

缺陷报告

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

DR	应用于	已发布行为	正确行为
LWG 2969	C++17	uses-allocator 构造传递了 resource()	传递 *this
LWG 2975	C++17	在某些情况下，第一个重载被错误地用于 pair 构造	约束为不接受 pair
LWG 3525	C++17	没有重载可以处理可转换为 pair 的非 pair 类型	添加了重建重载

参见

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