map等关联容器 vector等序列容器 如何防止迭代器失效 即erase()的使用

vectoriteratorstringobjectlambdareference
http://www.cnblogs.com/my_life/articles/2018852.html

序列性容器::(vector)

erase迭代器不仅使所有指向被删元素的迭代器失效，而且使被

删元素之后的所有迭代器失效，所以不能使用erase(iter++)的方
式，但是erase的返回值为下一个有效的迭代器，所以

正确方法为::

for( iter = c.begin(); iter != c.end(); )
iter = c.erase(iter);

Code

vector<int> vv;
vv.push_back(1);                                //加入第一个元素
vector<int>::iterator itBegin = vv.begin();   //获取第一个元素迭代器*itBegin=1
vv.push_back(2);                                //因为预留不够，所以发生内存搬移，之前迭代器将全部失效
vv.push_back(1);                                //即是说itBegin现在已经是个无效迭代器
vv.push_back(1);                                //所以使用vector迭代器一定要小心失效！
vv.push_back(3);                                //移动、增加、插入、删除以及reserve、resize都可能使迭代器无效！
vv.push_back(4);
vv.push_back(3);
vv.push_back(5);
vv.push_back(6);
int n = vv.size();      //n = 9
printf(" %d \r\n", n);
for (it = vv.begin(); it != vv.end(); it++)
{
printf(" %d \r\n", *it);
}
for (it = vv.begin(); it != vv.end();)
{
if(*it == 3)
{
it = vv.erase(it);
}
else
{
it++;
}
}

for (it = vv.begin(); it != vv.end(); it++)
{
printf(" %d \r\n", *it);
}

vector<int>::iterator itrmv = remove(vv.begin(), vv.end(), 3);    //结果：1,2,1,1,4,5,6,5,6
n = vv.size();          //n = 9

//删除vector中等于某值的所有元素
//remove算法只是对容器中有效元素向前移动覆盖无效元素，返回第一个无效元素指针
//1、它不会有删除动作 2、尾部无效元素没有意义 3、之后容器size不变
----------------------------------------------------------------------------------------------------------------------
for(vector<int>::iterator it=vv.begin(); it!=vv.end(); )
{
if(*it == 4)
{
/*错误的做法
vv.erase(it);   //对vector进行增加删除等操作后之前it可能无效
it++;           //it此时已经无效
*/
/*错误的做法
vv.erase(it++); //erase后元素发生了移动所以it多向后跳过一个元素
*/
it = vv.erase(it);  //正确的做法，erase返回下一个有效it
}
else
{
it++;
}
}

关联性容器::(map)
erase迭代器只是被删元素的迭代器失效，但是返回值为void，

所以要采用erase(iter++)的方式删除迭代器，
正确方法为::
for( iter = c.begin(); iter != c.end(); )

c.erase(iter++);

=====================================================================

std::map是一个很常用的标准容器，采用红黑树或者平衡二叉树来储存节点内容，具有对数复杂度的插入时间和查找时间。这里简单说下它的一些值得注意的关注点。

插入：
std::map<int, std::string> str_map;
str_map.insert ( std::pair<const int, std::string>(2, "bb") ); //没有转型操作
str_map.insert ( std::pair<int, std::string>(2, "bb") ); //需要转型成std::pair<const int, std::string>再进行插入
str_map.insert ( std::make_pair(3, "cc") ); //同上，需要转型
str_map.insert ( std::map<int, std::string>::value_type ( 4 , "dd" ) ); //没有转型操作
还有一种方法是通过索引器[]去直接插入，这种方法在下边再讨论。

删除：
一种很常见的错误是：
for ( map<int, string>::iterator it = str_map.begin(); it!=str_map.end(); it++ ) {
if ( some_condition )
str_map.erase(it);
}

说明：

map中的erase方法会使当前的迭代器失效，然后it的自加其实没有任何意义。

删除操作会使it乱掉，再使用it++就出错了。

正确的做法是：

for ( map<int, string>::iterator it = str_map.begin(); it!=str_map.end(); ) {
if ( some_condition )
{
str_map.erase(it++);
}
else
{
it++;
}
}
解决上述问题的途径有两种方式，可任选其一：

1. 使用删除之前的迭代器定位下一个元素。一个技巧而又简单的实现是：amap.erase( iter++ );。iter++ 运算在函数调用执行之前（即 iter 指向的元素删除之前）完成，避开了迭代器失效的问题；而删除使用的 iter 是 ++ 之前的值。前者用到了顺序点的概念，后者用到了后加运算的特点，两者结合形成了解决此类问题的一个完美方案。

2. erase() 成员函数返回下一个元素的迭代器，可以直接使用这个迭代器访问下一个元素。


索引：
str_map[5] = "ee";
这条语句实际上是分两个步骤执行的：
先在str_map[5]的地方构造一个空string，然后通过str_map[5]返回这个string的reference；
然后调用这个空string的assignment运算符，把"ee"赋给它。
因此，这样写要比直接insert效率低些。
索引还有一个问题是需要注意的：
map<int, string> m;
cout<<m.size()<<endl; // output: 0
if ( m[4] == "aa" )
some_operation();
cout<<m.size()<<endl; //output: 1
这里m[4]已经指向了一个构造好了的空string

function object：
在std::mem_fun的帮助下，vector等容器可以很容易地使用find_if等泛型算法，比如：
class X {
public:
bool condition();
};
vector<X> vx;
....
vector<X>::iterator it = std::find_if ( vx.begin(), vx.end(), std::mem_fun(&X::condition) );
由于map::iterator指向的是std::pair，所以要使用这些算法大部分时候就只好自己手写相应的function object了。
但借助boost lambda库的帮助，我们就可以省去自己写function object的麻烦了：
#include <boost/lambda/bind.hpp>
#include <boost/lambda/lambda.hpp>
using boost::lambda::bind;
std::map<int, X> mx;
....
std::map<int, X>::iterator it = find_if ( mx.begin(), mx.end(),
bind ( &X::condition, bind(&std::map<int, X>::value_type::second, _1) ) );

Tips:
其实对于list两种方式都可以正常工作