接着前面条款32的例子:
容器中的元素为 1 2 3 4 3 5,调用remove算法删除的元素为3,
容器中元素会变成:1 2 4 5 3 5。
之前容器中的第一个3将会被直接覆盖掉。
想想如果这些都是堆内存指针,同时这些指针没有其他拷贝,那么就会出现内存泄露,因为已经没有指针指向3指向的堆内存。
class widget
{
public:
...
bool IsCertified() const;
...
};
std::vector<Widget*> datas;
对于容器datas,如果要删除其中未被验证的元素,你得换一种方式,不能直接使用erase-remove习惯用法。
如果无法避免使用对这种使用容器使用remove。那么一种可以消除该问题的做法是,在进行erase-remove习惯用法之前,先把那些指向未被验证过的Widget的指针删除并置为空,然后消除该容器中的所有空指针。
void (Widget*& pWidget)
{
if (!pWidget->IsCertified())
{
delete pWidget;
pWidget = nullptr;
}
}
std::for_each(datas.begin(), datas.end(), DelAndNullifyUncertified);
datas.erase(std::remove(datas.begin(), datas.end(), static_cast<Widget*>(0)), datas.end());
需要注意的是,如果容器中存放的shared_ptr就不会存在该问题,因为引用计数的存在,shared_ptr自己能够正确地释放自己的资源。
shared_ptr一种可能实现见:C++ 智能指针shared_ptr、weak_ptr的简单实现
无论你如何处理那些存放动态分配的指针的容器,你总是可以这样来进行:或者通过引用计数的智能指针,或者在调用remove类算法之前手工删除指针并将它们置为空,或者用你自己发明的其他某项技术。对包含指针的容器使用remove类算法是需要特别警惕。如果你不留意这条警告的话,其后果就是资源泄露。