iterator

1、迭代器的概念
迭代器（iterator）是一种抽象的设计概念，是设计模式的一种，其定义如下：提供一种方法，使之能够依次寻访某个容器所包含的所有元素，而又无需暴露该容器底层的结构。

2、迭代器的本质
迭代器实际是一种行为类似指针的对象，因此指针的所有操作迭代器都支持，使用迭代器时向使用指针一样去使用。比如：指针的解引用、成员访问、前置/后置++、前置/后置–、==、!=等迭代器支持，但是迭代器是一种行为类似指针的新类型，因此迭代器的实际只需将指针的上述操作在类中重载即可。

3、迭代器的实现
迭代器是算法和容器的粘合剂，同一个算法可以操作不同类型的容器，而容器类型不同，意味着底层数据结构不同，数据结构不同则迭代器寻访的方式就不同，那迭代器是如何知道按照某种方式去寻访呢？答案就是：容器的设计者负责该容器迭代器的实现，根据容器底层数据结构的特点，选择指针的响应操作去重载即可。比如vector和list的迭代器就不同，因为vector底层是一段连续的空间，其迭代器可以直接搭载原生态指针，而list底层是带头结点的双向环状链表，其迭代器需将原生态指针重新进行封装，最后再以统一的接口出现即可。

4、STL设计的中心思想
将数据容器和算法分离开，彼此独立设计，算法要操作容器中的元素时，通过迭代器去访问即可。因此，算法不需要去关心所操作数据底层的结构，只要能够按照迭代器去寻访到所需的数据即可，实现其通用性。
【例】

#include<iostream>
#include<stdlib.h>
#include<vector>
#include<list>

using namespace std;
 
template<class iterator, class T>
iterator myfind(iterator first, iterator last, const T& value)
{
    while (first != last && *first != value)
    {
        ++first;
    }
    return first;
}
 
void TestFind()
{
    int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
    vector<int> v(array, array + sizeof(array) / sizeof(array[0]));
    if (myfind(v.begin(), v.end(), 6) != v.end())
    {
        cout << "5 is in vector" << endl;
    }
    else
    {
        cout << "5 is not in vector" << endl;
    }

    list<int> l(array, array + sizeof(array) / sizeof(array[0]));
    if (myfind(l.begin(), l.end(), 6) != l.end())
    {
        cout << "5 is in list!" << endl;
    }
    else
    {
        cout << "5 is not list!" << endl;
    }
}

int main()
{
    TestFind();
    system("pause");
    return 0;
}

运行结果为：

5、迭代器失效的情况
迭代器失效分三种情况考虑，也是分三种数据结构考虑，分别为数组型，链表型、树型结构。
（1）数组型数据结构
1）问题：使用v.erase(iter),再进行iter++会出错。
2）出错原因：
该数据结构的元素是分配在连续的内存中，insert和erase操作，都会使得插入点和删除点之后的元素挪动位置，所以插入点和删除点之后的迭代器全部失效，
3）解决方法：
解决方法：iter=v.erase(iter); iter++;
释：erase会返回下一个有效的iterator。

（2）链表型数据结构
1）问题：使用v.erase(iter),再进行iter++会出错。
2）出错原因：
对于list型的数据结构，使用了不连续分配的内存，删除元素使得删除位置的迭代器失效，但是不会使得其他迭代器失效。
3）解决的方法有两种：
方法一：l.erase(iter++)
释：这句话分三步走，先把iter传值到erase里面，然后iter自增，最后执行erase，所以iter在失效前已经自增了。
方法二：list::iterator iter2 =
iter; iter++; l.erase(iter2);
释：先保留要删除的节点迭代器，再让iter指向下一个有意义的节点，最后删除节点。所以，这个操作结束后iter指向的是下一个有意义的节点，没有失效。

（3）树型数据结构
1）问题：使用m.erase(iter),再进行iter++会出错。
2）出错原因：
使用红黑树来存储数据，插入不会使得任何迭代器失效，但是删除元素会使得删除位置的迭代器失效，而其他迭代器不会失效。
3）解决方法：与链表型数据结构相同。

注意：经过erase(iter)之后的迭代器完全失效，该迭代器iter不能参与任何运算，包括iter++和*iter。