std::uses_allocator

T が Alloc から変換可能なまたは std::experimental::erased_type のエイリアスである (library fundamentals TS)メンバ型 allocator_type を持つ場合、メンバ定数 value は true です。 そうでなければ value は false です。

[編集] ヘルパー変数テンプレート

[編集] アロケータ使用構築

何らかの型 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つの規約のいずれにも従っていない場合)、プログラムは ill-formed です。

• 特別なケースとして、 std::pair は、 (std::tuple などと異なり) std::uses_allocator は false だけれども、アロケータ使用型として扱われます。 std::polymoprhic_allocator::construct および std::scoped_allocator_adaptor::construct (C++20未満)std::uses_allocator_construction_args (C++20以上) のペア固有のオーバーロードを参照してください。

[編集] 特殊化

メンバ型 allocator_type を持たないけれども以下の2つの要件のひとつを満たす型に対する型特性 std::uses_allocator のカスタム特殊化が許容されます。

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

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

[編集] ノート

この型特性は std::tuple、 std::scoped_allocator_adaptor および std::pmr::polymorphic_allocator によって使用されます。 また構築中のオブジェクトまたはメンバがそれ自身アロケータを使用する機能を持つ (例えばコンテナである) かどうかを決定するためにカスタムアロケータまたはラッパー型によっても使用されるかもしれません。 この場合、アロケータはそのコンストラクタに渡されるべきです。

[編集] 関連項目