为什么不是STL映射的运算符常量?

举个例子,为了这个问题:

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::mapoperator[]会将索引值插入到容器中,如果它以前不存在的话。 这有点不直观,但就是这样。

由于必须允许失败并插入默认值,因此操作员不能在容器的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)

应该注意的是在大多数容器上都有一个const的operator []版本。
这只是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())))。 严格来说,这个成员函数是不必要的:它只是为了方便而存在的

一个索引操作符只应该是一个只读容器的const(它本身并不存在于STL中)。

索引操作符不仅用于查看值。

如果你声明你的std :: map成员variables是可变的

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

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