迭代器失效

在STL容器中，经常会出现迭代器失效导致程序运行时崩溃，那迭代器究竟是如何失效的呢？
迭代器（iterator）是一个可以对其执行类似指针的操作（如：解除引用（operator*()）和递增（operator++()））的对象，我们可以将它理解成为一个指针。但它又不是我们所谓普通的指针，我们可以称之为广义指针，你可以通过sizeof（vector::iterator）来查看，所占内存并不是4个字节。
向容器中添加元素和从容器中删除元素的操作可能会使指向容器元素的指针、引用或者迭代器失效。
一个失效的指针引用或者迭代器将不再表示任何元素。如果我们使用失效的指针、引用或者迭代器会造成很严重的程序错误，很容易会导致程序运行时崩溃。
首先对于vector而言，添加和删除操作可能使容器的部分或者全部迭代器失效。那为什么迭代器会失效呢？vector元素在内存中是顺序存储，试想：如果当前容器中已经存在了10个元素，现在又要添加一个元素到容器中，但是内存中紧跟在这10个元素后面没有一个空闲空间，而vector的元素必须顺序存储一边索引访问，所以我们不能在内存中随便找个地方存储这个元素。于是vector必须重新分配存储空间，用来存放原来的元素以及新添加的元素：存放在旧存储空间的元素被复制到新的存储空间里，接着插入新的元素，最后撤销旧的存储空间。这种情况发生，一定会导致vector容器的所有迭代器都失效。
我们看到实现上述所说的分配和撤销内存空间的方式以实现vector的自增长性，效率是极其低下的。为了使vector容器实现快速的内存分配，实际分配的容器会比当前所需的空间多一些，vector容器预留了这些额外的存储区，用来存放新添加的元素，而不需要每次都重新分配新的存储空间。你可以从vector里实现capacity和reserve成员可以看出这种机制。

capacity和size的区别：size是容器当前拥有的元素个数，而capacity则指容器在必须分配新存储空间之前可以存储的元素总数。

vector和string迭代器的几种失效的情况：
1.当插入（push_back）一个元素后，end操作返回的迭代器肯定失效。
2.当插入(push_back)一个元素后，capacity返回值与没有插入元素之前相比有改变，则需要重新加载整个容器，此时first和end操作返回的迭代器都会失效。
3.当进行删除操作（erase，pop_back）后，指向删除点的迭代器全部失效；指向删除点后面的元素的迭代器也将全部失效。
总结一下就是：
（a）如果存储空间被重新分配，则指向容器的迭代器都会失效。（当新插入元素的数目 count + size() 大于 capacity() 时存储空间被重新分配）
（b）如果存储空间未被重新分配，则插入位置之前的元素的迭代器有效，但指向插入位置之后的迭代器全部失效。

deque迭代器的失效情况：
1.插入元素在任何位置都会是迭代器失效，但如果在首位置插入元素，指向存在元素的指针和引用不会失效。
2.在deque容器的任何其他位置的插入和删除操作将使指向该容器元素的所有迭代器失效。

list和forw_list迭代器的失效情况：
（a）添加元素会使指向容器的迭代器都会失效。
（b）删除元素是会导致删除位置和后面的迭代器失效。
对于关联容器map, set, multimap,multiset
删除当前的iterator，仅仅会使当前的iterator失效，只要在erase时，递增当前iterator即可。这是因为map之类的容器，使用了红黑树来实现，插入、删除一个结点不会对其他结点造成影响。

总结一下迭代器失效的根本原因：
1.由于容器元素整体“迁移”导致存放原容器元素的空间不再有效，从而使得指向原空间的迭代器失效。
2.由于删除元素使得某些元素次序发生变化使得原本指向某元素的迭代器不再指向希望指向的元素。
3.对于关联式容器(map, list, set)元素的删除，插入操作会导致指向该元素的迭代器失效，其他元素迭代器不受影响。
4.对于顺序式容器(vector)元素的删除、插入操作会导致指向该元素以及后面的元素的迭代器失效。

如何避免迭代器失效：
1. 当我们使用迭代器时，最小化要求迭代器必须保持有效的程序片段是一个避免迭代器失效很好的方法。
2. 由于向迭代器添加和删除元素的程序很可能会使当前的迭代器失效，因此当我们每次发生改变容器的任何操作时，尤其是对vector、string、deque 这些容器，最好能重新定位迭代器，防止迭代器失效。
3.当我们删除容器元素时，erase()会返回下一个元素的迭代器位置，在程序中我们可以抓住这一点，正确地删除容器元素。（源码如下）

    vector<int>::iterator it = v.begin();

    for (; it != v.end();)
    {
        it = v.erase(it);
    }