5. operator[]

最終更新日時:
が更新

履歴 編集

function
<map>

std::map::operator[]

T& operator[](const key_type& x);           // (1) C++98
constexpr T& operator[](const key_type& x); // (1) C++26

T& operator[](key_type&& x);           // (2) C++11
constexpr T& operator[](key_type&& x); // (2) C++26

template <class K>
constexpr T& operator[](K&& x); // (3) C++26

概要

指定したキーを持つ要素を取得する。対応する要素が存在しない場合は生成して返す。

  • (1), (2) : クラスのテンプレートパラメータkey_type型のキーに対応する要素を取得する
  • (3) : key_typeと比較可能なK型のキーに対応する要素を取得する

テンプレートパラメータ制約

  • (3) : key_compare::is_transparent が妥当な式であること

効果

  • (1) :
    • C++98 : xと等価なキーを持つ要素が存在しない場合、value_type(x, T())を挿入する
    • C++17 : try_emplace(x).first->secondと等価
  • (2) :
    • C++11 : xと等価なキーを持つ要素が存在しない場合、value_type(move(x), T())を挿入する
    • C++17 : try_emplace(move(x)).first->secondと等価
  • (1), (2) :
    • C++17 : 要素（value_type）はアロケータを通じて一体で構築される
  • (3) : try_emplace(forward<K>(x)).first->secondと等価

戻り値

キーxに対応する値を返す。対応する要素が存在しない場合は、要素を値初期化して参照を返す。

計算量

要素数に対して対数時間

備考

  • (3) :
    • is_transparentは、標準ライブラリのstd::less、std::greaterといった関数オブジェクトの、voidに対する特殊化で定義される。それ以外のテンプレートパラメータでis_transparentが定義されないのは、互換性のためである。
    • これらのオーバーロードは、map<string, int>のようなコンテナに対し、検索操作で文字列リテラルを渡した際に、キー型の一時オブジェクトが生成されるコストを減らすためにある。

例

#include <iostream>
#include <map>

int main()
{
  std::map<int, char> m;
  m.insert(std::make_pair(1, 'a'));

  // キー`1`に対応する要素を参照する
  char& a = m[1];
  std::cout << a << std::endl;

  // キー`2`に対応する要素を生成する
  m[2] = 'b';
}

出力

a

関連項目

名前 説明
operator= 代入演算子
insert 要素を挿入する

参照