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

Question

以下代码表示将映射作为 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

Answer 1

std::map 的 运算符 [] 未声明为 const，并且不能归因于其行为：

T& 运算符[]（const Key& key）

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

因此，您的函数无法声明为 const，并使用映射的 operator[]。

std::map 的 find() 功能允许您在不修改地图的情况下查找键。

find() 返回一个 迭代器，或 const_iterator 到 std ::pair 包含键 (.first) 和值 (.second)。

在 C++11 中，您还可以使用 at() 为 std::map。 如果元素不存在，该函数会抛出 std::out_of_range 异常，这与 operator [] 不同。

Answer 2

由于 operator[] 没有 const-限定重载，它不能安全地在 const 限定函数中使用。 这可能是因为当前的过载是为了返回和设置键值而构建的。

相反，您可以使用：

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

或者，在 C++11 中，您可以使用 at()< /code>运算符：

VALUE = map.at(KEY);

Answer 3

您不能在 const 的地图上使用 operator[]，因为该方法不是 const，因为它允许您修改地图（您可以分配给_map[key]）。 尝试改用 find 方法。

Answer 4

一些较新版本的 GCC 头文件（我的机器上为 4.1 和 4.2）具有非标准成员函数 map::at() ，这些函数被声明为 const 并在键不在映射中时抛出 std::out_of_range 。

const mapped_type& at(const key_type& __k) const

从函数注释中的参考来看，这似乎已被建议作为标准库中的新成员函数。

Answer 5

首先，您不应该使用以 _ 开头的符号，因为它们是语言实现/编译器编写者保留的。 _map 在某人的编译器上很容易成为语法错误，除了你自己，你没有人可以责怪。

如果要使用下划线，请将其放在末尾，而不是开头。 您可能犯了这个错误，因为您看到一些 Microsoft 代码这样做。 请记住，他们编写了自己的编译器，因此他们可能能够逃脱惩罚。 即便如此，这也是一个坏主意。

运算符 [] 不仅返回引用，它实际上在映射中创建条目。 因此，您不仅获得了映射，如果没有映射，您还创建了一个映射。 那不是你的本意。