STL迭代器失效

对于许多STL容器，插入或者删除元素都可能带来迭代器失效的问题。
举个例子：

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

int main()
{

    vector<int> container;
    for (int i = 0; i < 10; i++)
    {
        container.push_back(i);
    }

    vector<int>::iterator iter;
    for (iter = container.begin(); iter != container.end(); iter++)
    {
        if (*iter > 3 )
            container.erase(iter);
    }

    for (iter = container.begin(); iter != container.end(); iter++)
    {
        cout<<*iter<<endl;
    }
}

此时，按理说输出元素应该是0,1,2,3，但是实际运行结果却是0,1,2,3,5,7,9（可能不同条件下输出结果不一样）

这就牵涉到迭代器失效的问题。vector内部实现是由一个连续的数组实现的，当删除一个元素的时候，该元素后面的元素会向前移位，导致被删除的元素及其之后的元素的迭代器失效。再来看一个例子：

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

int main()
{
    vector<int> vect;
    //list<int> vect;
    int i;
    for(i=0;i<100;i++)
        vect.push_back(i);
    vector<int>::iterator it;
    for(it=vect.begin();it!=vect.end();)
    {
        if((*it)%2==0)
            vect.erase(it);
        else 
            ++it;
    }
    for(it=vect.begin();it!=vect.end();++it)
    {
        cout<<*it<<":"<<&(*it)<<" ";
    }
    cout<<endl;
}

按照前面的介绍，中间删除偶数元素会导致迭代器失效，所以该程序应该不会产生正确的结果。但是实际在运行的时候，竟然发现，结果是对的。那么是不是说明这样写可以呢！显然不是，迭代器失效是一个事实，其导致的结果是未定义的，当然有可能碰对，但是不能把程序建立在这种侥幸上。实际分析这个程序，可能其内部由于内存连续存储数据，导致结果碰对了。如果将上述程序中的vector改成list,可以发现，直接就段错误，运行不了。

下面介绍一种正确的模板，几乎对于所有常见的STL都可以用：

    my_contain<int> contain;
    int i;
    for(i=0;i<100;i++)
        contain.push_back(i);
    my_contain<int>::iterator it;
    for(it=contain.begin();it!=contain.end();)
    {
        if((*it)%2==0)
            contain.erase(it++);
        else 
            ++it;
    }

首先it先自增，指向迭代器后面一个元素，然后将it原来的指向的迭代器传给contain,让其删除了。
对于vector,deque,list还有另外一种方法：

my_contain<int> contain;
    int i;
    for(i=0;i<100;i++)
        contain.push_back(i);
    my_contain<int>::iterator it;
    for(it=contain.begin();it!=contain.end();)
    {
        if((*it)%2==0)
            it=contain.erase(it);
        else 
            ++it;
    }

因为对于它们，erase返回的就是下一个有效的迭代器，注意是有效的，
而对于set,map，不知道为什么，它们并不返回迭代器，只返回void，所以不能这样写。（在c++11标准中好像也是返回下一个迭代器，应该也可以那样用了）。