C ++映射访问丢弃限定符（const）

以下代码说，将map传递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＆运算符[]（const键和键）

返回对该值的引用，该值映射到与键等效的键，如果尚不存在则执行插入。

结果，无法声明您的函数const，而使用地图的operator[]。

std::map的find()功能可让您查找键而无需修改地图。

find()传回iterator或const_iterator到std::pair同时包含键（.first）和值（.second）的。

在C ++ 11中，您也可以使用at()for std::map。与相比，如果element不存在，则该函数将引发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代码。请记住，他们编写了自己的编译器，所以他们也许可以摆脱它。即使这样，这也是一个坏主意。

运算符[]不仅返回引用，而且实际上在地图中创建条目。因此，您不仅获得了一种映射，如果没有映射，那么您正在创建一个。那不是你想要的。