名前付き要件:AllocatorAwareContainer
提供: cppreference.com
AllocatorAwareContainer は Allocator のインスタンスを保持し、すべてのメンバ関数はメモリを確保および解放するために、また、そのメモリにオブジェクト (コンテナの要素、ノード、非連想コンテナの場合はバケットの配列など) を確保および破棄するために、そのインスタンスを使用します。
以下のルールがコンテナの構築に適用されます。
- AllocatorAwareContainer のコピーコンストラクタは、コピーされようとしているコンテナのアロケータに対して std::allocator_traits<allocator_type>::select_on_container_copy_construction を呼ぶことで、アロケータのインスタンスを取得します。
- ムーブコンストラクタは、古いコンテナに所属するアロケータからムーブ構築することによって、アロケータのインスタンスを取得します。
- 他のすべてのコンストラクタはアロケータ引数を取ります。
アロケータを置き換える方法は、コピー代入、ムーブ代入、およびスワップだけです。
- コピー代入は std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value が true である場合にのみアロケータを置き換えます。
- ムーブ代入は std::allocator_traits<allocator_type>::propagate_on_container_move_assignment::value が true である場合にのみアロケータを置き換えます。
- スワップは std::allocator_traits<allocator_type>::propagate_on_container_swap::value が true である場合にのみアロケータを置き換えます。 具体的には、非メンバ関数 swap の非修飾の呼び出しを通してアロケータのインスタンスを交換します。 Swappable を参照してください。
ノート: propagate_on_container_swap が false の場合、等しくないアロケータを持つ2つのコンテナのスワップは未定義動作です。
- アクセサ
get_allocator()は、コンテナの構築に使用された、または最も最近のアロケータ置き換え操作によって設定された、アロケータのコピーを取得します。
目次 |
[編集]要件
凡例 | |
X | コンテナの型 |
T | 要素の型 |
A | T のためのアロケータ |
a, b | X 型のオブジェクト (非 const 左辺値) |
t | X 型のオブジェクト (左辺値または const 右辺値) |
rv | X 型のオブジェクト (非 const 右辺値) |
m | A 型のオブジェクト |
Q | アロケータの型 |
| 式 | 戻り値の型 | 事前/要件 | 事後/効果 | 計算量 |
|---|---|---|---|---|
| allocator_type | A | allocator_type::value_type は X::value_type と同じでなければならない | コンパイル時 | |
| get_allocator() | A | 定数時間 | ||
| X u; | A が DefaultConstructible である | u.empty()==true&& u.get_allocator()== A() | 定数時間 | |
| X u(m); | u.empty()==true&& u.get_allocator()== m | 定数時間 | ||
| X u(t,m); | T が X に CopyInsertable である | u == t && u.get_allocator()== m | 線形時間 | |
| X u(rv); | A のムーブコンストラクタは例外を投げてはならない | u は rv が構築前に持っていたのと同じ要素および等しいアロケータを持つ | 定数時間 | |
| X u(rv,m); | T が X に MoveInsertable である | u の要素は rv の要素と同じまたはコピーであり、 u.get_allocator()== m である | m == rv.get_allocator() の場合は定数時間、そうでなければ線形時間 | |
| a = t | X& | T は X に CopyInsertable であり、かつ CopyAssignable である | a == t | 線形時間 |
| a = rv | X& | アロケータがムーブ代入によって置き換えられない場合 (上を参照)、 T は X に MoveInsertable であり、かつ MoveAssignable である | a のすべての既存の要素はムーブ代入されるか破棄される。 a は rv が代入前に持っていた値と等しくなる。 | 線形時間 |
| a.swap(b) | void | a と b の内容を交換する。 | 定数時間 |
[編集]その他の要件
- A
- T
- X
[編集]ノート
アロケータ対応コンテナは m == get_allocator() を使用して args を渡して p に A 型のオブジェクトを構築するために必ず std::allocator_traits<A>::construct(m, p, args) を呼びます。 std::allocator のデフォルトの construct は ::new((void*)p) T(args) を呼びますが、特殊化されたアロケータは異なる定義を選ぶかもしれません。
[編集]標準ライブラリ
std::array を除いたすべての標準ライブラリのコンテナは AllocatorAwareContainer です。
