const_iterator
是STL中相当于指涉到const的指针的等价物。它们指涉到不可以被修改的值。
只要需要一个迭代器而其指涉内容没有修改必要,那么就应该用
const_iterator
但值得强调的是,在C++98中,const_iterator
用起来困难重重,以下列举C++98中使用场景示例:
// 对于以下调用,合理的应该改为const_iterator
std::vector<int> values;
...
std::vector<int>::iterator it =
std::find(values.begin(), values.end(), 1983);
values.insert(it, 1998);
//以下在C++98中尝试改进,实际上编译不过
typedef std::vector<int>::iterator IterT;
typedef std::vector<int>::const_iterator ConstIterT;
std::vector<int> values;
...
ConstIterT ci =
std::find(static_cast<ConstIterT>(values.begin()), //强制类型转换
static_cast<ConstIterT>(values.end()), //强制类型转换
, 1983);
values.insert(static_cast<IterT>(ci), 1998); //可能无法通过编译
实际上,如果在static_cast
能够运作的时候,可能会这样写,但是:
const_iterator就是没有任何办法转换成对应的iterator
由于这种原因,所以众多程序猿并不能只要有可能就使用const_iterator
,而是在好用的时候采用。但在C++11中,这种麻烦被修复了。看以下代码:
std::vector<int> values;
...
auto it =
std::find(values.cbegin(), values.cend(), 1983);
values.insert(it, 1998);
只有在一种情况下C++11不能很好的使用const_iterator
。例如以上业务,当我们想抽象出一个模板的时候,可能会这么写:
template<typename C, typename V>
void findAndInsert(C& container,
const V& targetVal,
const V& insertVal)
{
using std::cbegin;
using std::cend;
auto it = std::find(cbegin(container), //非成员函数版本cbegin
cend(container), //非成员函数版本cend
targetVal);
container.insert(it, insertVal);
}
而令人遗憾的是,以上代码只能在C++14中运行,C++11由于标准委员会只添加了非成员函数版本的begin
和end
。并未添加cbegin
,cend
,rbegin
,rend
,crbegin
,crend
。在C++11中可以添加一下辅助代码实现cbegin
:
template<class C>
auto cbegin(const C& container)->decltype(std::begin(container))
{
return std::begin(container); //请仔细看下文解释
}
以上代码可能会让你觉得有些吃惊,非成员函数版本的cbegin并没有调用成员函数的cbegin。但其实这个函数的实参型别可以是任何表示类似容器的数据结构,并通过其引用到const型别的形参container来访问该实参。这样做的好处是能够同时兼容只有begin成员函数版本的容器。
要点速记 |
---|
1. 优先选用const_iterator,而非iterator。 |
2. 在最通用的代码中,优先选用非成员函数版本的begin、end和rbegin等,而非成员函数版本。 |