c 11 – 无法删除shared_ptr泄漏的递归解析代码

我在我的生产代码中广泛使用shared_ptrs主要是为了降低复杂性和维护,它通常工作正常.但是,我为复杂的元语法编写了一个解析器,在退出时保留共享对象.其中一个罪魁祸首是由递归引起的.由于解析代码本身很复杂,所以每次下降到下一级时我都想重用它.因此,我在执行后代解析时保存其父元素中的当前元素.但这导致了太多剩余的强力裁判的问题.我已尝试使用弱存储和强存储,而TreeVect使用weak_ptrs,但父分配问题仍然存在.我的问题是,如何摆脱在下面的父语句赋值中添加的第二个强引用？这是代码,说明我的问题：

#include "stdafx.h"
#include <memory>
#include <vector>

struct Tree;
typedef std::weak_ptr< Tree > TreeWptr;
typedef std::shared_ptr< Tree > TreeSptr;
typedef std::vector< TreeWptr > TreeVect;

struct Tree
{
  TreeVect treeVect;
  //TreeSptr parent;
  TreeWptr parent; // changed from strong to weak ptr
};

struct Element1 : public Tree
{
};

struct Element2 : public Tree
{
};


int main()
{
  TreeSptr element1 = std::make_shared< Element1 >();
  TreeSptr element2 = std::make_shared< Element2 >();
  //element2->parent = element1; // illustrates recursive case.  ERROR: Adds extra strong ref to element1
  //element2->parent->treeVect.push_back( element2 );
  element2->parent = element1; // no longer adds extra strong ref to element1
  element2->parent.lock()->treeVect.push_back( element2 );

    return 0;
}

注意：我通过将父成员从shared_ptr更改为weak_ptr来解决此示例程序的问题.