std::uses_allocator_construction_args

 

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)

 

ヘッダ <memory> で定義
T は std::pair の特殊化ではない
template< class T, class Alloc, class... Args > constexpr auto 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 > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     std::piecewise_construct_t, Tuple1&& x, Tuple2&& y ) noexcept;	(2)	(C++20以降)
template< class T, class Alloc > constexpr auto uses_allocator_construction_args( const Alloc& alloc ) noexcept;	(3)	(C++20以降)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     U&& u, V&& v ) noexcept;	(4)	(C++20以降)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     std::pair<U, V>& pr ) noexcept;	(5)	(C++23から)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     const std::pair<U, V>& pr ) noexcept;	(6)	(C++20以降)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     std::pair<U, V>&& pr ) noexcept;	(7)	(C++20以降)
template< class T, class Alloc, class U, class V > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     const std::pair<U, V>&& pr ) noexcept;	(8)	(C++23から)
template< class T, class Alloc, class NonPair > constexpr auto uses_allocator_construction_args( const Alloc& alloc,     NonPair&& non_pair ) noexcept;	(9)	(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) を返します。
• それ以外の場合、プログラムは不適格となります。

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

return std::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,6) このオーバーロードは、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)
);

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

return std::uses_allocator_construction_args<T>(alloc,
    std::piecewise_construct,
    std::forward_as_tuple(std::get<0>(std::move(pr))),
    std::forward_as_tuple(std::get<1>(std::move(pr)))
);

9) このオーバーロードは、T が std::pair の特殊化である場合にのみオーバーロード解決に参加し、かつ、提示のみの関数テンプレートである

template<class A, class B>
void /*deduce-as-pair*/(const std::pair<A, B>&);

、/*deduce-as-pair*/(non_pair) は、評価されないオペランドとみなされると不正形式になります。
提示のみのクラス pair-constructor を以下のように定義します。

class /*pair-constructor*/
{
    const Alloc& alloc_; // exposition only
    NonPair&     u_;     // exposition only
 
    constexpr reconstruct(const std::remove_cv<T>& p) const // exposition only
    {
        return std::make_obj_using_allocator<std::remove_cv<T>>(alloc_, p);
    }
 
    constexpr reconstruct(std::remove_cv<T>&& p) const // exposition only
    {
        return std::make_obj_using_allocator<std::remove_cv<T>>(alloc_, std::move(p));
    }
 
public:
    constexpr operator std::remove_cv<T>() const
    {
        return reconstruct(std::forward<NonPair>(u_));
    }
};

このオーバーロードは return std::make_tuple(pair_construction); と等価です。ここで pair_construction は alloc_ メンバーと u_ メンバーがそれぞれ alloc と non_pair である pair-constructor 型の値です。

パラメーター

alloc	-	使用するアロケータ
args	-	T のコンストラクタに渡す引数
x	-	T の first データメンバーのコンストラクタに渡す引数のタプル
y	-	T の second データメンバーのコンストラクタに渡す引数のタプル
u	-	T の first データメンバーのコンストラクタに渡す単一の引数
v	-	T の second データメンバーのコンストラクタに渡す単一の引数
pr	-	first データメンバーが T の first データメンバーのコンストラクタに渡され、second データメンバーが T の second データメンバーのコンストラクタに渡されるペア
non_pair	-	さらなる構築のために std::pair に変換する単一の引数

戻り値

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

備考

オーバーロード (2-9) は、先行アロケータ呼び出し規約も後続アロケータ呼び出し規約もサポートしない（例：先行アロケータ規約を使用する std::tuple とは異なり）std::pair へのアロケータ伝播を提供します。

アロケータを使用する構築で使用される場合、pair-constructor の変換関数は、まず提供された引数を std::pair に変換し、次にその std::pair からアロケータを使用する構築によって結果を構築します。

欠陥報告

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

DR	適用対象	公開された動作	正しい動作
LWG 3525	C++20	pair に変換可能な非pair型を処理できるオーバーロードがない	再構築オーバーロードが追加された

関連項目

uses_allocator (C++11)	指定された型が uses-allocator 構築をサポートしているかどうかをチェックします (クラステンプレート)
make_obj_using_allocator (C++20)	uses-allocator 構築によって、与えられた型のオブジェクトを作成します (関数テンプレート)
uninitialized_construct_using_allocator (C++20)	uses-allocator 構築によって、指定されたメモリ位置に与えられた型のオブジェクトを作成します (関数テンプレート)