一、迭代器:
迭代器的主要作用就是让算法能够不用关心底层数据结构,其底层实际就是一个指针,或者是对指针进行了封装,比如:vector的迭代器就是原生态指针T* 。因此迭代器失效,实际就是迭代器底层对应指针所指向的空间被销毁了,而使用一块已经被释放的空间,造成的后果是程序崩溃(即如果继续使用已经失效的迭代器,程序可能会崩溃)。
二、vector原理
根据上图可知,vector容器的成员变量主要有迭代器_start、迭代器_finish、迭代器_end_of_storage。迭代器_start指向的是vector里存第一个有效数据的位置;迭代器_finish指向的是vector里存放的最后一个有效数据位置的下一个位置;迭代器_end_of_storage指向的是vector里容量capacity的下一个位置。可以用_finish==_end_of_storage判断vector容器的容量是否已满。
对于vector迭代器失效问题,主要发生在插入(insert)、删除(erase)两个函数接口中。
对于resize、reserve、insert、assign、push_back等函数接口也会导致失效。
三、插入失效:
因为在insert时,vector可能需要进行扩容,而扩容的本质是new一块新的空间,再将数据迁移过去。而我们知道,迭代器的本质是指针,而插入后,若vector扩容,则原有的数据被释放,指向原有数据的迭代器就成了野指针,所以迭代器失效了。
int main()
{
vector<int> v{ 1,2,3,4,5,6 };
auto it = v.begin();
// 插入元素期间,可能会引起扩容,而导致原空间被释放
v.insert(v.begin(), 0);
while (it != v.end())
{
cout << *it << " ";
++it;
}
cout << endl;
return 0;
}
/*
出错原因:以上操作,都有可能会导致vector扩容,也就是说vector底层原理旧空间被释放掉,
而在打印时,it还使用的是释放之间的旧空间,在对it迭代器操作时,实际操作的是一块已经被释放的
空间,而引起代码运行时崩溃。
解决方式:在以上操作完成之后,如果想要继续通过迭代器操作vector中的元素,只需给it重新
赋值即可。
*/
解决方式:让insert函数带一个返回值,返回出插入元素后改元素的迭代器位置,在使用改迭代器,就不会造成野指针,发生失效的问题了。
四、erase失效
using namespace std;
int main()
{
int a[] = { 1, 2, 3, 4 };
vector<int> v(a, a + sizeof(a) / sizeof(int));//将数组a的元素放入v中
// 使用find查找3所在位置的iterator
vector<int>::iterator pos = find(v.begin(), v.end(), 3);
// 删除pos位置的数据,导致pos迭代器失效。
v.erase(pos);
cout << *pos << endl; // 此处会导致非法访问
return 0;
}
erase删除pos位置元素后,pos位置之后的元素会往前搬移,没有导致底层空间的改变,理论上讲迭代器不应该会失效,但是:如果pos刚好是最后一个元素,删完之后pos刚好是end的位置,而end位置是没有元素的,那么pos就失效了。因此删除vector中任意位置上元素时,vs就认为该位置迭代器失效了。
删除pos位置后,pos迭代器就失效了,不能再使用它。为解决这个问题,同样可以使用返回值,返回pos迭代器的下一个位置,即4的位置,在使用就不会访问错误了。
结论:insert/erase 的pos为位置,一定不要直接访问,一定要更新,直接访问可能会出现各种出乎意料的结果这就是所谓的迭代器失效。不要直接访问-不要直接访问-不要直接访问!!!