Namespaces
Variants

std::map<Key,T,Compare,Allocator>:: operator[]

From cppreference.net

T & operator [ ] ( const Key & key ) ;
(1)
T & operator [ ] ( Key && key ) ;
(2) (C++11以降)
template < class K >
T & operator [ ] ( K && x ) ;
(3) (C++26以降)

キーが key または x と等価である値にマップされた値への参照を返します。該当するキーが存在しない場合は挿入を実行します。

1) キーが存在しない場合、 value_type ( key, T ( ) ) を挿入します。
-
key_type CopyConstructible の要件を満たさなければなりません。
-
mapped_type CopyConstructible および DefaultConstructible の要件を満たさなければなりません。
挿入が実行される場合、マップされた値は 値初期化 され(クラス型の場合はデフォルト構築、それ以外の場合はゼロ初期化)、その参照が返されます。
(C++11まで)
1) キーが存在しない場合、 value_type オブジェクトを std:: piecewise_construct , std:: forward_as_tuple ( key ) , std:: tuple <> ( ) からその場で構築して挿入します。
return this - > try_emplace ( key ) . first - > second ; と等価 (C++17以降) デフォルトアロケータを使用する場合、これはキーが key からコピー構築され、マップされた値が 値初期化 されることを意味する。
-
value_type EmplaceConstructible でなければならず、 std:: piecewise_construct , std:: forward_as_tuple ( key ) , std:: tuple <> ( ) から構築可能でなければならない。デフォルトアロケータを使用する場合、これは key_type CopyConstructible であり、 mapped_type DefaultConstructible でなければならないことを意味する。
2) キーが存在しない場合、 value_type オブジェクトを std:: piecewise_construct , std:: forward_as_tuple ( std :: move ( key ) ) , std:: tuple <> ( ) からその場で構築して挿入します。
return this - > try_emplace ( std :: move ( key ) ) . first - > second ; と等価。 (C++17以降)
デフォルトのアロケータを使用する場合、これはキーが key からムーブ構築され、マップされた値が 値初期化 されることになる。
-
value_type EmplaceConstructible でなければならず、 std:: piecewise_construct , std:: forward_as_tuple ( std :: move ( key ) ) , std:: tuple <> ( ) から構築可能でなければならない。デフォルトのアロケータを使用する場合、これは key_type MoveConstructible であり、 mapped_type DefaultConstructible でなければならないことを意味する。
(C++11以降)
3) キーが値 x と透過的に比較して 等価 するものが存在しない場合、 value_type オブジェクトをその場で構築して挿入します。
次と等価: return this - > try_emplace ( std:: forward < K > ( x ) ) . first - > second ; 。 このオーバーロードは、 Compare 透過的 である場合にのみオーバーロード解決に参加します。これにより、 Key のインスタンスを構築せずにこの関数を呼び出すことが可能になります。

イテレータおよび参照は無効化されません。

目次

パラメータ

key - 検索する要素のキー
x - キーと透過的に比較可能な任意の型の値

戻り値

1,2) キー key を持つ要素が存在しなかった場合、新規要素のマップされた値への参照。それ以外の場合、キーが key と等価である既存要素のマップされた値への参照。
3) キーが値 x と等価に比較される要素が存在しなかった場合、新規要素のマップされた値への参照。それ以外の場合、キーが x と等価に比較される既存要素のマップされた値への参照。

例外

いずれかの操作で例外がスローされた場合、挿入は無効となります。

計算量

コンテナのサイズに対して対数的。

注記

公開されたC++11およびC++14規格では、この関数は mapped_type DefaultInsertable であり、 key_type CopyInsertable または MoveInsertable であることを要求すると規定されていました。この規定には欠陥があり、 LWG issue 2469 によって修正されました。上記の説明はこの問題の解決策を組み込んだものです。

しかし、1つの実装(libc++)は、公開された標準でおそらく要求されている通り、 key_type および mapped_type オブジェクトを2つの別々のアロケータ construct() 呼び出しで構築することが知られており、 value_type オブジェクトをエンプレースするのではありません。

operator [ ] は、キーが存在しない場合に挿入を行うため非constです。この動作が望ましくない場合、またはコンテナが const である場合は、 at を使用できます。

insert_or_assign operator [ ] よりも多くの情報を返し、マップ型のデフォルト構築可能性を必要としません。

(C++17以降)
機能テスト マクロ 標準 機能
__cpp_lib_associative_heterogeneous_insertion 202311L (C++26) 順序付き および 非順序 連想 コンテナ の残りのメンバー関数に対する異種オーバーロード ( 3 )

#include <iostream>
#include <string>
#include <map>
void println(auto const comment, auto const& map)
{
    std::cout << comment << '{';
    for (const auto& pair : map)
        std::cout << '{' << pair.first << ": " << pair.second << '}';
    std::cout << "}\n";
}
int main()
{
    std::map<char, int> letter_counts{{'a', 27}, {'b', 3}, {'c', 1}};
    println("letter_counts initially contains: ", letter_counts);
    letter_counts['b'] = 42; // 既存の値を更新
    letter_counts['x'] = 9;  // 新しい値を挿入
    println("after modifications it contains: ", letter_counts);
    // 各単語の出現回数をカウント
    // (operator[]の最初の呼び出しでカウンタをゼロで初期化)
    std::map<std::string, int>  word_map;
    for (const auto& w : {"this", "sentence", "is", "not", "a", "sentence",
                          "this", "sentence", "is", "a", "hoax"})
        ++word_map[w];
    word_map["that"]; // 単にペア {"that", 0} を挿入
    for (const auto& [word, count] : word_map)
        std::cout << count << " occurrence(s) of word '" << word << "'\n";
}

出力:

letter_counts initially contains: {{a: 27}{b: 3}{c: 1}}
after modifications it contains: {{a: 27}{b: 42}{c: 1}{x: 9}}
2 occurrence(s) of word 'a'
1 occurrence(s) of word 'hoax'
2 occurrence(s) of word 'is'
1 occurrence(s) of word 'not'
3 occurrence(s) of word 'sentence'
0 occurrence(s) of word 'that'
2 occurrence(s) of word 'this'

不具合報告

以下の動作変更欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 334 C++98 オーバーロード (1) の効果は単に
( * ( ( insert ( std:: make_pair ( x, T ( ) ) ) ) . first ) ) . second
独自の説明を
提供するように変更

関連項目

境界チェック付きで指定された要素にアクセスする
(公開メンバ関数)
要素を挿入するか、キーが既に存在する場合は現在の要素に代入する
(公開メンバ関数)
キーが存在しない場合はその場で挿入し、キーが存在する場合は何もしない
(公開メンバ関数)