正确使用stl map的erase方法

先声明：下面的文章是针对windows的用法，因为std::map的erase函数的windows的实现版本是返回一个std::map的迭代器，但是STL标准里面的该函数的返回值确是：

map.erase有3个重载：
void erase ( iterator position );
size_type erase ( const key_type& x );
void erase ( iterator first, iterator last );

。

所以下面的代码中的最后一个例子仅仅可以在windows下的map下运行。

 

STL的map表里有一个erase方法用来从一个map中删除掉指令的节点
eg1:

map<string,string> mapTest;
typedef map<string,string>::iterator ITER;

ITER iter=mapTest.find(key);
mapTest.erase(iter);

 像上面这样只是删除单个节点,map的形为不会出现任务问题,
但是当在一个循环里用的时候,往往会被误用,那是因为使用者没有正确理解iterator的概念.
像下面这样的一个例子就是错误的写法,
eg2:

for(ITER iter=mapTest.begin();iter!=mapTest.end();++iter)
{
cout<<iter->first<<":"<<iter->second<<endl;
mapTest.erase(iter);
}

这是一种错误的写法,会导致程序行为不可知.究其原因是map 是关联容器,对于关联容器来说，如果某一个元素已经被删除，那么其对应的迭代器就失效了，不应该再被使用；否则会导致程序无定义的行为。
可以用以下方法解决这问题:
正确的写法
1.使用删除之前的迭代器定位下一个元素。STL建议的使用方式

for(ITER iter=mapTest.begin();iter!=mapTest.end();)
{
cout<<iter->first<<":"<<iter->second<<endl;
mapTest.erase(iter++);
}

2. erase() 成员函数返回下一个元素的迭代器

for(ITER iter=mapTest.begin();iter!=mapTest.end();)
{
cout<<iter->first<<":"<<iter->second<<endl;
iter=mapTest.erase(iter);
}

 

测试实例1：

int _tmain(int argc, _TCHAR* argv[])
{
   map<int,int> mapTest;
   typedef map<int,int>::iterator ITER;
   typedef pair<int,int> Pair_Int;

   for (int i=0; i<5; i++)
   {
      mapTest.insert(Pair_Int(i,i*i));
   }

   for(ITER iter=mapTest.begin();iter!=mapTest.end();++iter)
   {
      cout<<iter->first<<":"<<iter->second<<endl;
     mapTest.erase(iter);
   }

   return 0;
}

运行结果：

然后马上出错：

测试实例2：

将1中循环处改为：

   for(ITER iter=mapTest.begin();iter!=mapTest.end(); )
   {
      cout<<iter->first<<":"<<iter->second<<endl;
      iter = mapTest.erase(iter);
   }

或改为：

   for(ITER iter=mapTest.begin();iter!=mapTest.end(); )
   {
      cout<<iter->first<<":"<<iter->second<<endl;
      mapTest.erase(iter++);
   }

运行结果：

结果正确