std::pmr::polymorphic_allocator<T>::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::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!= (until 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) 使用 uses-allocator construction 在 `p` 指示的未初始化記憶體位置建立給定型別 `U` 的物件，並使用 `*this` 作為分配器。此過載僅在 `U` 不是 std::pair 的特化時才參與過載決議。(直到 C++20)

2) 首先，如果 `T1` 或 `T2` 是分配器感知的，則根據以下三個規則修改元組 `x` 和 `y` 以包含 `this->resource()`，從而產生兩個新元組 `xprime` 和 `yprime`。 2a) 如果 `T1` 不是分配器感知的 (std::uses_allocator<T1, polymorphic_allocator>::value==false) 且 std::is_constructible<T1, Args1...>::value==true，則 `xprime` 是未修改的 `x`。 2b) 如果 `T1` 是分配器感知的 (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` 是分配器感知的 (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`，就在已分配的儲存中構造 `p` 對，就像透過 ::new((void *) p) pair<T1, T2>(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 建構函式引數的 pair
non_pair	-	非 `pair` 引數，用於轉換為 `pair` 以進行進一步構造

返回值

(無)

注意

此函式由任何分配器感知物件（例如 std::pmr::vector 或另一個使用 `std::pmr::polymorphic_allocator` 作為分配器的 std::vector）透過 std::allocator_traits 呼叫。

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 2969	C++17	uses-allocator construction 傳遞了 `resource()`	傳遞 `*this`
LWG 2975	C++17	第一個過載在某些情況下被錯誤地用於對構造	限制為不接受對
LWG 3525	C++17	沒有過載可以處理可轉換為對的非 `pair` 型別	添加了重構過載

參閱

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