map等关联容器 vector等序列容器 如何防止迭代器失效

序列性容器::(vector)

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

正确方法为::

for( iter = c.begin(); iter != c.end(); )
iter = c.erase(iter);
关联性容器::(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);
}
删除操作会使it乱掉，再使用it++就出错了。正确的做法是：

for ( map<int, string>::iterator it = str_map.begin(); it!=str_map.end(); ) {
if ( some_condition ) {
str_map.erase(it++);
} else {
it++;
}
}

索引：
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两种方式都可以正常工作