std::map<Key,T,Compare,Allocator>::map
| (1) | ||
map(); |
(C++11まで) | |
| map() : map(Compare()) {} |
(C++11以降) | |
| explicit map( const Compare& comp, const Allocator& alloc = Allocator() ); |
(2) | |
| explicit map( const Allocator& alloc ); |
(3) | (C++11以降) |
| template< class InputIt > map( InputIt first, InputIt last, |
(4) | |
| template< class InputIt > map( InputIt first, InputIt last, |
(5) | (C++14以降) |
| map( const map& other ); |
(6) | |
| map( const map& other, const Allocator& alloc ); |
(7) | (C++11以降) |
| map( map&& other ); |
(8) | (C++11以降) |
| map( map&& other, const Allocator& alloc ); |
(9) | (C++11以降) |
| map( std::initializer_list<value_type> init, const Compare& comp = Compare(), |
(10) | (C++11以降) |
| map( std::initializer_list<value_type> init, const Allocator& alloc ) |
(11) | (C++14以降) |
template< container-compatible-range<value_type> R > map( std::from_range_t, R&& rg, |
(12) | (C++23から) |
| template< container-compatible-range<value_type> R > map( std::from_range_t, R&& rg, |
(13) | (C++23から) |
多様なデータソースと、オプションでユーザー提供のアロケータ `alloc` または比較関数オブジェクト `comp` を使用して、新しいコンテナを構築します。
|
`alloc` が提供されない場合、アロケータは `other.get_allocator()` を呼び出して取得されます。 |
(C++11以降) |
|
クラステンプレート引数推論中に、最初の引数のみがコンテナの `Allocator` テンプレートパラメータの推論に寄与します。 |
(C++23から) |
|
クラステンプレート引数推論中に、最初の引数のみがコンテナの `Allocator` テンプレートパラメータの推論に寄与します。 |
(C++23から) |
目次 |
[編集] パラメータ
| alloc | - | コンテナのすべてのメモリ割り当てに使用するアロケータ |
| comp | - | キーのすべての比較に使用する比較関数オブジェクト |
| first, last | - | コピーする要素のソース 範囲 を定義するイテレータペア |
| その他 | - | コンテナの要素を初期化するために使用する別のコンテナ |
| init | - | コンテナの要素を初期化するための初期化リスト |
| rg | - | `value_type` に変換可能なinput_range であるコンテナ互換範囲 |
| 型要件 | ||
-InputIt は LegacyInputIterator の要件を満たす必要があります。 | ||
-CompareはCompareの要件を満たす必要がある。 | ||
-Allocator は Allocator の要件を満たす必要があります。 | ||
[編集] 計算量
[編集] 例外
Allocator::allocate の呼び出しが例外をスローする可能性があります。
[編集] 注記
コンテナのムーブ構築後(オーバーロード (8,9))、`other` への参照、ポインタ、イテレータ(末尾イテレータを除く)は有効なままですが、`*this` にある要素を参照します。現在の標準では、[container.reqmts]/67 の包括的な声明を通じてこの保証が与えられており、LWG issue 2321 を通じてより直接的な保証が検討されています。
C++23 まで正式には要求されていませんが、一部の実装では、以前のモードでテンプレートパラメータ `Allocator` を非推論コンテキストに配置しています。
| 機能テストマクロ | 値 | 規格 | 機能 |
|---|---|---|---|
__cpp_lib_containers_ranges |
202202L |
(C++23) | 範囲対応の構築と挿入。オーバーロード (12,13) |
[編集] 例
#include <iomanip> #include <iostream> #include <map> #include <string> template<typename Key, typename Value, typename Cmp> std::ostream& operator<<(std::ostream& os, std::map<Key, Value, Cmp> const& map) { os << "{ "; for (auto comma{map.size()}; auto const& p : map) os << '\'' << p.first << "' is " << p.second << (--comma ? ", " : " "); return os << "}\n"; } struct Point { double x, y; friend std::ostream& operator<<(std::ostream& os, Point pt) { return os << '(' << pt.x << ", " << pt.y << ')'; } }; struct PointCmp { bool operator()(const Point& lhs, const Point& rhs) const { return lhs.x < rhs.x; // NB: y is intentionally ignored } }; int main() { // (1) Default constructor std::map<std::string, int> map1; map1["something"] = 69; map1["anything"] = 199; map1["that thing"] = 50; std::cout << "map1 = " << map1; // (4) Range constructor std::map<std::string, int> iter(map1.find("anything"), map1.end()); std::cout << "\niter = " << iter; std::cout << "map1 = " << map1; // (6) Copy constructor std::map<std::string, int> copied(map1); std::cout << "\ncopied = " << copied; std::cout << "map1 = " << map1; // (8) Move constructor std::map<std::string, int> moved{std::move(map1)}; std::cout << "\nmoved = " << moved; std::cout << "map1 = " << map1; // (10) Initializer list constructor const std::map<std::string, int> init { {"this", 100}, {"can", 100}, {"be", 100}, {"const", 100} }; std::cout << "\ninit = " << init; std::cout << "\nCustom Key class option 1:\n"; // Use a comparison struct std::map<Point, double, PointCmp> mag = { {{5, -12}, 13}, {{3, 4}, 5}, {{-8, -15}, 17} }; std::cout << "mag = " << mag << '\n'; std::cout << "Custom Key class option 2:\n"; // Use a comparison lambda // This lambda sorts points according to their magnitudes, where // these magnitudes are taken from the local variable mag. auto cmpLambda = [&mag](const Point& lhs, const Point& rhs) { return mag[lhs] < mag[rhs]; }; // You could also use a lambda that is not dependent on local variables, like this: // auto cmpLambda = [](const Point& lhs, const Point& rhs){ return lhs.y < rhs.y; }; std::map<Point, double, decltype(cmpLambda)> magy(cmpLambda); // Various ways of inserting elements: magy.insert(std::pair<Point, double>({5, -12}, 13)); magy.insert({{3, 4}, 5}); magy.insert({Point{-8.0, -15.0}, 17}); std::cout << "magy = " << magy << '\n'; std::cout << "Construction from a range:\n"; using PS = std::pair<const std::string, int>; const auto rg = {PS{"one", 1}, {"one", 101}, {"two", 2}, {"three", 3}}; #if __cpp_lib_containers_ranges std::map<std::string, int> nums(std::from_range, rg); // overload (12) #else std::map<std::string, int> nums(rg.begin(), rg.end()); // fallback to (4) #endif std::cout << "nums = " << nums << '\n'; }
出力
map1 = { 'anything' is 199, 'something' is 69, 'that thing' is 50 }
iter = { 'anything' is 199, 'something' is 69, 'that thing' is 50 }
map1 = { 'anything' is 199, 'something' is 69, 'that thing' is 50 }
copied = { 'anything' is 199, 'something' is 69, 'that thing' is 50 }
map1 = { 'anything' is 199, 'something' is 69, 'that thing' is 50 }
moved = { 'anything' is 199, 'something' is 69, 'that thing' is 50 }
map1 = { }
init = { 'be' is 100, 'can' is 100, 'const' is 100, 'this' is 100 }
Custom Key class option 1:
mag = { '(-8, -15)' is 17, '(3, 4)' is 5, '(5, -12)' is 13 }
Custom Key class option 2:
magy = { '(3, 4)' is 5, '(5, -12)' is 13, '(-8, -15)' is 17 }
Construction from a range:
nums = { 'one' is 1, 'three' is 3, 'two' is 2 }[編集] 不具合報告
以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。
| DR | 適用対象 | 公開された動作 | 正しい動作 |
|---|---|---|---|
| LWG 2076 | C++11 | オーバーロード (4) は、条件付きで `Key` および `T` が `*this` にCopyInsertable であることを要求していました。 | 要求されない |
| LWG 2193 | C++11 | デフォルトコンストラクタが `explicit` でした。 | 非 `explicit` になりました。 |
[編集] 関連項目
| コンテナに値を代入する (公開メンバ関数) |