std::uses_allocator

 

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> で定義
template< class T, class Alloc > struct uses_allocator;		(C++11以降)

T に Alloc から変換可能なネストされた型 allocator_type がある場合、メンバ定数 value は true です。それ以外の場合、value は false です。

ヘルパー変数テンプレート

template< class T, class Alloc > constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;		(C++17以降)

std::integral_constant から継承

メンバ定数

value [static]

T がアロケータ Alloc を使用する場合 true、それ以外の場合 false (公開静的メンバ定数)

メンバ関数

operator bool	オブジェクトを bool に変換し、value を返します。 (public member function)
operator() (C++14)	value を返します。 (public member function)

メンバ型

型	定義
value_type	bool
type	std::integral_constant<bool, value>

アロケータ使用構築

ある型 T のコンストラクタにアロケータ alloc を渡す3つの慣例があります

• T が互換性のあるアロケータを使用しない場合 (std::uses_allocator_v<T, Alloc> が false の場合)、alloc は無視されます。
• それ以外の場合、std::uses_allocator_v<T, Alloc> は true であり、

• T が先行アロケータ慣例を使用する場合 (T(std::allocator_arg, alloc, args...) のように呼び出し可能な場合)、アロケータ使用構築はこの形式を使用します。
• T が後続アロケータ慣例を使用する場合 (T(args..., alloc) のように呼び出し可能な場合)、アロケータ使用構築はこの形式を使用します。
• それ以外の場合、プログラムは不正な形式です (これは std::uses_allocator_v<T, Alloc> が true であるにもかかわらず、その型が許可された2つの慣例のいずれにも従っていないことを意味します)。

• 特殊なケースとして、std::pair は、std::tuple などとは異なり、ペアに対する std::uses_allocator が false であっても、アロケータ使用型として扱われます。std::pmr::polymorphic_allocator::construct および std::scoped_allocator_adaptor::construct(C++20まで)std::uses_allocator_construction_args(C++20以降) のペア固有のオーバーロードを参照してください。

ユーティリティ関数 std::make_obj_using_allocator と std::uninitialized_construct_using_allocator は、上記のプロトコルに従ってオブジェクトを明示的に作成するために使用でき、std::uses_allocator_construction_args は、型によって期待されるアロケータ使用構築のタイプに一致する引数リストを準備するために使用できます。

(C++20以降)

特殊化

ネストされた allocator_type を持たないプログラム定義型 T が与えられた場合、以下のいずれかの要件が満たされていれば、プログラムは std::uses_allocator を T に対して std::true_type から派生するように特殊化することができます。

• T は、最初の引数として std::allocator_arg_t を取り、2番目の引数として Alloc を取るコンストラクタを持つ。
• T は、最後の引数として Alloc を取るコンストラクタを持つ。

上記において、Alloc は Allocator を満たす型であるか、または std::experimental::pmr::memory_resource* に変換可能なポインタ型(library fundamentals TS)です。

以下の特殊化は標準ライブラリによって既に提供されています

std::uses_allocator<std::tuple> (C++11)	std::uses_allocator 型特性を特殊化する (クラステンプレート特殊化)
std::uses_allocator<std::queue> (C++11)	std::uses_allocator 型特性を特殊化する (クラス テンプレート特殊化)
std::uses_allocator<std::priority_queue> (C++11)	std::uses_allocator 型特性を特殊化する (クラス テンプレート特殊化)
std::uses_allocator<std::stack> (C++11)	std::uses_allocator 型特性を特殊化する (クラス テンプレート特殊化)
std::uses_allocator<std::flat_map> (C++23)	std::uses_allocator 型特性を特殊化する (クラス テンプレート特殊化)
std::uses_allocator<std::flat_set> (C++23)	std::uses_allocator 型特性を特殊化する (クラス テンプレート特殊化)
std::uses_allocator<std::flat_multimap> (C++23)	std::uses_allocator 型特性を特殊化する (クラス テンプレート特殊化)
std::uses_allocator<std::flat_multiset> (C++23)	std::uses_allocator 型特性を特殊化する (クラス テンプレート特殊化)
std::uses_allocator<std::function> (C++11) (C++17まで)	std::uses_allocator 型特性を特殊化する (クラステンプレート特殊化)
std::uses_allocator<std::promise> (C++11)	std::uses_allocator 型特性を特殊化する (クラステンプレート特殊化)
std::uses_allocator<std::packaged_task> (C++11) (C++17まで)	std::uses_allocator 型特性を特殊化する (クラステンプレート特殊化)

注釈

この型特性は std::tuple、std::scoped_allocator_adaptor、および std::pmr::polymorphic_allocator で使用されます。また、カスタムアロケータやラッパー型によって、構築されるオブジェクトまたはメンバ自体がアロケータを使用可能であるか（例：コンテナであるか）を判断するために使用されることもあり、その場合はコンストラクタにアロケータを渡すべきです。

関連項目

allocator_argallocator_arg_t (C++11)	アロケータ対応コンストラクタを選択するために使用されるタグ (タグ)
uses_allocator_construction_args (C++20)	与えられた型が必要とする uses-allocator 構築の種類に一致する引数リストを準備します (関数テンプレート)
make_obj_using_allocator (C++20)	uses-allocator 構築によって、与えられた型のオブジェクトを作成します (関数テンプレート)
uninitialized_construct_using_allocator (C++20)	uses-allocator 構築によって、指定されたメモリ位置に与えられた型のオブジェクトを作成します (関数テンプレート)
scoped_allocator_adaptor (C++11)	多階層コンテナのための多階層アロケータを実装します (クラステンプレート)