STL与泛型编程<八>：迭代器简介

总述

迭代器是一种型别（通俗的讲就是以一种类）声明如下

template <class Category,              // iterator::iterator_category
          class T,                     // iterator::value_type
          class Distance = ptrdiff_t,  // iterator::difference_type
          class Pointer = T*,          // iterator::pointer
          class Reference = T&         // iterator::reference
          > class iterator;

所有容器都定义其各自的迭代器型别(iterator types)，所以不需要专门的头文件，但有的迭代器需要，如逆向迭代器，被定义在#include中，迭代器是一种“能够遍历某个序列内所有元素”的对象，它可以透过一般指针一致的接口来完成自己的工作。其主要分为以下几种，见图

input（输入）迭代器

input迭代器只能一次一个向前读取元素，按顺序一个个传回元素值。注意input迭代器只能读取元素一次，如果你复制了input迭代器，并使原input迭代器和新产生的副本都向前读取，可能会遍历到不同的值
几乎所有的迭代器都具有input迭代器的功能，一个典型的例子就是从“标准输入读取数据”，同一个值不会被读两次。常见操作见下图

注意input迭代器不提供递减运算操作符

output（输出）迭代器

output迭代器是将元素值一个个写入，也就是说，你只能一个个元素地赋新值，而且不能使用output迭代器对同一序列进行两次遍历，下图是其操作

operator/*只有在赋值语句左手边才有效，注意output迭代器无需比较，无法检验output迭代器是否写入成功，唯一可以做的就是写入，再写入，几乎所有迭代器都具有output迭代器的功能。一个典型的例子“将元素输出到标准输出设备”的迭代器；output迭代器另一个典型例子就是inserters，所谓inserters是用来将元素插入容器的一种迭代器。

forward（前向）迭代器

forward迭代器是input迭代器和output迭代器的结合，具有input迭代器的全部功能和output迭代器的部分功能，其操作如下图

为什么具有output迭代器的部分功能，见下
若是output迭代器，我们无需检查是否抵达序列尾端，便可直接写入数据，因此可以这样写

while (true)
{
    *pos = foo();
    ++pos;
}

对于forward迭代器，必须在存取数据之前确保有效，否则会引发未定义的行为，因此得这么写

while (pos != col.end())
{
    *pos = foo();
    ++pos;
}

这个循环不适合output迭代器，因为output迭代器没有定义operator!=

bidirectional(双向)迭代器

双向迭代器在forward迭代器的基础上提供了回头遍历的能力，换言之，它支持递减运算符，其新增操作如下

- random access(随机存取)迭代器
random access迭代器在双向迭代器的基础上再增加随机存取能力，因此它必须提供“迭代器算术运算”，也就是说它能够加减某个偏移量，能处理距离问题，并运用比较操作符，以下迭代器支持rand access迭代器：
1. 可随机存取的迭代器（vector,deque）
2. string（字符串，string,wstring）
3. 一般array（指针）
其新增的操作如下图

见一个例子

#include <iostream>
#include <vector>
using namespace std;

int main(void)
{
    vector<int> col;
    for (int i=-3; i<=9; ++i)
        col.push_back(i);
    //只适用于随机迭代器
    cout << "number/distance: " << col.end() - col.begin() << endl;

    vector<int>::iterator pos;
    for (pos=col.begin(); pos!=col.end(); ++pos)
        cout << *pos << ' ';
    cout << endl;

    //此操作只对random access 有效
    for (int i=0; i<col.size(); ++i)
        cout << col.begin()[i] << ' ';
    cout << endl;

    //此操作只对random access 有效
    for (pos=col.begin(); pos < col.end()-1; pos+=2)  //注意这里的循环结束条件（避免未定义行为）
        cout << *pos << ' ';
    cout << endl;

    return 0;
 } 

本例对lists,sets和maps无效，因为程序中标识的部分都只适用于random access迭代器。注意只有在面对random access迭代器时，才能以operator< 作为结束与否的判断准则
对于程序中最后一个循环的解释见下图

容器的迭代器类型

1. vector和deque的迭代器是随机迭代器，灵活性最大，基本适用于任何一个STL算法及迭代器相关操作
2. list的迭代器是双向迭代器，因此凡是用到随机迭代器的STL算法你都不能使用
3. set和map的迭代器也是双向迭代器