关于vecteor::erase(iterator++),导致崩溃的问题

来源:互联网 发布:怎么在淘宝买假学生证 编辑:程序博客网 时间:2024/05/16 19:18

由于使用Cygwin不支持 iter = vector::erase(iterator++)这种写法,导致在使用erase的时候,我都将其改成erase(iterator++)写法。不过最近却因为该写法,导致了崩溃的问题。

网络上资料说:

一种是如数组类的容器 deque,vector,string.
这种情况下只要erase(iterator) 就好了。

另一种是map,set这样的结点型的容器。
则需要使用你这种erase(iterator++),才会跳到下一个。


也就是说数组一类的容器,调用erase后,会对后面的元素进行移动,并有可能将所有与移动的元素相关的iterator都设置为失效。导致iterator++后,依然失效。


网络的资料:

当iterator 的类型是std::vector<int>::iterator的时候,erase(iterator++)这样的写法是错误的。例如:

  1. int main( )
  2. {
  3.     std::vector<int> vi;
  4.     for(int i = 0; i < 10; i++)
  5.     {
  6.         vi.push_back(i);
  7.     }
  8.     for (std::vector<int>::iterator i = vi.begin(); i != vi.end(); i++) {
  9.         std::cout << *i << " ";
  10.     }// output 0 1 2 3 4 5 6 7 8 9
  11.     std::cout << '\n';
  12.     std::vector<int>::iterator iter = vi.begin();
  13.     vi.erase(iter++); // 该行设置断点
  14.     cout <<*iter << endl;  // 发生断言错误
  15. }

在设置断点的一行,在vs2010中按F11单步调试,你会发现:

  1. iter++操作将iter加1后将还没有加一的值赋给临时变量_tmp,_tmp迭代器此时指向vector的开头,即元素0,iter此时指向_tmp的下一个元素即元素1。_tmp在iter++操作后返回给erase()。
  2. erase()将_tmp所指向的元素(即0)删除。
  3. 注意该处erase还执行了其他的操作 这也是为什么以数组存储方式的容器(例如vector)和以类似链表存储方式的容器(例如list)的区别。erase() 删除了vector容器开头元素之后,类似于数组的做法,还函数还将删除元素之后所有的元素往前挪了一个位置。此时vector 元素的排列顺序是1 2 3 4 5 6 7 8 9 9。
  4. 接下来再将最后一个元素9删除,释放其存储空间。

这个时候iter指向的位置还是容器开始位置的下一个位置,也就是2! 而不是我们想要的1。调试的过程中可发现这一点。但是该程序运行时发生了assertion failure。原因是编译器起到了很好的保护机制:猜测当erase()函数返回之前,所有与指向容器iv的迭代器都打上的失效的标记,接下来再使用这些迭代器就会发生断言错误。