关于vector的迭代器失效的问题

使用vector需谨慎！尤其是还没有清楚vector的实现原理的时候！

头文件<vector>中对于失效的检测方式，定义是这样的：

当erase了vector中的一个元素后，不能保证原先指向有效位置的iterator仍然有效。
即：
任何insert或push操作都可能导致迭代器失效。当编写循环将元素插入到vector或deque容器中时，程序必须确保迭代器在每次循环后都得到更新。

vector::end返回的迭代器指向窗口最后一个元素的后面一个元素，这是一个理论上的元素，并不指向容器中实际的元素。
所以不能对其进行解引用操作。

我原来的想法（不正确，但也是一种考虑的角度）

首先定义了两个迭代器：
iter1
iter2
这两个迭代器同时使用时，删除vector元素会遇到的坑：

假定让iter1从头开始遍历，用iter2删除vector中的元素。为了保证不越界每次iter++之前，检查iter1是否指向end。
但是每一次都报越界的错误。为什么呢？
因为用iter2删除的时候，可能删除不止一个。删着删着，iter1指向的地址被删除了，iter1变成了野指针。你以为能够检查一个野指针是否指向有效地址，而没有考虑到检察本身就需要打开iter1，而对iter1解引用，肯定越界。

正确的解释

众所周之，当使用一个容器的insert或者erase函数通过迭代器插入或删除元素"可能"会导致迭代器失效，因此，很多建议都是：让我们获取insert或者erase返回的迭代器，以便用重新获取新的有效的迭代器进行正确的操作。

迭代器失效的原因如下：

当我们插入一个元素时它的预分配空间不够时，它会重新申请一段新空间，将原空间上的元素复制到新的空间上去，然后再把新加入的元素放到新空间的尾部，以满足vector元素要求连续存储的目的。而后原空间会被系统撤销或征做他用，于是指向原空间的迭代器就成了类似于“悬垂指针”一样的东西，指向了一片非法区域。（对这种整体空间转移的理解，类似于我的另一篇博客C语言 realloc函数带着内存游走的函数）

如果使用了这样的迭代器，会导致严重的运行时错误就变得很自然了。这也是许多书上叙述vector在insert操作后“可能导致所有迭代器实效”的原因。

别人也有过同样的问题，可以参考理解（见代码）

问题：
按理说在l_vData.end()前插入元素i后，it++，下次就又可以在l_vData.end()前插入元素了，但是如果用it++，程序运行会出错。为什么？

#include <vector>
#include <iostream>void main(int argc, char** argv)
{std::vector<int> l_vData;std::vector<int>::iterator it = l_vData.end();for(int i = 0; i < 10; i++){l_vData.insert(it, i);// it++;    // 为什么这样会运行报错it = l_vData.end();    // 这样没问题std::cout << l_vData[i] << std::endl;}system("pause");return;
}