一个分别使用std::list的remove和erase的问题

      在实际使用上一篇文章提到的基于策略的Pool（http://blog.csdn.net/smuggler_2003/archive/2009/12/29/5099330.aspx）的时候，发现一个很妖怪的问题：在多次运行之后，可能会偶然崩溃。通过调试，发现总是中断在std::list中的remove函数

void remove(const _Ty& _Val) { // erase each element matching _Val iterator _Last = end(); for (iterator _First = begin(); _First != _Last; ) if (*_First == _Val) //总是中断在这里 _First = erase(_First); else ++_First; }

中的if (*_First == _Val) 处。

        花了大量的精力去检查Pool的实现之后，仍旧毫无头绪。后来我将我原本的代码：

//搜寻_reservePool，看是否存在该Object for (std::list<Object*>::iterator iter = _reservePool.begin(); iter != _reservePool.end(); ++iter) { if (&obj == *iter) { _freePool.push_back(&obj); _reservePool.remove(*iter); //修改了此处 if (1 == availableNo()) { LackPolicyTraits::notify(_mutex); } return; } }

修改为

//搜寻_reservePool，看是否存在该Object for (std::list<Object*>::iterator iter = _reservePool.begin(); iter != _reservePool.end(); ++iter) { if (&obj == *iter) { _freePool.push_back(&obj); _reservePool.erase(iter); //修改了此处 if (1 == availableNo()) { LackPolicyTraits::notify(_mutex); } return; } }

当时仅是考虑了性能问题，因为看std::list源代码的实现，remove其实是先遍历，再删除的，也就是说它的时间复杂度为O(n)。结果困扰我一整天的问题也消失了……。

      虽然问题解决了，但是还不是很清楚究竟怎么回事，望牛人能够解答。