本文探讨了C++ STL Vector容器中erase操作导致迭代器失效的问题。通过分析源码，揭示了erase操作实际上并未引起内存重新分配，而是移动元素并删除最后一个，使得输入的迭代器本身并未失效。然而，在使用erase后立即递增迭代器会导致程序崩溃，原因是erase接收的是const_iterator，返回时转换为iterator，这个过程中可能存在的问题导致迭代器不可递增。
在使用STL Vector容器时，大家一定遇到进行erase操作后，迭代器会失效的现象。网上很多文章解释说，是因为Vector的底层是通过数组来实现的，erase之后会造成内存的重新分配，故原容器的迭代器便失效。 我以前也一直这样认为，从来没有深究过，最近在研读《STL 源码剖析》的第四章时，发现如下代码：
iterator erase(iterator postion)
{
if (position + 1 != end())
{
copy(position+1, finish, position);
}
--finish;
destroy(finish);
return position;
}
从上述代码可以看到，返回的postion就是输入的迭代器，如果其失效，那返回的结果岂不是也是失效的。那诸如 iter = vector.erase(iter)的代码焉能work？？？ 其实上述代码中，并没有发生内存的重新分配，只是将position后面的所有元素向前移动一个位置，再将最后一个元素删除并释放内存，所以，原position的位置并没有发生变化，输入迭代器本身并没有失效。那就奇怪了，为何 如下的代码，无法正常工作呢：
for (iter = vector.beng(); iter != vector.end()
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
