正确使用STL-MAP中Erase函数

第一讲

在STL标准里面，map的erase函数的返回值确如下：

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

所以下面代码中的例子是针对标准STL中map的erase用法。

使用STL的map里erase方法，删除一个指定的节点，如下例1。
例1:

map<string,string> mapTest;
typedef map<string,string>::iterator ITER;
ITER iter=mapTest.find(key);
mapTest.erase(iter);

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

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++);
}

实际应用之例3
#include <iostream>
#include <map>
#include <string>
using namespace std ;
int main(void) 
{ 
map<int, string> m ;
m.insert(pair<int, string>(1, "abc")) ;
m.insert(pair<int, string>(2, "def")) ;
m.insert(pair<int, string>(3, "def")) ;
m.insert(pair<int, string>(4, "ghi")) ;

map<int, string>::iterator itor ;
// 错误的写法      
//for (itor = m.begin(); itor != m.end(); ++itor)
// {
//     if (itor->second == "def")   
//     {   
//         m.erase(itor) ; 
// map是关联式容器，调用erase后，当前迭代器已经失效  
//     } 
//  }   

// 正确的写法   
for (itor = m.begin(); itor != m.end();)   
{     
if (itor->second == "def")        
{    
m.erase(itor++) ; // erase之后，令当前迭代器指向其后继。
}       
else       
{   ++itor; }   
}    
// Print m   
map<int, string>::const_iterator citor ;   
for (citor = m.begin(); citor != m.end(); ++citor)  
{  cout << citor->first << ":" << citor->second << endl ; }

getchar() ; 
return 0 ; 
} 

第二讲

在windows下，std::map的erase函数的windows的实现版本是返回一个std::map的迭代器，使用稍有差别。当然，标准STL中map的erase方法在windows下依然可用。

1.std::map的erase函数的windows的实现版本返回下一个元素的迭代器

可以使用下面的代码，但仅能在windows平台使用。

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++);
   }

运行结果：

结果正确 

注意：在windows下，因为std::map的erase函数的windows实现版本是返回一个std::map的迭代器。