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

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (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::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!= (until C++20)

Deduction guides(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 T, class... Args > std::tuple</* see below */> /*concat-args*/( std::tuple<Args...>&& tup );	(7)	(僅作說明*) (C++20 前)

在 `p` 指向的已分配但未初始化的儲存中，使用外部分配器和提供的建構函式引數構造一個物件。如果該物件本身的型別使用分配器，或者如果它是 std::pair(直到 C++20)，則將內部分配器傳遞給構造的物件。

1) 透過 uses-allocator construction 在 `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) 透過 uses-allocator construction 在 `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 型別物件所需由 uses-allocator construction 額外引數。

給定 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
tup	-	要合併的引數

注意

此函式由任何分配器感知物件（例如 std::vector）透過 std::allocator_traits 呼叫，該物件已將 std::scoped_allocator_adaptor 作為要使用的分配器。由於 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 右值進行的構造	改為檢查從非 const inner_allocator_type 左值進行的構造
LWG 2975	C++11	過載 (1) 未受限制	限制為拒絕 std::pair

參閱

construct [靜態]	在已分配的儲存中構造一個物件 (函式模板)
construct (C++20 前)	在已分配的儲存中構造物件 (std::allocator<T> 的公開成員函式)