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就认为该位置迭代器失效了。
如何解决迭代器失效
解决办法就是在删除该位置的值后要给迭代器重新赋值,以及及时更新迭代器,迭代器要接收函数的返回值。