[]演算子がSTLマップのconstではないのはなぜですか？

質問のために考案された例：

void MyClass::MyFunction( int x ) const
{
  std::cout << m_map[x] << std::endl
}

[]演算子は非定数であるため、これはコンパイルされません。

[]構文は非常にきれいに見えるので、これは残念です。代わりに、私は次のようなことをしなければなりません：

void MyClass::MyFunction( int x ) const
{
  MyMap iter = m_map.find(x);
  std::cout << iter->second << std::endl
}

これはいつも私を悩ませてきました。[]演算子が非定数なのはなぜですか？

Forstd::mapとstd::unordered_map、operator[]は、以前に存在していなかった場合、インデックス値をコンテナに挿入します。少し直感的ではありませんが、そうです。

失敗してデフォルト値を挿入できるようにする必要があるためconst、コンテナーのインスタンスで演算子を使用することはできません。

http://en.cppreference.com/w/cpp/container/map/operator_at

これで、C ++ 11では、at（）を使用してよりクリーンなバージョンを作成できます。

void MyClass::MyFunction( int x ) const
{
  std::cout << m_map.at(x) << std::endl;
}

新しい読者への注意。
元の質問はSTLコンテナに関するものでした（特にstd :: mapに関するものではありません）

ほとんどのコンテナにはconstバージョンの演算子[]があることに注意してください。
std :: mapとstd :: setにはconstバージョンがないというだけで、これはそれらを実装する基礎となる構造の結果です。

std :: vectorから

reference       operator[](size_type n) 
const_reference operator[](size_type n) const 

また、2番目の例では、要素が見つからないかどうかを確認する必要があります。

void MyClass::MyFunction( int x ) const
{
    MyMap iter = m_map.find(x);
    if (iter != m_map.end())
    {
        std::cout << iter->second << std::endl
    }
}

operator []はコンテナに新しい要素を挿入する可能性があるため、constメンバー関数にすることはできません。operator []の定義は非常に単純であることに注意してください。m[k]は（*（（m.insert（value_type（k、data_type（））））。first））。secondと同等です。厳密に言えば、このメンバー関数は不要です。便宜上存在するだけです。

インデックス演算子は、読み取り専用コンテナ（STL自体には実際には存在しません）に対してのみconstである必要があります。

インデックス演算子は、値を調べるためだけに使用されるわけではありません。

std :: mapメンバー変数を可変であると宣言した場合

mutable std::map<...> m_map;

constメンバー関数内でstd :: mapの非constメンバー関数を使用できます。