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 } |
这一直困扰着我。为什么[]运算符是非常量?
对于
由于必须允许它失败并插入默认值,因此不能在容器的
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成员函数。