为什么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
}

这一直困扰着我。为什么[]运算符是非常量的？

对于std::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的）

应该注意的是，大多数容器上都有operator []的const版本。
只是std :: map和std :: set没有const版本，这是实现它们的基础结构的结果。

来自std :: vector

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

同样在第二个示例中，您应该检查找不到元素的失败。

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。严格来说，此成员函数是不必要的：它仅是为了方便而存在

对于只读容器，索引运算符应仅是const（STL本身实际上并不存在）。

索引运算符不仅用于查看值。

如果您声明std :: map成员变量是可变的

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

您可以在const成员函数中使用std :: map的非const成员函数。