使用 shared_ptr 进行linked_list会在析构函数中产生堆栈溢出

Using shared_ptr for linked_list gives stackoverflow within destructor

本文关键字：析构函数 堆栈 栈溢出 ptr shared 进行 linked list 使用      更新时间：2023-10-16

我正在尝试使用shared_ptr而不是原始指针来实现链表。代码 ：

#include <memory>
class NodeTest
{
private:
int v;
std::shared_ptr<NodeTest> next;
public:
NodeTest() { v = 0; };
NodeTest(unsigned int i) { v = i; }
~NodeTest() {};
void setNext(std::shared_ptr<NodeTest> & toSet) { next = toSet; }
};
std::shared_ptr<NodeTest> init()
{
std::shared_ptr<NodeTest> elt = std::shared_ptr<NodeTest>(new NodeTest());
std::shared_ptr<NodeTest> first = elt;
for (unsigned int i = 1; i < 5000; i++)
{
std::shared_ptr<NodeTest> next(new NodeTest(i));
elt->setNext(next);
elt = next;
}
return first;
}
void test_destroy()
{
std::shared_ptr<NodeTest> aList = init();
}

int main(int argc, char * argv[])
{
test_destroy();
}

这会在离开作用域时生成堆栈溢出test_destroy()因为调用析构函数 (RAII)aList。为了销毁aList，它调用了next等的析构函数，这显然最终会得到足够大的列表的堆栈溢出。

我找不到任何有效的方法来解决这个问题。理想的情况是在移动到next删除之前删除当前NodeTest，对吗？你会怎么做这样的事情？

提前致谢

解决方案：您需要断开所有节点之间的链接并保存指向每个节点的指针，以便在断开链接时不会立即调用析构函数。下面使用向量的示例。

~NodeTest() 
{
std::vector<std::shared_ptr<NodeTest>> buffer;
std::shared_ptr<NodeTest> cursor = next;
while (cursor.use_count()!=0)
{
std::shared_ptr<NodeTest> temp = cursor->getNext();
cursor->setNext(std::shared_ptr<NodeTest>());
buffer.push_back(cursor);
cursor = temp;
}
next = std::shared_ptr<NodeTest>();
};

在这种情况下，您应该手动管理节点删除，因为析构函数调用析构函数调用析构函数.....

看看演讲 CppCon 2016：赫伯·萨特"C++中的泄漏自由......默认情况下。

NodeTest的析构函数调用NodeTest::next的析构函数，后者递归调用另一个NodeTest析构函数，依此类推，直到堆栈耗尽。因此，不应使用智能指针来链接节点。

相关文章：