名前空間
変種
操作

std::map<Key,T,Compare,Allocator>::map

From cppreference.com
< cpp‎ | コンテナ‎ | 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,
     const Compare& comp = Compare(),

     const Allocator& alloc = Allocator() );
(4)
template< class InputIt >

map( InputIt first, InputIt last,
     const Allocator& alloc )

    : map(first, last, Compare(), alloc) {}
(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(),

     const Allocator& alloc = Allocator() );
(10) (C++11以降)
map( std::initializer_list<value_type> init,

     const Allocator& alloc )

    : map(init, Compare(), alloc) {}
(11) (C++14以降)
template< container-compatible-range<value_type> R >

map( std::from_range_t, R&& rg,
     const Compare& comp = Compare(),

     const Allocator& alloc = Allocator() );
(12) (C++23から)
template< container-compatible-range<value_type> R >

map( std::from_range_t, R&& rg,
     const Allocator& alloc )

    : map(std::from_range, std::forward<R>(rg), Compare(), alloc) {}
(13) (C++23から)

多様なデータソースと、オプションでユーザー提供のアロケータ `alloc` または比較関数オブジェクト `comp` を使用して、新しいコンテナを構築します。

1-3) 空のコンテナを構築します。
4,5) 範囲 `[first, last)` の内容でコンテナを構築します。範囲内にキーが同等とみなされる要素が複数ある場合、どの要素が挿入されるかは未定義です(LWG2844 参照)。
`[first, last)` が有効な範囲でない場合、動作は未定義です。
6,7) コピーコンストラクタ。`other` の内容のコピーでコンテナを構築します。

`alloc` が提供されない場合、アロケータは `other.get_allocator()` を呼び出して取得されます。

(C++11以降)

クラステンプレート引数推論中に、最初の引数のみがコンテナの `Allocator` テンプレートパラメータの推論に寄与します。

(C++23から)
8,9) ムーブコンストラクタ。ムーブセマンティクスを使用して `other` の内容でコンテナを構築します。`alloc` が提供されない場合、アロケータは `other` に属するアロケータからのムーブ構築によって取得されます。

クラステンプレート引数推論中に、最初の引数のみがコンテナの `Allocator` テンプレートパラメータの推論に寄与します。

(C++23から)
10,11) 初期化リストコンストラクタ。初期化リスト `init` の内容でコンテナを構築します。範囲内にキーが同等とみなされる要素が複数ある場合、どの要素が挿入されるかは未定義です(LWG2844 参照)。
12,13) `rg` の内容でコンテナを構築します。範囲内にキーが同等とみなされる要素が複数ある場合、どの要素が挿入されるかは未定義です(LWG2844 参照)。

目次

[編集] パラメータ

alloc - コンテナのすべてのメモリ割り当てに使用するアロケータ
comp - キーのすべての比較に使用する比較関数オブジェクト
first, last - コピーする要素のソース 範囲 を定義するイテレータペア
その他 - コンテナの要素を初期化するために使用する別のコンテナ
init - コンテナの要素を初期化するための初期化リスト
rg - `value_type` に変換可能なinput_range であるコンテナ互換範囲
型要件
-
InputItLegacyInputIterator の要件を満たす必要があります。
-
CompareCompareの要件を満たす必要がある。
-
AllocatorAllocator の要件を満たす必要があります。

[編集] 計算量

1-3) 定数。
4,5) \(N \cdot log(N)\) ここで \(N\) は `std::distance(first, last)` です。一般的には、`[first, last)` が既に `value_comp()` によってソートされている場合は \(N\) に対して線形です。
6,7) `other` のサイズに対して線形。
8,9) 定数。`alloc` が与えられ、`alloc != other.get_allocator()` の場合、線形。
10,11) \(N \cdot log(N)\) ここで \(N\) は `init.size()` です。一般的には、`init` が既に `value_comp()` によってソートされている場合は \(N\) に対して線形です。
12,13) \(N \cdot log(N)\) ここで \(N\) は `ranges::distance(rg)` です。一般的には、`rg` が既に `value_comp()` によってソートされている場合は \(N\) に対して線形です。

[編集] 例外

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` になりました。

[編集] 関連項目

コンテナに値を代入する
(公開メンバ関数) [編集]
English 日本語 中文(简体) 中文(繁體)