C ++マップアクセス破棄修飾子（const）

次のコードはconst、operator[]メソッドとしてマップを渡すと修飾子が破棄されることを示しています。

#include <iostream>
#include <map>
#include <string>

using namespace std;

class MapWrapper {
public:
    const int &get_value(const int &key) const {
        return _map[key];
    }

private:
    map<int, int> _map;
};

int main() {
    MapWrapper mw;
    cout << mw.get_value(42) << endl;
    return 0;
}

これは、マップアクセスで発生する可能性がある割り当てのためですか？マップアクセスを持つ関数をconstとして宣言することはできませんか？

MapWrapper.cpp:10: error: passing ‘const std::map<int, int, std::less<int>, std::allocator<std::pair<const int, int> > >’ as ‘this’ argument of ‘_Tp& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const _Key&) [with _Key = int, _Tp = int, _Compare = std::less<int>, _Alloc = std::allocator<std::pair<const int, int> >]’ discards qualifiers

std::mapさんはoperator []として宣言されていないconst、そしてその行動に起因することができません。

T＆operator []（const Key＆キー）

keyに対応するキーにマップされている値への参照を返し、そのようなキーがまだ存在しない場合は挿入を実行します。

その結果、関数を宣言できずconst、マップのを使用できませんoperator[]。

std::mapのfind()関数を使用すると、マップを変更せずにキーを検索できます。

find()リターンiterator、またはconst_iteratorに対してstd::pairキーの両方を含む（.first）と値（.second）。

C ++ 11では、at()forを使用することもできますstd::map。要素が存在しない場合、std::out_of_rangeとは対照的に、関数は例外をスローしますoperator []。

にoperator[]はconst修飾されたオーバーロードがないため、const修飾された関数で安全に使用できません。これは、現在のオーバーロードが、キー値の返却と設定の両方の目的で構築されたためと考えられます。

代わりに、以下を使用できます。

VALUE = map.find(KEY)->second;

または、C ++ 11では、at()演算子を使用できます。

VALUE = map.at(KEY);

あなたは使用することはできませんoperator[]で地図上constその方法ではないとしてconst、それはあなたが（あなたがに割り当てることができるマップを変更することを可能にするとして_map[key]）。find代わりにメソッドを使用してみてください。

GCCヘッダーのいくつかの新しいバージョン（私のマシンでは4.1および4.2）には非標準のメンバー関数map :: at（）があり、これはconstと宣言されており、キーがマップにない場合はstd :: out_of_rangeをスローします。

const mapped_type& at(const key_type& __k) const

関数のコメントの参照から、これは標準ライブラリの新しいメンバー関数として提案されているようです。

まず、_で始まるシンボルは、言語の実装/コンパイラの作成者に予約されているため、使用しないでください。_mapが誰かのコンパイラの構文エラーになるのは非常に簡単であり、あなたが責任を負うのは自分だけです。

アンダースコアを使用する場合は、最初ではなく最後に配置します。Microsoftのコードがそれを実行しているのを見たので、おそらくこの間違いを犯しました。覚えておいてください、彼らは彼ら自身のコンパイラーを書いているので、彼らはそれを回避できるかもしれません。それでも、それは悪い考えです。

演算子[]は参照を返すだけでなく、実際にマップにエントリを作成します。したがって、マッピングを取得しているだけではなく、マッピングがない場合は作成しています。それはあなたが意図したものではありません。