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