从 edge_ 中删除一条声明为 std::set<std::shared_ptr<Edge>> edges_ 的边；

Question

我是 std::shared_ptr 和 std::set 的新手。对于以下代码，我想知道如何从edges_中删除边缘。

edges_ 被声明为std::set<std::shared_ptr<Edge>> edges_;，我想删除存储在std::set 中的共享指针所引用的边。我的部分代码在这里，但似乎有问题。

auto findEdge = findLinkingNode1->second->edges_.find(edge);
findLinkingNode1->second->edges_.erase(findEdge);

错误：

test8c(3034,0x7fff78df2000) malloc: *** error for object 0x7f8553403350: pointer being freed was not allocated
*** set a breakpoint in malloc_error_break to debug
Abort trap: 6

考虑到共享指针存储在std::set中，如何从edges_中删除边缘，这是通过共享指针管理的？

Answer 1

这只是猜测，但鉴于您提供的代码......

auto findEdge = findLinkingNode1->second->edges_.find(edge);
findLinkingNode1->second->edges_.erase(findEdge);

...我想说你的问题是你正在擦除 edges_.end() which is not allowed （可能是未定义的行为）：

迭代器pos 必须有效且可取消引用。因此，end() 迭代器（有效，但不可取消引用）不能用作 pos 的值。

如果在集合中找不到给定的edge，变量findEdge 将等于edges_.end()。要查找元素，std::set 使用 Compare 对象，其类型通过第二个模板参数定义...

std::set<std::shared_ptr<Edge>> edges_;

...您没有指定，因此它默认为std::less<std::shared_ptr<Edge>>，而后者又调用the operator< of the shared pointer，它...

请注意，shared_ptr 的比较运算符只是比较指针值；不比较指向的实际对象。

... 不比较对象，只比较指针。因此，如果用于插入和搜索的指针不是指向完全相同的（如在相同的，不仅仅是“相等”）对象中，你就麻烦了。

---

以上是猜测，但鉴于您的评论......

findOrig->second->edges_.insert(std::make_shared<Edge>(Edge (findOrig->second, findDest->second, val) ));

... 事实证明，因为（几乎）没有办法获取make_shared 返回的指针。

解决方案：为您的集合实现一个比较类，用于比较实际的 Edge 对象。 （摆脱指针并不是那么简单，因为你说Edge 是多态的）

士气：始终测试可能的错误情况。