C++ 从 2 组指针中删除指针

Question

我有 2 组指针，我想从中删除某个指针。但它在删除边缘函数的最后一行给了我一个双重自由错误。

我最初怀疑可能是因为set::erase()隐式调用delete但我阅读了一些文档，发现不会调用析构函数，因为edge_ins和edge_outs都是指向 Edge 的指针集。

现在我不确定是什么导致了第二次调用set::erase()时的双重免费错误，所以我来这里寻求帮助。

我怀疑这可能是因为指针被视为对象，当我从root->edge_outs.erase(e)中删除相同的指针时，它已经消失了，所以它因为第二次调用而崩溃root->edge_ins.erase(e).但到目前为止，我找不到任何有用的东西。

边缘删除：

std::set<Edge*>::iterator
SDG::delete_edge(std::set<Edge*>::iterator e)
{
delete *e;
(*e)->head->edge_ins.erase(e);
return (*e)->root->edge_outs.erase(e);
}

可能是相关的，所以我还将添加如何为 Edge 分配内存。

边缘创建：

Edge&
SDG::edge(Vertex* out, Vertex* in, Edge::Type type)
{
// 新しいエッジを生成
Edge* edge = new Edge(type, *out, *in);
// 頂点からエッジへの参照
out->add_out(edge);
in->add_in(edge);
return *edge;
}

更新：我已经更改了代码，以便我不会取消引用已删除的对象，但它仍然给出双重释放错误。

新代码：

SDG::delete_edge(std::set<Edge*>::iterator e)
{
(*e)->head->rm_in(e);
(*e)->root->rm_out(e);
delete *e;
}

Answer 1

问题解决了。

问题在于，这个delete_edge函数将edge_outs中的std::set<Edge*>::iterator作为参数。然后继续从另一个集合中删除元素，这edge_ins导致未定义的行为，以某种方式导致双重释放。

为了解决这个问题，我从根本上改变了delete_edge函数，以便它需要Edge*，以便函数的用户不会感到困惑。

至于返回值，它最初打算用于在程序迭代它时删除edge_outs元素。所以我需要一个使用iterator = edge_outs.erase(iterator)的循环，但我也想同时从edge_ins中删除相同的元素。因此，我想出了一个确保正确删除边缘的功能，但似乎我在第一次尝试时失败了。

这是该函数的更好版本：

void
SDG::delete_edge(Edge* e)
{
e->head->edge_ins.erase(e);
e->root->edge_outs.erase(e);
delete e;
}

使用此功能时，在修复之前是这样使用的：

iterator = delete_edge(iterator)

但是当您执行以下操作时，我意识到修复后它具有相同的效果：

delete_edge(*(iterator++))