[4 迭代器] 27. 使用distance和advance将容器的const_iterator转换为iterator

你可能在想使用强制类型转换，让我们看看强制类型转换如何，下面试图将const_iterator转换为iterator：

typedef deque<int> IntDeque;
typedef IntDeque::iterator Iter;
typedef IntDeque::const_iterator ConstIter;

ConstIter ci;
...
// 编译错误，从const_iterator到iterator没有隐式转换
Iter i(ci);
// 编译错误，不能将const_iterator强制转换为iterator
Iter i(const_cast<iter>(ci));

编译错误的原因是，对于这些容器类型，iterator和const_iterator是完全不同的类，试图将一种类型转换为另一种类型是无意义的。当然，reinterpret_cast、static_cast或C语言类型转换也会错误。

有一种方法可以将const_iterator转换为iterator，下面代码需要稍作修改才能通过编译：

注意：这里介绍的方法对使用了引用计数的string可能无效。

typedef deque<int> IntDeque;
typedef IntDeque::iterator Iter;
typedef IntDeque::const_iterator ConstIter;

IntDeque d;
ConstIter ci;
// 使ci指向d的某个位置
// ci = d.begin() + offset;
...
// 使i指向d的起始位置
Iter i(d.begin());
// 移动i,使它指向ci所指的位置
advance(i, distance(i, ci));

思路：为了得到一个与const_iterator指向同一位置的iterator，首先创建一个新的iterator，将它指向容器的起始位置，然后取得const_iterator距离容器起始位置的偏移量，并将iterator向前移动相同的偏移量即可。两个函数模板，distance用来获得两个迭代器之间的距离，advance用来将一个迭代器移动指定的距离。

来看下编译失败的原因，先看下distance的函数声明：

template<typename InputIterator>
typename iterator_traits<InputIterator>::difference_type
distance(InputIterator, InputIterator);

distance的第1个参数和第2个参数的类型相同，而当我们如下调用时：

// 移动i,使它指向ci所指的位置
advance(i, distance(i, ci));

对编译器而言，第一个参数推断出来的类型为deque<int>::iterator，第二个参数推断出来的类型为deque<int>::const_iterator。两者类型不一致，所以编译报错。要想顺利通过编译，需要排除二义性：

// 将（i, ci）都当做const_iterator
// iterator转换为const_iterator是隐式转换
advance(i, distance<ConstIter>(i, ci));