千万要小心STL的iterator失效[难度：初级]

千万要小心STL的iterator失效[难度：初级] - 燕良@游戏开发 - 博客频道 - CSDN.NET  http://blog.csdn.net/yanonsoftware/article/details/537314

 iterator中文经常被译为“泛型指针”，在实际的使用中却需要比指针更加小心翼翼。如果没有注意到iterator失效，那么产生的错误可能比普通指针更隐蔽，当然也可能会引起一般的程序异常。iterator失效主要有两种情况：
 1、iterator变量已经变成了“悬空指针”，对它进行*,++,--都会引起程序内存操作异常；
 2、iterator所指向的变量已经不是你所以为的那个变量了。
 所以在使用iterator是必须要时刻牢记“容器的插入和删除元素”可能引起iterator失效！普遍遇到的几个问题：

 1、刚刚使用STL的很多人会为这个问题困扰：在循环遍历一个容器时，需要根据条件删除其中的某个元素，如何处理iterator？答案是：对于序列式容器标准写法是这样:
 //vector<int> con;
 for(vector<int>::iterator iter=con.begin();
  iter!=con.end();)
 {
  if((*iter) == 99)
   iter=con.erase(iter);
  else
   ++iter;
 }
 对于关联容器是这样:
 //map<int,int> con;
 for(map<int,int>::iterator iter=con.begin();
  iter!=con.end();)
 {
  if(iter->second == 99)
   con.erase(iter++);
  else
   ++iter;
 }

 2、使用一个iterator变量时往往是危机重重，我在刚开始使用STL的时候，就范了一个较难测试出来的错误，类似这样：
 int DoSomething(vector<int>& con)
 {
  vector<int>::iterator iter = find(con.begin(),con.end(),99);

  ... ...//做了一些insert操作

  return *iter;//如果vector的内存没有重新分配，那么*操作会成功，但是已经不保证是99了！
 }
 
 3、下面这个错误则要更隐蔽一些、在大一些的类库中更难以控制：
 有一个界面系统，一个window类，用来封装自身的操作、绘图功能，并管理它的所有子窗口：
 class Window
 {
  Window*  m_pParent;
  list<Window*> m_children;
 public:
  void RemoveChild(Window *pChild)
  {
   m_children.remove(pChild);
  }
  virtual void Update()
  {
   for(list<Window*>::iter=m_children.begin();
    iter=m_children.end();++iter)
   {
    (*iter)->Update();
   }//endof for
  }
 };
 
 这个Window::Update()函数负责处理窗口逻辑，结果在某个窗口的Update写成了这样:
 class MyDlg : public Window
 {
 public:
  virtual void Update()
  {
   if(m_bClosed)
    m_pParent->RemoveChild(this);
   else
    Window::Update();
  }
 };
 当一个模块的逻辑比上述例子复杂很多时，这种情况更难以掌握，为了防止模块客户的代码产生类似的行为，我不得不把代码写成这样：
 class Window
 {
  Window*  m_pParent;
  list<Window*> m_children;
  bool  m_bLock;
 public:
  void RemoveChild(Window *pChild)
  {
   ASSERT(!m_bLock);
   m_children.remove(pChild);
  }
  virtual void Update()
  {
   m_bLock=true;
   for(list<Window*>::iter=m_children.begin();
    iter=m_children.end();++iter)
   {
    (*iter)->Update();
   }//endof for
   m_bLock=false;
  }
 };

参考资料：
 《C++标准程序库》，候捷、孟岩译，2002