std::uses_allocator_construction_args

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

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

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

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

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

動的メモリ管理

スマートポインタ unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (C++17未満) owner_less (C++11) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) アロケータ allocator allocator_traits (C++11) allocator_arg_t (C++11) 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)

未初期化記憶域 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) raw_storage_iterator (C++20未満) get_temporary_buffer (C++20未満) return_temporary_buffer (C++20未満) ガベージコレクションサポート declare_reachable (C++11) undeclare_reachable (C++11) declare_no_pointers (C++11) undeclare_no_pointers (C++11) pointer_safety (C++11) get_pointer_safety (C++11) その他 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) C のライブラリ malloc aligned_alloc (C++17) calloc realloc free 低水準のメモリ管理

 

ヘッダ <memory> で定義
T が std::pair の特殊化でない場合
template<class T, class Alloc, class... Args> constexprstd::tuple</*see below*/> uses_allocator_construction_args(     const Alloc& alloc, Args&&... args)noexcept;	(1)	(C++20以上)
T が std::pair の特殊化である場合
template<class T, class Alloc, class Tuple1, class Tuple2 > constexprstd::tuple</*see below*/> uses_allocator_construction_args(     const Alloc& alloc, std::piecewise_construct_t, Tuple1&& x, Tuple2&& y)noexcept;	(2)	(C++20以上)
template<class T, class Alloc > constexprstd::tuple</*see below*/> uses_allocator_construction_args(     const Alloc& alloc )noexcept;	(3)	(C++20以上)
template<class T, class Alloc, class U, class V > constexprstd::tuple</*see below*/> uses_allocator_construction_args(     const Alloc& alloc, U&& u, V&& v)noexcept;	(4)	(C++20以上)
template<class T, class Alloc, class U, class V > constexprstd::tuple</*see below*/> uses_allocator_construction_args(     const Alloc& alloc, conststd::pair<U,V>& pr)noexcept;	(5)	(C++20以上)
template<class T, class Alloc, class U, class V > constexprstd::tuple</*see below*/> uses_allocator_construction_args(     const Alloc& alloc, std::pair<U,V>&& pr)noexcept;	(6)	(C++20以上)

アロケータ使用構築の手法によって指定された型 T のオブジェクトを作成するために必要な引数リストを準備します。

1) このオーバーロードは、T が std::pair の特殊化でない場合にのみ、オーバーロード解決に参加します。 以下のように決定される std::tuple を返します。

• std::uses_allocator_v<T, Alloc> が false かつ std::is_constructible_v<T, Args...> が true の場合は、 std::forward_as_tuple(std::forward<Args>(args)...) を返します。
• そうでなく、 std::uses_allocator_v<T, Alloc> が true かつ std::is_constructible_v<T, std::allocator_arg_t, const Alloc&, Args...> が true の場合は、 std::tuple<std::allocator_arg_t, const Alloc&, Args&&...>(std::allocator_arg, alloc, std::forward<Args>(args)...) を返します。
• そうでなく、 std::uses_allocator_v<T, Alloc> が true かつ std::is_constructible_v<T, Args..., const Alloc&> が true の場合は、 std::forward_as_tuple(std::forward<Args>(args)..., alloc) を返します。
• そうでなければ、プログラムは ill-formed です。

2) このオーバーロードは、T が std::pair の特殊化である場合にのみ、オーバーロード解決に参加します。 T =std::pair<T1, T2> に対して、以下と同等です。

returnstd::make_tuple(std::piecewise_construct, std::apply([&alloc](auto&&... args1){return std::uses_allocator_construction_args<T1>( alloc, std::forward<decltype(args1)>(args1)...);}, std::forward<Tuple1>(x)), std::apply([&alloc](auto&&... args2){return std::uses_allocator_construction_args<T2>( alloc, std::forward<decltype(args2)>(args2)...);}, std::forward<Tuple2>(y)));

3) このオーバーロードは、T が std::pairの特殊化である場合にのみ、オーバーロード解決に参加します。 以下と同等です。

return std::uses_allocator_construction_args<T>(alloc, std::piecewise_construct, std::tuple<>{}, std::tuple<>{});

4) このオーバーロードは、T が std::pair の特殊化である場合にのみ、オーバーロード解決に参加します。 以下と同等です。

return std::uses_allocator_construction_args<T>( alloc, std::piecewise_construct, std::forward_as_tuple(std::forward<U>(u)), std::forward_as_tuple(std::forward<V>(v)));

5) このオーバーロードは、T が std::pair の特殊化である場合にのみ、オーバーロード解決に参加します。 以下と同等です。

return std::uses_allocator_construction_args<T>( alloc, std::piecewise_construct, std::forward_as_tuple(pr.first), std::forward_as_tuple(pr.second));

6) このオーバーロードは、T が std::pair の特殊化である場合にのみ、オーバーロード解決に参加します。 以下と同等です。

return std::uses_allocator_construction_args<T>( alloc, std::piecewise_construct, std::forward_as_tuple(std::move(pr).first), std::forward_as_tuple(std::move(pr).second));

引数

alloc	-	使用するアロケータ
args	-	T のコンストラクタに渡す引数
x	-	T の .first のコンストラクタに渡す引数のタプル
y	-	T の .second のコンストラクタに渡す引数のタプル
u	-	T の .first のコンストラクタに渡す単一の引数
v	-	T の .second のコンストラクタに渡す単一の引数
pr	-	.first が T の .first のコンストラクタに渡され .second が T の .second のコンストラクタに渡されるペア

戻り値

T のコンストラクタに渡すのに適した引数の std::tuple。

ノート

オーバーロード (2-6) は std::pair へのアロケータの伝播を提供します。 std::pair は (std::tuple などとは異なり) 先頭アロケータ呼び出し規約と末尾アロケータ呼び出し規約のいずれもサポートしません。

関連項目

uses_allocator (C++11)	指定された型がアロケータ使用構築をサポートしているかどうか調べます (クラステンプレート)
make_obj_using_allocator (C++20)	アロケータ使用構築の手法によって指定された型のオブジェクトを作成します (関数テンプレート)
uninitialized_construct_using_allocator (C++20)	アロケータ使用構築の手法によって指定されたメモリ位置に指定された型のオブジェクトを作成します (関数テンプレート)