围绕shared_ptr构建对象系统

Question

我正在使用 shared_ptr 作为我正在开发的玩具语言的垃圾收集，该语言可编译为 C++。我的对象派生自上面的公共基类，其中有字符串和数字，然后有向量和地图。 C++ 端的所有内容都包装在 shared_ptr 中传递，因此我的容器实际上保存 shared_ptr，这样当它们被销毁时，它们的内容也会被销毁。这个方案是有效的，但感觉有点奇怪，因为作为基础对象的容器持有 shared_ptr 。我的设计有缺陷吗？如果是的话，围绕这种方法的替代层次结构是什么？

Answer 1

以下是我的设置方法：

namespace toylang {

class Object;
// main handle type; use this for all object references
// replace with boost::intrusive_ptr or similar if too inefficient
typedef std::shared_ptr<Object> obj;

class Object
{
    // whatever
};

class Number : public Object
{
    int x;
    // etc
};

class Array : public Object
{
    std::vector<obj> a;
    // etc
}

请注意，此方案中的 ToyLang 数组是指针向量，提供语言引用语义。事实上，这在动态语言中很常见：Lisp、Python 和其他语言都是这样工作的。只要您没有循环引用，shared_ptr 的引用计数就会为您提供适当的垃圾回收。