名前付き要件:AssociativeContainer
提供: cppreference.com
AssociativeContainer はキーを基にオブジェクトの高速な検索を提供する順序付きの Container です。
[編集]要件
凡例 | |
X | コンテナの型 |
a | X 型の値 |
a2 | X と互換性のあるノードハンドルを持つ Y 型の値 |
b | X 型の値 (const かもしれない) |
u | 適当な変数の名前 |
a_uniq | X が一意なキーをサポートするときの X 型の値 |
a_eq | X が複数のキーをサポートするときの X 型の値 |
a_tran | 型 X::key_compare::is_transparent が存在するときの X 型の値 (const かもしれない) |
i, j | 有効な範囲を示し、X::value_type に暗黙に変換可能な要素を参照する LegacyInputIterator |
p | a への有効な const なイテレータ |
q | a への有効な逆参照可能な const へのイテレータ |
r | a への有効な逆参照可能なイテレータ |
q1, q2 | a 内の有効な範囲を示す const なイテレータ |
il | std::initializer_list<value_type> 型のオブジェクト |
t | X::value_type 型の値 |
k | X::key_type 型の値 |
c | X::key_compare 型の値 (const かもしれない) |
kl | a 内の e および e のキー値 r を用いて c(r,kl) について a が分割されているような値 |
ku | !c(ku, r) について a が分割されているような値 |
ke | 暗黙に !c(ke, r) を示す c(r, ke) を用いて c(r, ke) および !c(ke, r) について a が分割されているような値 |
A | X によって使用される記憶域のアロケータ、または std::allocator_type<X::value_type> |
m | A に変換可能な型のアロケータ |
nh | X::node_type 型の非 const な右辺値 |
| 式 | 戻り値の型 | 事前/要件 | 事後/効果 | 計算量 |
|---|---|---|---|---|
| X::key_type | Key | Key が Destructible である | コンパイル時 | |
| X::key_compare | Compare | コンパイル時 | ||
| X::value_compare | BinaryPredicate を満たす型 | std::set および std::multiset の場合は key_compare、 std::map および std::multimap の場合は Key の順序関係 | コンパイル時 | |
| X(c), X a(c); | key_compare が CopyConstructible である | c のコピーを key_comp として用いて空のコンテナを構築する。 | 定数時間 | |
| X(), X a; | key_compare が CopyConstructible である | Compare() を key_comp として用いて空のコンテナを構築する。 | 定数時間 | |
| X(i, j, c), X a(i, j, c); | key_compare が CopyConstructible であり、 value_type が X に *i から EmplaceConstructible である | c のコピーを key_comp として用いて空のコンテナを構築し、範囲 [i; j) からすべての要素を挿入する。 | 一般的には N log N、 [i, j) がソートされている場合は N (ただし N は std::distance(i, j) です) | |
| X(i, j), X a(i, j); | key_compare が CopyConstructible であり、 value_type が X に *i から EmplaceConstructible である | Compare() を key_comp として用いて空のコンテナを構築し、範囲 [i; j) からすべての要素を挿入する。 | 一般的には N log N、 [i, j) が value_comp() に従ってソートされている場合は N (ただし N は std::distance(i, j) です) | |
| X(il); | X(il.begin(), il.end()); と同等 | X(il.begin(), il.end()); と同等 | ||
| a = il | X& | T が X に CopyInsertable であり、さらに CopyAssignable である | 範囲 [il.begin(), il.end()) を a に代入する。 代入されなかった a の要素は破棄される。 | 一般的に N log N、 [il.begin(), il.end()) が value_comp() に従ってソートされている場合は N (ただし N は il.size()+ a.size() です) |
| a.key_comp() | X::key_compare | a の構築に使用された比較オブジェクトが返される。 | 定数時間 | |
| a.value_comp() | X::value_compare | 比較オブジェクトから構築された X::value_compare 型のオブジェクトが返される。 | 定数時間 |
std::map または std::multimap のいずれかである連想コンテナ X は、 T が Destructible であり計算量がコンパイル時である要件を持つ、結果の型が T の式 X::mapped_type を追加でサポートします。
| This section is incomplete Reason: Finish requirements. |
[編集]標準ライブラリの連想コンテナ
| 一意なキーによってソートされた、キーのコレクション (クラステンプレート) | |
| キーによってソートされた、キーのコレクション (クラステンプレート) | |
| 一意なキーによってソートされた、キー値ペアのコレクション (クラステンプレート) | |
| キーによってソートされた、キー値ペアのコレクション (クラステンプレート) |
