1.引入:
STL的map中有一个erase方法用来从一个map中删除制定的节点
eg:
map<string,string> mapTest; typedef map<string,string>::iterator ITER; ITER iter=mapTest.find(key); mapTest.erase(iter);
像上面这种删除单个节点,map的行为不会出现问题,但是当在一个循环里用的时候,往往会被误用。
2.陷阱
eg:
for(ITER iter=mapTest.begin();iter!=mapTest.end();++iter) { cout<<iter->first<<":"<<iter->second<<endl; mapTest.erase(iter); }
这是一种错误的写法,会导致程序行为不可知,原因是map是关联容器,对于关联容器来说,如果一个元素已经被删除,那么其对应的迭代器就失效了,不应该再被使用,负责会导致程序无定义的行为。
3.正确用法
正确用法一:(C++11可以,C++98不行)
erase() 成员函数返回下一个元素的迭代器
std::map<std::string, std::string >::iterator it = mapTest.begin(); while(it != mapTest.end()) { if(TestVal(it->second)) { it = mapTest.erase(it); } else it++; }
正确用法二:
使用删除之前的迭代器定位下一个元素。STL建议的使用方式
for(ITER iter=mapTest.begin();iter!=mapTest.end();) //注意此处不能再写iter++ { cout<<iter->first<<":"<<iter->second<<endl; mapTest.erase(iter++); }
在这种用法中,该方法中利用了后++的特点,这个时候执行mapTest.erase(it++);这条语句分为三个过程
1、先把it的值赋值给一个临时变量做为传递给erase的参数变量
2、因为参数处理优先于函数调用,所以接下来执行了it++操作,也就是it现在已经指向了下一个地址。
3、再调用erase函数,释放掉第一步中保存的要删除的it的值的临时变量所指的位置。
4.例子
case1: ?
#include<map> #include<iostream> int main() { std::map<int, int> map_a; std::map<int, int>::iterator it; for (int i = 0; i != 10; i++) { map_a.insert(std::map<int, int>::value_type(i, i)); } for (it = map_a.begin(); it != map_a.end(); it++){ std::cout<< it->first <<std::endl; // map_a.erase(it->first); } return 0; }
结果:
0 1 2 3 4 5 6 7 8 9
case2:?
#include<map> #include<iostream> int main() { std::map<int, int> map_a; std::map<int, int>::iterator it; for (int i = 0; i != 10; i++) { map_a.insert(std::map<int, int>::value_type(i, i)); } for (it = map_a.begin(); it != map_a.end(); it++){ std::cout<< it->first <<std::endl; map_a.erase(it->first); } return 0; }
结果:
0 3
当将map大小加到1000000的时候,出core
5.导致程序行为不可知的原因
5.1 list和vector的erase方法都返回一个iterator,指向被删除元素的下一个元素,唯独map,set,multimap,multiset这4个竟然返回void.
不过在C++11中已经改正过来了,都返回一个iterator
原因:迭代器++的操作是在操作它保存的节点指针,所以当这个节点被删除的时候,改节点所指向的指针是无法确定的,也就是可能还是以前的数据,也可能是已经其他毫不相关的数据了,这样的行为被叫做未定义的行为,不一定会core.
时间: 2024-09-28 18:39:21