intrusive_ptr 使用基类进行引用计数并包含循环地狱

Question

我使用 boost::intrusive_ptr 作为我的引用计数智能指针。我正在使用这样的东西：

http://www.codeproject.com/KB/stl/boostsmartptr.aspx#intrusive_ptr%20-%20lightweight%20shared%20pointer

这似乎是个好主意，因为它简化了声明一个新的引用计数类，只是从它继承。问题来自于前向声明。有很多地方我想使用指向类定义中尚未声明的类型的指针，但这是不可能的，因为处理引用计数的 2 个方法需要知道该类型是否继承自 CRefCounted。

如果我尝试在 intrusive_ptr 声明之前包含依赖项，这是可以的，但是随后，我会得到很多循环包含。

你会如何处理这种情况？

Answer 1

我认为您可以使用 intrusive_ptr_add_ref 和 intrusive_ptr_release 的模板函数解决此问题，如下所示：

namespace boost {
  template<class T> void intrusive_ptr_add_ref(T* p) { ++(p->references) }
  template<class T>void intrusive_ptr_release(T* p) { 
    if (--(p->references) == 0) 
      delete p 
  }
};

您还需要调整 CRefCounted 中的友元声明，例如

template class<T> friend void ::boost::intrusive_ptr_add_ref(T*);
template class<T> friend void ::boost::intrusive_ptr_release(T*);

使用这些声明，您可以在前向声明的类上使用 intrusive_ptr

class A;
class B {
  ::boost::intrusive_ptr<A> _myPtr;
};
class A : public CRefCounted {
};

这种解决方案有一个缺点（理论上......），您定义了一对CRefCounted 的 每个 子类的 add_ref/release 函数，但我认为编译器无论如何都会选择使用内联，所以这个可以忽略不计。

Answer 2

我经常使用类似的 RefCounted 基类，我开始想知道为什么我从来没有遇到过这个问题。这是因为我倾向于隐藏源文件中的实现细节。考虑类 B 的以下头文件：

//File: B.h
#include <boost/intrusive_ptr.hpp>

class A;

class B
{
public:
    B();
    ~B();
    boost::intrusive_ptr<A> foo();
    void foo2(const boost::intrusive_ptr<A> p);
    boost::intrusive_ptr<A> p;
};

它可以工作，因为即使它使用 intrusive_ptr，它也不需要实例化其构造函数或析构函数。因此它不需要知道关于类 A 的任何信息。

它需要了解 A 的地方是在源文件中。 （以及在调用 foo/foo2 的地方）。 B的构造函数和析构函数隐式调用intrusive_ptr< A> 的构造函数/析构函数，因此 A 的定义必须可用。

//File: B.cpp
#include "B.h"
#include "A.h" //Include header where A is defined.

B::B() { }
B::~B() { }

//Other member functions...

我不知道这对你的情况是否有帮助，但这是值得考虑的事情。 :)