1、vector 迭代器失效
-
vector 中的 insert (在发生扩容时)
insert会导致迭代器失效,是因为 insert 可能会导致增容,增容后 pos 还指向原来的空间,而原来的空间已经被释放了,此时访问 *pos 会导致非法访问。 举个例子:
int main()
{
vector<int> v;
v.push_back(1);
v.push_back(2);
v.push_back(3);
v.push_back(4);
cout << v.capacity() << endl;//4
//可以看出此时 v 的 capacity 为4,如果再插入一个值,则一定会使 vector 发生扩容,
//这时我尝试在 v.begin() + 1 位置插入一个 1000.
auto pos = v.begin() + 1;
v.insert(pos ,1000);
//当我对 it 解引用时候,it还指向原来的空间,会造成非法访问,导致程序崩溃!!!
//cout << *pos << endl;
return 0;
}
-
vector 中的 erase
删除 pos 位置的数据,导致 pos 迭代器失效,是因为原指针的意义发生改变,指向的值发生了变化。举个例子:
int main()
{
vector<int> v;
v.push_back(1);
v.push_back(2);
v.push_back(3);
v.push_back(4);
auto pos = v.begin() + 1;
v.erase(pos);
//cout << *pos<< endl;//此处会导致非法访问,是因为原指针的意义发生改变,POS 指向的值不一样
return 0;
}
在这里我举个 erase 导致迭代器失效带来问题的例题:实现删除 v 中的所有偶数
int main()
{
vector<int> v;
v.push_back(1);
v.push_back(2);
v.push_back(3);
v.push_back(4);
v.push_back(5);
v.push_back(6);
auto it = v.begin();
while (it != v.end())
{
if (*it % 2 == 0)
{
v.erase(it);
}
++it;
}
auto pos = v.begin();
while (pos != v.end())
{
cout << *pos << " ";
}
cout << endl;
system("pause");
return 0;
}
看似上面这个程序没有什么特别大的问题,但是上面的程序会崩溃掉,因为如果是偶数,erase 导致 it 失效,如果再对失效的迭代器进行++it,就会导致程序崩溃。那么如何修改他会实现删除 v 中的所有偶数呢?
因为 erase 会返回删除数据的下一个数据的位置 ,所以应该改成这样子:
auto it = v.begin();
while (it != v.end())
{
if (*it % 2 == 0)
{
it = v.erase(it);
}
else
{
it++;
}
}
2、list 迭代器失效
-
vector 中的 erase
因为list的底层结构为带头结点的双向循环链表,因此在list中进行插入时是不会导致list的迭代 器失效的,只有在删除时才会失效(变成了野指针),并且失效的只是指向被删除节点的迭代器,其他迭代器不会受到影响。
举个例子:
int main()
{
list<int> l;
l.push_back(1);
l.push_back(2);
l.push_back(3);
auto it = l.begin();
while (it != l.end())
{
l.erase(it);//erase()函数执行后,it所指向的节点已被删除,成为野指针,因此it无效,再对其 ++ 就无意义。
++it;
}
auto pos = l.begin();
while (pos != l.end())
{
cout << *pos << " ";
pos++;
}
cout << endl;
return 0;
}
所以应该修改为这样子:
auto it = l.begin();
while (it != l.end())
{
it = l.erase(it);
}
3、map 迭代器失效
4、不同编译器对迭代器失效的安全检查
- 在 vs 下编译器会对 迭代器失效进行检查,如果查出来编译器就会崩掉。
- 在 linux 下不会检查,编译器也不会崩,但是任然称为迭代器失效。