一个分别使用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 _Valiterator _Last = end();for (iterator _First = begin(); _First != _Last; )if (*_First == _Val) //总是中断在这里_First = erase(_First);else++_First;}

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

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

//搜寻_reservePool，看是否存在该Objectfor (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，看是否存在该Objectfor (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)。结果困扰我一整天的问题也消失了……。

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