Item 13: Prefer const_iterators to iterators.
Effective Modern C++ Item 13 的学习和解读。
STL 中 const_iterators 类似于 pointers-to-const,当你不修改 iterator 指向的对象时,最好使用 const_iterators,这样更加安全。
但是在 C++98 对 const_iterators 的支持并不完善。看下面的例子:
std::vector<int> values;
…
std::vector<int>::iterator it =
std::find(values.begin(),values.end(), 1983);
values.insert(it, 1998);
上面的代码并不修改 iterator 指向的内容,显然 const_iterator 是更好的选择。C++98 中一种可能的修改如下,但却无法通过编译:
typedef std::vector<int>::iterator IterT; // typedefs
typedef std::vector<int>::const_iterator ConstIterT;
std::vector<int> values;
…
ConstIterT ci =
std::find(static_cast<ConstIterT>(values.begin()), // cast
static_cast<ConstIterT>(values.end()), // cast
1983);
values.insert(static_cast<IterT>(ci), 1998); // may not compile; see below
因为 values 是非 const 的容器,为了使用 const_iterator,这里使用了 static_cast 强制转换一下。在 C++98 中,insert 和 erase 操作必须使用 iterator,但是在 C++98(包括 C++11)没办法将 iterator 转换为 const_iterator。
不过,这在 C++11 中可以得到解决,容器的成员函数 cbegin、cend 可以得到 const_iterator,即使是非 const 容器,并且 insert 和 erase 等操作可以使用 const_iterator,上述代码可以修改如下:
std::vector<int> values; // as before
…
auto it = std::find(values.cbegin(),values.cend(), 1983); // use cbegin and cend
values.insert(it, 1998);
但是,对于泛型编程,上述代码还是不够,因为除了标准容器,还有一些类似容器的数据结构,比如数组,没有成员函数 begin 和 end,只有非成员的 begin 和 end。因此,使用非成员函数的 begin 和 end 的代码更加通用:
template<typename C, typename V>
void findAndInsert(C& container, // in container,
const V& targetVal, // find first occurrence of targetVal,
const V& insertVal) // then insert insertVal there
{
using std::cbegin;
using std::cend;
auto it = std::find(cbegin(container), // non-member cbegin
cend(container), // non-member cend
targetVal);
container.insert(it, insertVal);
}
很遗憾,上述代码只能在 C++14 中才能用,因为 C++11 只提供了非成员的 begin 和 end,C++14 才提供非成员的 cbegin、cend、rbegin、rend、crbegin 和 crend。
如果你那的编译器只支持 C++11,那么你可以使用如下代码来实现 cbegin:
template <typename C>
auto cbegin(const C& container)->decltype(std::begin(container))
{
return std::begin(container);
}
这里利用了 Item 1 中类型推导得到常量版本迭代器。
最后总结一下:在 C++98 中有场景可能无法使用 const_iterator。并且在 C++11 中没有提供非成员的 cbegin 和 cend。但是是鼓励大家尽可能使用 const_iterator,毕竟这样最安全。