flat_set / flat_multiset : 概要文章を追加 #1448

Author: faithandbrave

reference/flat_set/flat_multiset.md

@@ -16,6 +16,32 @@ namespace std {
 * vector[link /reference/vector/vector.md]
 
 ## 概要
+`std::flat_multiset`は、重複する要素を許可する連想コンテナの一種であり、要素自身がキーとなる、集合を表すクラスである。
+
+`std::flat_multiset`は、ノードベースで実装される[`std::multiset`](/reference/set/multiset.md)、ハッシュテーブルで実装される[`std::unordered_multiset`](/reference/unordered_set/unordered_multiset.md)とは異なり、ソート済み配列と二分探索の組み合わせで実装される。これはほかの実装と比較して、メモリ使用量と列挙速度において優位であり、一方で挿入速度と検索速度はほかの実装に劣る。
+
+また、このクラスは分類としては[`std::queue`](/reference/queue/queue.md)や[`std::skack`](/reference/stack/stack.md)と同様のコンテナアダプタに分類され、キーの配列をラップして扱う実装となっている。
+
+このコンテナクラスは、ランダムアクセスイテレータをサポートする。
+
+
+### ほかの連想コンテナとの要件の違い
+このクラスは要件として、コンテナクラスと、逆順コンテナクラスであることは満たすが、連想コンテナの要件としては以下を満たさない：
+
+- node handleに関する要件
+- イテレータ無効化に関する要件
+- 単一要素の挿入と削除に線形時間かかる (挿入位置のイテレータを指定したとしても)
+
+また、このコンテナはメモリアロケータを指定できない設計にもなっている。
+
+## テンプレートパラメータ制約
+- `KeyContainer`に指定するコンテナ型は、
+    - シーケンスコンテナの要件を満たし、
+    - ランダムアクセスイテレータをもつこと
+
+
+## 適格要件
+- `Key`が`KeyContainer::value_type`と同じ型であること
 
 
 ## メンバ関数

reference/flat_set/flat_set.md

@@ -16,6 +16,32 @@ namespace std {
 * vector[link /reference/vector/vector.md]
 
 ## 概要
+`std::flat_set`は、重複しない要素を格納する連想コンテナの一種であり、要素自身がキーとなる、集合を表すクラスである。
+
+`std::flat_set`は、ノードベースで実装される[`std::set`](/reference/set/set.md)、ハッシュテーブルで実装される[`std::unordered_set`](/reference/unordered_set/unordered_set.md)とは異なり、ソート済み配列と二分探索の組み合わせで実装される。これはほかの実装と比較して、メモリ使用量と列挙速度において優位であり、一方で挿入速度と検索速度はほかの実装に劣る。
+
+また、このクラスは分類としては[`std::queue`](/reference/queue/queue.md)や[`std::skack`](/reference/stack/stack.md)と同様のコンテナアダプタに分類され、キーの配列をラップして扱う実装となっている。
+
+このコンテナクラスは、ランダムアクセスイテレータをサポートする。
+
+
+### ほかの連想コンテナとの要件の違い
+このクラスは要件として、コンテナクラスと、逆順コンテナクラスであることは満たすが、連想コンテナの要件としては以下を満たさない：
+
+- node handleに関する要件
+- イテレータ無効化に関する要件
+- 単一要素の挿入と削除に線形時間かかる (挿入位置のイテレータを指定したとしても)
+
+また、このコンテナはメモリアロケータを指定できない設計にもなっている。
+
+## テンプレートパラメータ制約
+- `KeyContainer`に指定するコンテナ型は、
+    - シーケンスコンテナの要件を満たし、
+    - ランダムアクセスイテレータをもつこと
+
+
+## 適格要件
+- `Key`が`KeyContainer::value_type`と同じ型であること
 
 
 ## メンバ関数