迭代器是指提供一种方法，是指能够依次巡防某个聚合物(容器)所含的各个元素，而又无需暴露该聚合物的内部表达方式，它是连接容器和算法的纽带，为数据提供了抽象，使写算法的人不必关心各种数据结构的细节。迭代器提供了数据访问的标准模型——对象序列，使对容器更广泛的访问操作成为可能。
泛型编程的关键所在，就是如何找到一种通用的方法，来访问具有不同结构的各种容器中的每个元素，而这正是迭代器的功能。
迭代器是一种广义的指针，是指向序列元素指针概念的一种抽象。迭代器可以指向容器中的任意元素，还能遍历整个容器，为了不暴露容器的内部设计，不同的容器可能需要不同的迭代器，将迭代器的设计交给容器的设计者。
（序列）容器是数组的抽象，而迭代器则是指向数组指针的抽象。迭代器虽然是广义的指针，但是，迭代器并不是通用的指针。实际上，在STL中，为每种容器都typedef了一个迭代器，名为iterator。例如，vector<T>的迭代器类型为<vector<T>::iterator（是一种随机访问迭代器）、list<T>的迭代器类型为list<T>::iterator（是一种双向迭代器）。
(1)特征与操作
迭代器的基本特征有：
解除——支持解除引用（dereference）操作，以便可以访问它引用的值。即，如果p是一个迭代器，则应该对*p和p->进行定义（似指针），通过operator操作符实现；
赋值——可将一个迭代器赋给另一个迭代器。即，如果p和q都是迭代器，则应该对表达式p=q进行定义；
比较——可将一个迭代器与另一个迭代器进行比较。即，如果p和q都是迭代器，则应该对表达式p==q和p!=q进行定义；
遍历——可以使用迭代器来遍历容器中的元素，这可以通过为迭代器p定义++p和p++操作来实现。
迭代器的操作有：
读——通过解除引用*来间接引用容器中的元素值，例如x = *p;
写——通过解除引用*来给容器中的元素赋值，例如*p = x;
访问——通过下标和指向引用容器中的元素及其成员，例如p[2]和p->m
迭代——利用增量和减量运算（++和--、+和-、+=和-=）在容器中遍历、漫游和跳跃，例如p++、--p、p+5、p-=8
比较——利用比较运算符（==、！=、<、>、<=、>=）来比较两个迭代器是否相等或谁大谁小，例如if(p < q)……;、wihle(p != c.end())……;
不同的泛型算法，对迭代器的要求也是不同的。例如，查找算法，只要求定义++操作符，以便迭代器能遍历整个容器，读取每一个元素的值来进行比较；但是，查找算法，并不需要修改数据，所以不要求写操作。排序算法则要求能随机访问，以便交换不相邻的元素；这需要对迭代器iter定义+n操作，以便能够使用像iter + 12这样的表达式；另外，排序算法还要求可以读写数据。
（2）分类
根据迭代器所支持的操作不同，在STL中定义了如下5种迭代器：
输入迭代器（input iterator）——用于读取容器中的信息，但不一定能够修改它。
输入迭代器iter通过解除引用（即*iter），来读取容器中其所指向元素之值；
为了使输入迭代器能够访问容器中的所有元素的值，必须使其支持（前/后缀格式的）++ 操作符；
输入迭代器不能保证第二次遍历容器时，顺序不变，先前指向的值；也不能保证其递增后不变。即，基于输入迭代器的任何算法，都应该是单通（single-pass）的，不依赖于前一次遍历时的值，也不依赖于本次遍历中前面的值。
可见输入迭代器是一种单向的只读迭代器，可以递增但是不能递减，而且只能读不能写。适用于单通只读型算法。
输出迭代器（output iterator）——用于将信息传输给容器（修改容器中元素的值），但是不能读取。例如，显示器就是只能写不能读的设备，可用输出容器来表示它。也支持解除引用和++操作，也是单通的。所以，输出迭代器适用于单通只写型算法。
前向迭代器（forward iterator正向迭代器）——只能使用++操作符来单向遍历容器（不能用--）。与I/O迭代器一样，前向迭代器也支持解除引用与++操作。与I/O迭代器不同的是，前向迭代器是多通的（multi-pass）。即，它总是以同样的顺序来遍历容器，而且迭代器递增后，仍然可以通过解除保存的迭代器引用，来获得同样的值。另外，前向迭代器既可以是读写型的，也可以是只读的。
双向迭代器（bidirectional iterator）——可以用++和--操作符来双向遍历容器。其他与前向迭代器一样，也支持解除引用、也是多通的、也是可读写或只读的。
随机访问迭代器（random access iterator）——可直接访问容器中的任意一个元素的双向迭代器(前三种支持operator ++,第四种在加上operator--),第五种则涵盖所有指针算数能力，包含p+n ，p-n,p[n],p1-p2,p1<p2。
可见，这5种迭代器形成了一个层次结构：I/O迭代器（都可++遍历，但是前者只读/后者只写）最基本、前向迭代器可读写但只能++遍历、双向迭代器也可读写但能++/--双向遍历、随机迭代器除了能够双向遍历外还能够随机访问。
迭代器性能
| 迭代器 功能 | 输入 | 输出 | 前向 | 双向 | 随机 访问 |
| 读取(= *i) | √ | × | √ | √ | √ |
| 写入(*i =) | × | √ | √ | √ | √ |
| 多通 | × | × | √ | √ | √ |
| ++i和i++ | √ | √ | √ | √ | √ |
| --i和i-- | × | × | × | √ | √ |
| i[n] | × | × | × | × | √ |
| i + n和i - n | × | × | × | × | √ |
| i += n和i -= n | × | × | × | × | √ |
| == 和 != | √ | × | √ | √ | √ |
| < 和 > | × | × | × | × | √ |
| <= 和 >= | × | × | × | × | √ |
注意：各种迭代器的类型并不是确定的，而只是一种概念性的描述。不能用面向对象的语言来表达迭代器的种类，迭代器的种类只是一系列的要求，而不是一种类型（类）。在STL中，用概念（concept）一词来描述这一系列要求。因此，有输入迭代器概念和双向迭代器概念，但是却没有输入迭代器类型和双向迭代器类型。
（3）声明
每个迭代器都必须内嵌5个内嵌型别，这样才能使用traits萃取到，STL中定义了一个iterator class 如下,如果每个新设计的迭代器都继承自它，就可保证符合STL所需之规范:
template<class Category,
class T,s
class Distance=ptrdiff_t,
class Pointer=T*,
class Reference=T&>
struct iterator{
typedef Category iterator_category;
typedef T value_type;
typedef Distance difference_type;
typedef Pointer pointer;
typedef Reference reference;
};
iterator class不含有任何成员，纯粹只是型别定义，所以继承它并不会招致任何额外的负担。
迭代器类iterator和函数的声明都位于命名空间std中，可以在头文件<iterator>中找到：
namespace std { // 取自C++2003标准
// primitives:基础/原语
template<class Iterator> struct iterator_traits; //通过iterator_traits获取迭代器的特征
template<class T> struct iterator_traits<T*>; // 指针的专门化
template<class Category, class T, classDistance = ptrdiff_t, class Pointer = T*, class Reference = T&>struct iterator; // 迭代器
struct input_iterator_tag {}; // 迭代器标志（类别）
struct output_iterator_tag {};
struct forward_iterator_tag: public input_iterator_tag {};
struct bidirectional_iterator_tag: public forward_iterator_tag {};
struct random_access_iterator_tag: public bidirectional_iterator_tag {};
// iterator operations:迭代器操作
template <class InputIterator, classDistance>
void advance(InputIterator& i, Distance n);
template <class InputIterator>
typename iterator_traits<InputIterator>::difference_type
distance(InputIterator first, InputIterator last);
// predefined iterators:预定义迭代器（及其比较运算符重载）
template <class Iterator> class reverse_iterator; // 反向迭代器
template <class Iterator>
bool operator==(const reverse_iterator<Iterator>& x, const reverse_iterator<Iterator>& y);
template <class Iterator>
bool operator<(const reverse_iterator<Iterator>& x, const reverse_iterator<Iterator>& y);
template <class Iterator>
bool operator!=(const reverse_iterator<Iterator>& x, const reverse_iterator<Iterator>& y);
template <class Iterator>
bool operator>(const reverse_iterator<Iterator>& x, const reverse_iterator<Iterator>& y);
template <class Iterator>
bool operator>=(const reverse_iterator<Iterator>& x, const reverse_iterator<Iterator>& y);
template <class Iterator>
bool operator<=(const reverse_iterator<Iterator>& x, const reverse_iterator<Iterator>& y);
template <class Iterator>
typename reverse_iterator<Iterator>::difference_type
operator- (const reverse_iterator<Iterator>& x, const reverse_iterator<Iterator>&y);
template <class Iterator>reverse_iterator<Iterator>
operator+(typename reverse_iterator<Iterator>::difference_type n, const reverse_iterator<Iterator>& x);
// 插入器
template <class Container> classback_insert_iterator;
template <class Container>
back_insert_iterator<Container> back_inserter(Container& x);
template <class Container>
class front_insert_iterator;
template <class Container>
front_insert_iterator<Container> front_inserter(Container& x);
template <class Container> class insert_iterator;
template <class Container, class Iterator>
insert_iterator<Container>inserter(Container& x, Iterator i);
// stream iterators:流迭代器
template <class T, class charT = char,class traits = char_traits<charT>, class Distance = ptrdiff_t> classistream_iterator;
template <class T, class charT, classtraits, class Distance> bool operator==(constistream_iterator<T,charT,traits,Distance>& x, constistream_iterator<T, charT, traits, Distance>& y);
template <class T, class charT, classtraits, class Distance> bool operator!=(constistream_iterator<T,charT,traits,Distance>& x, constistream_iterator<T, charT, traits, Distance>& y);
template <class T, class charT = char,class traits = char_traits<charT> > class ostream_iterator;
template<class charT, class traits =char_traits<charT> > class istreambuf_iterator;
template <class charT, class traits>bool operator==(const istreambuf_iterator<charT, traits>& a, constistreambuf_iterator<charT,traits>& b);
template <class charT, class traits>bool operator!=(const istreambuf_iterator<charT, traits>& a, constistreambuf_iterator<charT,traits>& b);
template <class charT, class traits =char_traits<charT> > class ostreambuf_iterator;
}
（4）迭代器适配器
STL有一个使用方便的预定义迭代器集合，其中包括正向迭代器、反向迭代器、插入器和流迭代器。
正向迭代器：
template<class Category, class T, classDistance = ptrdiff_t, class Pointer = T*, class Reference = T&> structiterator;
在所有的标准容器类中，都定义了返回iterator对象的成员函数begin()和end()。例如
namespace std {
template <class T, class Allocator = allocator<T>> class vector {
public:
……
// iterators:迭代器
iterator begin(); // 指向首元素
const_iterator begin() const;
iterator end(); // 指向尾元素后的一个位置
const_iterator end() const;
reverse_iterator rbegin(); // 指向反向序列的首元素
const_reverse_iterator rbegin() const;
reverse_iterator rend(); // 指向反向序列尾元素后的一个位置
const_reverse_iterator rend() const;
……
}
}
通过在程序中调用它们，就可以得到正向迭代器 iterator的对象，从而能够正向遍历容器。例如：（c为任意标准容器对象，op为某一函数对象）
for_each(c.begin(), c.end(), op);
反向迭代器：
template <class Iterator> classreverse_iterator;
在标准容器中调用rbegin()和rend()，就可以得到反向迭代器 reverse_iterator的对象，从而可反向遍历容器。例如：
// Revers.cpp
#include <fstream>
#include <iostream>
#include <string>
#include <vector>
using namespace std;
int main() {
ifstream in("Revers.cpp");
if(!in) {
cout << " Open file Revers.cpp error ! " << endl;
return 1;
}
string line;
vector<string> lines;
while(getline(in, line)) lines.push_back(line);
for(vector<string>::reverse_iterator r = lines.rbegin();
r != lines.rend(); r++)
cout << *r << endl;
}
运行结果 为将此代码反序输出。先输出最后一行
插入器
如果需要输出或复制元素到容器，又不想覆盖容器中原有的内容，还要避免溢出，这就需要插入器来帮忙。STL提供了三种插入器，分别对应于后插、前插和中插：
template <class Container> classback_insert_iterator; // 在尾部插入
template <class Container>back_insert_iterator<Container> back_inserter(Container& x);
template <class Container> classfront_insert_iterator; // 在头部插入
template <class Container>front_insert_iterator<Container> front_inserter(Container& x);
template <class Container> classinsert_iterator; // 在中间插入
template <class Container, classIterator>
insert_iterator<Container>inserter(Container& x, Iterator i);
例如：
// Insert.cpp
#include <iostream>
#include <vector>
#include <deque>
#include <list>
#include <iterator>
using namespace std;
int a[] = { 1, 3, 5, 7, 11, 13, 17, 19, 23 }; // 质数序列
template<class Cont> void frontInsertion(Cont& ci) { // 前插
copy(a, a + sizeof(a)/sizeof(Cont::value_type), front_inserter(ci)); // 插入a
// 插入空格
copy(ci.begin(), ci.end(), ostream_iterator<typename Cont::value_type>(cout, " "));
cout << endl;
}
template<class Cont> void backInsertion(Cont& ci) { // 后插
copy(a, a + sizeof(a)/sizeof(Cont::value_type), back_inserter(ci)); // 插入a
// 插入空格
copy(ci.begin(), ci.end(), ostream_iterator<typename Cont::value_type>(cout, " "));
cout << endl;
}
template<class Cont> void midInsertion(Cont& ci) { // 中插
typename Cont::iterator it = ci.begin();
++it; ++it; ++it; // 迭代器指向第4个元素
copy(a, a + sizeof(a)/(sizeof(Cont::value_type) * 2), inserter(ci, it)); // 插入9/2=4个数
// 插入空格
copy(ci.begin(), ci.end(), ostream_iterator<typename Cont::value_type>(cout, " "));
cout << endl;
}
int main() {
deque<int> di;
list<int> li;
vector<int> vi;
frontInsertion(di);
frontInsertion(li);
// frontInsertion(vi); // 对向量不能使用前插
di.clear();
li.clear();
backInsertion(vi);
backInsertion(di);
backInsertion(li);
midInsertion(vi);
midInsertion(di);
midInsertion(li);
}
运行结果为：
23 19 17 13 11 7 5 3 1
23 19 17 13 11 7 5 3 1
1 3 5 7 11 13 17 19 23
1 3 5 7 11 13 17 19 23
1 3 5 7 11 13 17 19 23
1 3 5 1 3 5 7 7 11 13 17 19 23
1 3 5 1 3 5 7 7 11 13 17 19 23
1 3 5 1 3 5 7 7 11 13 17 19 23
流迭代器
一般I/O是通过C++的流库或C的I/O函数完成的，也可以通过GUI的对话框等来进行I/O操作。这些I/O接口的基本目标，是读取各种类型的单个值。
为了使I/O能够以序列的方式呈现，将流I/O融入容器和算法的通用框架之中，STL还提供了4个流迭代器的模版类：
n istream_iterator——用于从输入流读取
n ostream_iterator——用于向输出流写入
n istreambuf_iterator——用于从输入流缓冲区读取
n ostreambuf_iterator——用于向输出流缓冲区写入
从输入流读取的操作，由对输入流迭代器is的间接引用*is的赋值来进行，在每两次输入之间，必须进行一次增量操作，为下一次输入做好准备。类似地，写出到输出流的操作，由对输出流迭代器os的间接引用*os的赋值来进行，在每两次输出之间，也必须进行一次增量操作和赋值操作，为下一次输出做好准备。
例如：
// Stream.cpp
#include<iostream>
#include<iterator>
using namespace std;
int main() {
ostream_iterator<int> os(cout); // 将int通过os输出到cout
*os = 5; // 输出5（用cout << 5;）
os++; // 准备好下一次的输出
*os = 80;
istream_iterator<int> is(cin); // 通过is从cin读入int
int i1 = *is; // 输入到i1
is++; // 准备好下一次的输入
int i2 = *is; // 输入到i2
cout << "i1 = " << i1 << ", i2 = " << i2 << endl;
}
运行结果如下：
580
78
56
i1 = 78, i2 = 56
又例如：
// StreamIt.cpp
#include <fstream>
#include <iostream>
#include <iterator>
#include <string>
#include <vector>
using namespace std;
int main() {
ifstream in("StreamIt.cpp");
istream_iterator<string> begin(in), end;
ostream_iterator<string> out(cout, " ");
vector<string> vs;
copy(begin, end, back_inserter(vs));
copy(vs.begin(), vs.end(), out);
*out++ = vs[0];
*out++ = "That's all, folks!";
}
（5）指针与迭代器
既然迭代器是广义的指针，那么指针本身是不是迭代器呢？其实，指针满足所有迭代器的要求，所以，指针就是一种迭代器。
迭代器是泛型算法的接口，而指针是迭代器。所以，各种STL算法，也可以使用指针，来对非标准容器（如数组）进行操作。即，利用指针做迭代器，可以将STL算法用于常规数组。
例如排序函数sort：
sort(Ran first, Ran last); // Ran表示随机访问迭代器
对容器c为：
sort(c.begin(), c.end());
对数组a可以改为：（const int SIZE = 100; float a[SIZE];）
sort(a, a + SIZE);
又例如复制函数copy：
copy(In first, In last, Out res); // In和Out分别表示输入和输出迭代器
对容器c<int>可为：（ostream_iterator<int> out_iter(cout);）
copy(c.begin(), c.end(), out_iter);
对数组a可以改为：（const int SIZE = 100; float a[SIZE];）
copy(a, a + SIZE, c.begin());
812
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
