关于c ++:为什么STL贴图的[]运算符不是?

Why isn't the [] operator const for STL maps?

人为的例子,为了这个问题:

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

这不会编译,因为[]运算符是非常量。

这是不幸的,因为[]语法看起来非常干净。相反,我必须这样做:

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

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


对于std::mapstd::unordered_map而言,如果索引值以前不存在,operator[]会将其插入容器中。这有点不切实际,但事实就是如此。

由于必须允许它失败并插入默认值,因此不能在容器的const实例上使用该运算符。

http://en.cppreference.com/w/cpp/container/map/operator_,网址:


现在,用C++ 11可以使用AT-()来拥有更干净的版本。

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


新读者须知。最初的问题是关于STL容器(不是特别关于std::map)

应该注意,大多数容器上都有一个常量版本的operator[]。只是std::map和std::set没有常量版本,这是实现它们的底层结构的结果。

从标准::矢量

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

另外,对于第二个示例,您应该检查查找元素的失败。

1
2
3
4
5
6
7
8
void MyClass::MyFunction( int x ) const
{
    MyMap iter = m_map.find(x);
    if (iter != m_map.end())
    {
        std::cout << iter->second << std::endl
    }
}


由于运算符[]可能会向容器中插入新元素,因此它不可能是常量成员函数。注意,operator[]的定义非常简单:m[k]相当于(((m.insert(value_type(k,data_type())).first)).second。严格来说,这个成员函数是不必要的:它的存在只是为了方便


索引运算符只应是只读容器的const(它本身不存在于stl中)。

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


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

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

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