模板是的算法独立于存储的数据类型，而迭代器使算法独立于使用的容器类型。理解迭代器是理解STL的关键。
迭代器应该具备的特征：
(1)应该能够对迭代器进行解除引用的操作，以便能够访问它引用的值。即如果P是一个迭代器，则应该对*P进行定义
(2)应该能够将一个迭代器赋给另一个迭代器。如果P和Q都是迭代器，则应对P=Q定义。
(3)应该能够对迭代器进行比较，看它们是否相等。即如果P和Q都是迭代器，则应对P==Q和P!=Q进行定义。
(4)应该能够使用迭代器遍历容器中的所有元素，这可以通过迭代器定义的++P和P++来实现。
值得注意的是，常规的指针就能够满足迭代器的要求，因此可以将指针看作是一种迭代器。
说了这么多，也许你并不理解，没关系，读完下面实例，再回头看这些陈述，你就会发现so easy!
下面来看具体实例解释：
首先在double数组中搜索特定值的函数，可以这样编写该函数：
double * find_ar(double * ar, int n, const double & val)
{
for (int i = ; i < n; i++)
if (ar[i] == val)
return &ar[i];//成功找到，返回该值的地址
return ; //否则返回空指针
}
可以看出，该算法是与特定的数据容器（数组）关联在一起的；
下面是搜索另一种数据结构-----链表的算法,每个节点的指针域都指向下一个节点，链表最后一个节点的指针被设为0：
同样，该算法是与特定的数据容器（数组）关联在一起的。
struct Node
{
double item;
Node * p_next;
};
Node * find_ll(Node * head, const double & val)
{
Node * start;
for (start = head; start != ; start = start->p_next)
if ( start->item == val)
return start;
return ;
}
于是，大神们就想：有木有一种算法可以独立于这些数据容器（链表，数组等）呢？显然，操作相同（如：都是搜索一种元素），容器一变，算法就要重写，确实很麻烦。即搞出一种算法，不论数据容器怎么变，该算法都适用。于是迭代器应运而生！
重新编写find_arr()函数：
typedef double * iterator;
iterator find_ar(iterator begin, iterator end, const double & val)
{
iterator ar;
for (ar = begin; ar != end; ar++)
{
if (*ar == val)
return ar;
return end;//表示没有找到
}
}
程序解释：begin是指向数组起始位置，end指向数组的超尾，解释一下超尾, 超尾就是数组最后一个元素后面的一个元素（当然有可能是空值，但显然这个元素已经不在数组范围了）的位置，特别注意不要理解为数组最后一个元素的位置，这点很重要，搞清楚begin和end的概念之后，相信上面的程序很容易理解了。至于如何让begin指向数组第一个元素，如何让end指向超尾和本讨论无关，当然也丝毫不影响对本讨论的理解，所以完全不用多想这个问题。
对于find_ll()函数，先定义一个迭代器类，看不懂没关系，只需要感性上知道这个迭代器类定义了*，++，==，!=等运算符是干啥的。大致浏览一遍，定义iterator类不是重点（否则本讨论就应该改名“类的定义及其使用”，哈哈），千万不要纠结iterator类的定义，以为这种纠结会影响对本讨论的理解，再次声明本讨论主要介绍为什么使用迭代器，以及迭代器的原理，至于具体迭代器类的定义是根据具体需要可以自定义的，不用想太多，读完这篇，只要搞懂我们使用迭代器的意义在哪里就证明你完成了阅读任务，而具体的迭代器的定义，STL里面早就有人帮我们写好了，不是我们操心的事！这里写出来只是方便讨论，感性认识一下即可。
struct Node
{
double item;
Node * p_next;
};
class iterator
{
private:
Node * pt;
public:
//构造函数重构，使用列表初始化
iterator() : pt() {}
iterator(Node * pn) : pt(pn) {}
double operator * () {return pt -> item;}//定义*操作符
iterator& operator++() //定义++前缀操作符，及++it
{
pt = pt->p_next;
return *this;
}
iterator& operator++(int) //定义++后缀操作符，及it++
{
iterator tmp = *this;
pt = pt->p_next;
return tmp;
}
//...operator==（）operator！=（）,etc
};
正如前面所说，重点不是如何定义iterator类，而是有了这样的类（库函数里有，大家不用就纠结如何定义哈，这样的类已经有了，否则我在这里废话半天有毛用），第二个搜索函数find_ll()可以改写为：
iterator find_ll(iterator head, const double & val)
{
iterator start;
for (start = head; start != ; ++start)
{
if (*start == val)
return start;
return ;//表示没有找到
}
}
可以发现这和find_ar()几乎相同，只是find_ar()使用超尾迭代词end，而find_ll()使用存储在最后一个节点中的空值0.
于是进一步改进，在定义数据容器的迭代器时，要求数组和链表都有一个超尾元素（C++在STL确实也是这样做的），并在迭代器达到超尾时结束搜索。这样，find_ar()和find_ll()检测数据尾的方式将相同，从而成为相同的算法。
最后做一个总结：STL遵循上面介绍的方法。首先，每个容器类（vector, list, deque）定义了相应的迭代器类型。对于其中某个类，迭代器可能是指针；而对于另一个容器类，则可能是对象。不管实现方式如何，迭代器都将提供所需要的操作，如*和++等等。其次，每一个容器类都一个超尾标记，当迭代器递增到超越容器的最后一个值后，这个值将被赋给迭代器。每个容器类都有begin()和end()方法，它们分别返回一个指向容器的第一个元素和超尾位置的迭代器。每个容器类都使用++操作，让迭代器从指向第一个元素逐步指向超尾位置，从而遍历容器中的每一个元素。
再次强调，使用容器类时，无需知道其迭代器是如何实现的，也无需知道超尾是如何实现的，而只需知道它有迭代器，其begin()返回一个指向第一个元素的迭代器，end()一个指向超尾位置的迭代器即可。