Vector迭代器失效详解

Vector迭代器失效详解

为什么会失效？

我们知道vector容器的迭代器就是一个原生指针，它的指向的数据类型由模板参数决定。

当vector发生空间变化时，就有可能引起迭代器失效，能使空间变化的函数接口有resize() / reserve() / push_back() / insert() / assign() / 这几种。

迭代器失效是指因为没有接收迭代器的返回值，同时迭代器指向的空间因为容量已满/容量小于一定大小/发生数据的整体转移，然而这个迭代器没有及时更新自己，还指向原来的空间，出现野指针非法访问。

我们发现vector在数据量为5的时候会扩容为6，那么vector是怎么扩容的呢？它的扩容策略是重新寻找一块区域，并把原数据转移到新的区域中去，再改变vector中三个成员变量的指向（start，finish，endofstorage三个指针）。

这里it迭代器指向5，可以正常访问，但是当我们push一个数据后再访问这个迭代器，就会发生错误，原因是数据已经被转移了，原空间已经被释放了，造成了野指针问题。（假如你的编译器还能打印出来，原因可能是编译器对vector扩容的策略不同，或者是应该被释放的空间内数值没有改变，发生非法访问但仍然能读到里面的值）

erase删除pos位置元素后，pos位置之后的元素会往前搬移，没有导致底层空间的改变，理论上讲迭代器不应该会失效，但是：如果pos刚好是最后一个元素，删完之后pos刚好是end的位置，而end位置是没有元素的，那么pos就失效了。因此删除vector中任意位置上元素时，vs就认为该位置迭代器失效了。

如何解决迭代器失效

解决办法就是在删除该位置的值后要给迭代器重新赋值，以及及时更新迭代器，迭代器要接收函数的返回值。