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，毕竟这样最安全。