C++ STL中erase函数的用法 求助~~

Posted 2023-04-26

请大家来看一下这个erase函数到底怎么用 这个程序编译倒是能通过 可运行时会显示错误 “嘭”一声弹出个对话框Debug Assertion Failed!我觉得肯定是erase函数用法不对 可是找不到错误在哪儿 请大家指导一下了~~~ 对了程序功能是删除vector对象中的偶数和list对象中的奇数 #include<iostream> #include<vector> #include<list> using namespace std; int main() int ia[10]=2,3,4,5,6,7,8,9,10,11; vector<int> ivec(ia,ia+10); //定义一个vector对象ivec vector<int>::iterator iter=ivec.begin(); list<int> lvec(ia,ia+10); //定义一个list对象lvec list<int>::iterator lter=lvec.begin(); while(iter!=ivec.end() && lter!=lvec.end()) if(*iter%2==0) ivec.erase(iter); if(*lter%2!=0) lvec.erase(lter); ++iter; ++lter; for(iter=ivec.begin(); iter!=ivec.end(); ++iter) cout<<*iter<<" "; cout<<endl; for(lter=lvec.begin(); lter!=lvec.end(); ++lter) cout<<*lter<<" "; cout<<endl; system("PAUSE"); return 0;

参考技术A 对于vector一般不要用erase(),因为很多情况下他要和<algorithm>中的remove()一块用！erase（）的使用会使迭代器失效如果删除的不是最后面的元素的话。你的程序中if(*iter%2==0)
ivec.erase(iter);
可以换成：（记着加头文件<algorithm>）
if
(*iter%2
==
0)
ivec.erase(remove(ivec.begin(),
ivec.end(),
*iter),
ivec.end())
但如果你用if
(*iter%2
!=
0)
ivec.erase(remove(ivec.begin(),
ivec.end(),
*iter),
ivec.end())
输出结果则包含11，结果错误！
不知道你为什么数组，向量，链表都用，为了和你一致，我也只能改成这样：
#include
<iostream>
#include
<vector>
#include
<list>
#include
<algorithm>
#include
<functional>
#include
<iterator>
using
namespace
std;
int
main
()

vector<int>
ivec;
list<int>
ilis;
int
vec[]
=
2,
3,
4,
5,
6,
7,
8,
9,
10,
11;
remove_copy_if
(vec,
vec+10,
back_inserter(ivec),
bind2nd(modulus<int>(),
2));
remove_copy_if
(vec,
vec+10,
back_inserter(ilis),
not1(bind2nd(modulus<int>(),
2)));
for
(vector<int>::const_iterator
iter
=
ivec.begin();
iter
!=
ivec.end();
++iter)
cout
<<
*iter
<<
'\t';
cout
<<
endl;
for
(list<int>::const_iterator
liter
=
ilis.begin();
liter
!=
ilis.end();
++liter)
cout
<<
*liter
<<
'\t';
cout
<<
endl;

最好的做法是：
#include
<iostream>
#include
<vector>
#include
<list>
#include
<algorithm>
#include
<functional>
#include
<iterator>
using
namespace
std;
int
main
()

vector<int>
ivec,
odd_vec,
even_vec;
for
(int
i
=
2;
i
!=
12;
++i)
ivec.push_back(i);
remove_copy_if
(ivec.begin(),
ivec.end(),
back_inserter(even_vec),
bind2nd(modulus<int>(),
2));
remove_copy_if
(ivec.begin(),
ivec.end(),
back_inserter(odd_vec),
not1(bind2nd(modulus<int>(),
2)));
copy
(even_vec.begin(),
even_vec.end(),
ostream_iterator<int>(cout,
"\t"));
cout
<<
endl;
copy
(odd_vec.begin(),
odd_vec.end(),
ostream_iterator<int>(cout,
"\t"));
cout
<<
endl;

[转] C++ STL中map.erase(it++)用法原理解析

总结一下map::erase的正确用法。 
首先看一下在循环中使用vector::erase时我习惯的用法:

for(vector<int>::iterator it = vecInt.begin(); it != vecInt.end();)
{
    if(*it == 0)
    {
        it = vecInt.erase(it);
    }
    else
    {
        it++;
    }
}

　　程序从一个vector中删除值为0的元素，利用了vector::erase函数根据iterator删除某个元素时会返回下一个元素的iterator的性质: 
http://www.cplusplus.com/reference/vector/vector/erase/

C++98
iterator erase (iterator position);

　　

这一种用法是没有问题的。

然而当想当然的在map::erase上照搬上面erase的用法时，就有问题了，查看http://www.cplusplus.com/reference/map/map/erase/上的说明:

C++98
(1) 
     void erase (iterator position);
(2) 
size_type erase (const key_type& k);
(3) 
     void erase (iterator first, iterator last);

　　

如上所示，C++98中map::erase并没有返回值为iterator的原型函数。
那么问题来了it=map.erase(it)，然后对it进行操作会发生什么呢？会发生传说中的“未定义的行为”！包括但不限于程序挂掉、机器死机、地球地震、宇宙毁灭等–原因是什么呢？在执行map.erase(it)之后，it这个iterator已经失效了，考虑C语言中一个失效释放了的指针，再次引用它会导致什么问题呢？

在循环中正确使用map::erase的方法是什么呢？如下:

for(map<int,int>::iterator it = mapInt.begin(); it != mapInt.end();)
{
    if(it->second == 0)
    {
        mapInt.erase(it++);
    }
    else
    {
        it++;
    }
}

　　

在网上找mapInt.erase(it++)的说明，比较详细的一种解释为:
http://blog.csdn.net/lmh12506/article/details/9167653
该方法中利用了后缀++的特点，这个时候执行mapInt.erase(it++);这条语句分为三个过程
1、先把it的值赋值给一个临时变量做为传递给erase的参数变量

2、因为参数处理优先于函数调用，所以接下来执行了it++操作，也就是it现在已经指向了下一个地址。

3、再调用erase函数，释放掉第一步中保存的要删除的it的值的临时变量所指的位置。
然而个人感觉比较费解，意思是第一步先把it的值传给了函数调用的形参，然后又回去执行i+1的操作吗？这样总感觉it++的执行被硬生生的切成了两部分，只能硬记住这一结论。
直到后来看了《STL源码剖析》中的++i和i++实现方式的区别，然后某一天，再看到《More Effective C++》里的说明，突然开窍了，mapInt.erase(it++)的机理终于不再神秘。
其实在mapInt.erase(it++)中，it++确实是作为一个完整的执行过程，it++的具体实现代码其实类似以下:

// postfix form: fetch and increment
map<int, int>::iterator operator++(int)//通过一个多余的int参数与prefix++区分
{
    map<int, int>::iterator tmp = *this; // fetch
    increment(); // increment，map内部由红黑树实现，此函数负责指向下一个有序元素的iterator
    return tmp; // return what was
}

　　

上面代码的最终返回的值其实是tmp，tmp存储的是*this的旧值，this后来通过increment函数自增了，但是tmp的依然保持原值，最后将tmp返回赋值作为erase的参数，所以在mapInt.erase(it++)中，其实it++是作为一个整体执行完成了的，在传值给erase函数之前，it其自身其实已经+1了，不过后缀++返回的却是一个未执行+1操作的旧值，所以后面erase函数依然删除的是原it位置的值，同时该迭代器失效，然而之前it已经+1自增过了，所以不受其影响噢。
关于上面代码中调用的前缀++代码类似如下:

// prefix form: increment and fetch
map<int, int>::iterator& operator++()
{
    increment(); // increment
    return *this; // fetch
}

　　

也正因为后缀++会比前缀++的操作多一个临时变量，并且其是以传值复制的方式返回给调用方，所以一般而言后缀++的效率会比前缀++效率低一些。

值得一提的是，在最新的C++11标准中，已经新增了一个map::erase函数执行后会返回下一个元素的iterator，然而不知道啥时候C++11才能达到现在C++98的覆盖程度，谨慎一点还是使用map.erase(it++)比较保险。

C++11
(1) 
iterator  erase (const_iterator position);
(2) 
size_type erase (const key_type& k);
(3) 
iterator  erase (const_iterator first, const_iterator last);

　　

最后，有的小伙伴可能会问为啥前缀++和后缀++的返回值一个是迭代器引用，一个却是迭代器传值？简单来说，前缀++返回的便是传参进来的迭代器，自然可以返回迭代器本身的引用，然而后缀++返回的是一个函数内部的临时变量，在函数执行完后便析构了，必然不能传引用。注意既然是通过传值的方式返回，对其返回值的修改对于原it是没有影响的，举例来说(it++)++的结果其实it只自增了一次，第二次++只是对其(it++)的返回值执行了++，对原it没有任何效果。