C++ Runtime Error ：STL list "list iterator not incrementable"

问题

最近在项目过程中用到了list这个容器，并且在使用过程中涉及了erase的删除元素操作，在程序的调试过程中经常会弹出异常对话框，提示的异常为：“list iterator not incrementable”，便上网查了一下问题的原因，网上的答案一致认为是遍历容器元素的时候使用erase删除元素，导致++iterator 的时候报了刚才的错误。但是我原来经常使用这类容器，对于erase的操作也不少，知道其中的陷阱在哪里，我确信我的代码中的没有常见的那种错误写法，于是我开始一句一句的调试代码，最后我发现还是我代码的问题，只不过代码隐藏的太隐秘了，一般不容易发现，下面我们先来看看一般的版本：

常见版本

#include "stdafx.h"
#include <iostream>
#include <list>
using namespace std;

int _tmain(int argc, _TCHAR* argv[])
{
list<int> listInt;
listInt.push_back(1);
listInt.push_back(2);
listInt.push_back(3);
for (list<int>::iterator iter = listInt.begin(); iter != listInt.end(); ++iter)
{
if (*iter == 2)
listInt.erase(iter);
}

return 0;
}

常见错误解决方法

以上的代码对于没有处理过此类问题的”程序猿“来说确实是个问题，erase中会将迭代器销毁掉，这样在erase之后，iter的指向的内容已经乱了，debug的时候可以看到开始是从1开始的，过后就是负多少了，再执行++iter就会报错list iterator not incrementable，简单的解决方法是在erase之后直接break出来就可以了，如果删除操作不至一次那可以利用erase的返回值，其返回值就指向下一个元素，代码如下 :

for (list<int>::iterator iter = listInt.begin(); iter != listInt.end();)
{
if (*iter == 2)
{
listInt.erase(iter);
}
else
{
++iter;
}
}

隐晦的错误

#include "stdafx.h"
#include <iostream>
#include <iterator>
#include <list>
using namespace std;

typedef void(*EVENT_CALLBACK)(const int);

struct EventPair
{
int             nEventId;
EVENT_CALLBACK  funcCallBack;

EventPair(const int nEvent, EVENT_CALLBACK callBack)
{
nEventId = nEvent;
funcCallBack = callBack;
}
};

class EventMgr
{
public:
EventMgr(){}
~EventMgr(){}

void RegisterEvent(const int nEvent, EVENT_CALLBACK callBack)
{
m_EventList.push_back(EventPair(nEvent, callBack));
}

void UnRegisterEvent(const int nEvent, EVENT_CALLBACK callBack)
{
for (list<EventPair>::iterator iter = m_EventList.begin(); iter != m_EventList.end();)
{
if ((*iter).nEventId == nEvent)
{
iter = m_EventList.erase(iter);
}
else
{
++iter;
}
}
}

void FilterEvent(const int nEvent, int nParam)
{
for (list<EventPair>::iterator iter = m_EventList.begin(); iter != m_EventList.end(); ++iter)
{
if ((*iter).nEventId == nEvent)
(*iter).funcCallBack(nParam);
}
}

private:
list<EventPair> m_EventList;
};

class Handle
{
private:
Handle(){}
~Handle(){}
public:
static Handle& Singleton();

static void doSomethig(int nParam)
{
// ...
}

static void doSomethig2(int nParam)
{
// ...
Handle::Singleton().GetEvent().UnRegisterEvent(2, Handle::doSomethig2);
}

static void doSomethig3(int nParam)
{
// ...
}

inline EventMgr& GetEvent()
{
return m_event;
}

private:
EventMgr m_event;
};

Handle& Handle::Singleton()
{
static Handle sIns;
return sIns;
}

int _tmain(int argc, _TCHAR* argv[])
{
// 事件注册
Handle::Singleton().GetEvent().RegisterEvent(1, Handle::doSomethig);
Handle::Singleton().GetEvent().RegisterEvent(2, Handle::doSomethig2);
Handle::Singleton().GetEvent().RegisterEvent(3, Handle::doSomethig3);

// 事件处理
Handle::Singleton().GetEvent().FilterEvent(2, 2);

return 0;
}

错误截图

错误分析及解决办法

代码有点长是不是，这还是精简版呢，凑合着看吧，不是这么长怎么错误那么难找呢，话说看了一遍代码有没有发现问题，不卖关子了，问题就出在FilterEvent这个函数上，一般的遍历是没有问题，可是这个函数在遍历的过程中调用了回调函数，回调函数是什么鬼，这个你得仔细查查了，本文中的回调函数就是doSomethig()，doSomethig2()，doSomethig3()，其中doSomethig2注销了事件，也就是FilterEvent遍历的过程中调用了doSomethig2()，而它其中包括erase，删除了list原有的元素，导致原有的iter失效，再调用++iter就报了上面的错误。

解决办法

防止在容器循环中处理容器的元素，特别是删除，可以复制一份来循环，修改的代码如下：

void FilterEvent(const int nEvent, int nParam)
{
list<EventPair> originalEventList;
std::copy(m_EventList.begin(), m_EventList.end(), std::back_inserter(originalEventList));

for (list<EventPair>::iterator iter = originalEventList.begin(); iter != originalEventList.end(); ++iter)
{
if ((*iter).nEventId == nEvent)
(*iter).funcCallBack(nParam);
}
}

总结

一定要避免在stl容器中处理迭代器，不可避免的时候查一下源代码，选择处理拷贝副本会比较安全。