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

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

メモリ管理ライブラリ

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!= (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 T, class... Args > std::tuple</* 以下を参照 */> /*concat-args*/( std::tuple<Args...>&& tup );	(7)	(説明用*) (C++20まで)

外側のアロケータと指定されたコンストラクタ引数を使用して、p が指す、割り当てられているが初期化されていないストレージにオブジェクトを構築します。オブジェクトがそれ自身アロケータを使用する型である場合、または std::pair である場合(C++20まで)、内側のアロケータを構築されたオブジェクトに渡します。

1) 最も外側のアロケータを使用して、p で示される未初期化メモリ位置に、uses-allocator construction によって型 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 で示される未初期化メモリ位置に、uses-allocator construction によって 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	-	2つのメンバーが T1 と T2 のコンストラクタ引数であるペア
tup	-	マージされる引数

備考

この関数は、アロケータとして std::scoped_allocator_adaptor が与えられた std::vector のような任意のアロケータ対応オブジェクトによって（std::allocator_traits を通じて）呼び出されます。inner_allocator_type はそれ自身 std::scoped_allocator_adaptor の特殊化であるため、この関数を通じて構築されたアロケータ対応オブジェクトが自身のメンバを構築し始めるときにもこの関数が呼び出されます。

欠陥報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
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 の左辺値からの構築を代わりにチェック	非 const の inner_allocator_type 左辺値を代わりにチェック
LWG 2975	C++11	オーバーロード (1) は制約されていなかった	std::pair を拒否するように制約された

関連項目

構築 [static]	割り当てられたストレージにオブジェクトを構築する (関数テンプレート)
構築 (C++20まで)	割り当てられたストレージにオブジェクトを構築する (std::allocator<T> のパブリックメンバ関数)