-
本节的核心理念是 “尽可能使用 const 标识符” 这一大原则用在迭代器 iterator 上，idea本身没有什么值得争论的。接下来主要聊一聊C++98时很多情况为什么不用 const iterator，C++11/14做了什么改进，以及现在如何使用。 -
C++98中，假设有一个需求：在 std::vector<int> 中查找一个值 targetVal，然后在其位置（之后）插入另一个值 inserVal，如果找不到则插入在最后。很自然的可以写出如下代码：
std::vector<int> values;
int targetVal, insertVal;
...
typedef std::vector<int>::iterator IterT;
typedef std::vector<int>::const_iterator ConstIterT;
IterT it = std::find(values.begin(), values.end(), targetVal);
values.insert(it, insertVal);
- 以上代码中完全没有修改迭代器指向的内容。OK，你决定要把它们全改造为
const_iterator 版本：
ConstIterT cit =
std::find(static_cast<ConstIterT>(values.begin()),
static_cast<ConstIterT>(values.end())
, targetVal);
values.insert(static_cast<IterT>(cit), insertVal);
- 且不论将
begin() 和 end() 返回的非常量类型 IterT 转为常量 cit，又因为C++98的 insert() 只接受 non-const iterator，而不得不再次将 cit 转为IterT 这别扭的逻辑和繁杂的语法，你发现这样的代码竟然无法通过编译！原来，根本就没有一种方法能将 const_iterator 转为 iterator（C++11亦如此）！（笔者注：如果你也像我一样联想到了 const_cast，我要提醒你 const_cast 只能用在指针或引用上，而 const_iterator 和 iterator 是两个类！） - 终于，你决定放弃自己的理想，老老实实地用 non-const iterator——直到C++11闪亮登场！现在，
const_iterator 的获取和使用都变得容易了：容器类提供函数 cbegin 和 cend 将 const_iterator 双手献上，使用迭代器来明确位置而不修改内容的STL函数（如 insert 和 erase）现在使用 const_iterator 参数类型。C++11版本的代码如下：
auto cit = std::find(values.cbegin(), values.cend(), targetVal);
values.insert(cit, insertVal);
-
笔者注：这里需要提醒一下：由 iterator 向 const_iterator 的转换是轻易（等号赋值或cast）且可以隐式进行的。例如在MSVC的实现中， vector 的 iterator 类实际是由 const_iterator 类继承而来。cbegin 和 cend 函数的实现所幸就是直接return begin(); 和 return end();。（然而该例不属于标准而属于实现，GCC的实现看起来就完全不同） -
有时可能还会用更泛化的设计，将 cbegin 和 cend 等函数作为非成员函数（类似 std::find）。例如我们可以将以上逻辑写成一个通用的模板。使用它的优点之一是对原生的数组类型也支持，此时Container是一个数组的 const 引用，iterator 和 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), cend(container), targetVal);
container.insert(it, insertVal);
}
- 一个注意点：C++11标准制定时忽视了
std::cbegin 和 std::cend 这一系列非成员函数的加入，C++14修正了这一点。如果是在C++11中，需要自己进行实现，方法也很简单：像MSVC的 vector 中做的一样，直接返回 std::begin() std::cend() 即可。
总结
- 使用迭代器时尽可能使用
const_iterator。 - 在最大化泛用性的设计中，倾向使用非成员函数版本的
begin, end, rbegin 等。
|