为什么不是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::map
, operator[]
会将索引值插入到容器中,如果它以前不存在的话。 这有点不直观,但就是这样。
由于必须允许失败并插入默认值,因此操作员不能在容器的const
实例上使用。
现在用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成员函数。