将智能指针引入遗留项目

Question

我正在更改一些遗留代码，以便使用智能指针。

我们的项目早于 boost，因此我们有一个现有的侵入式智能指针类（API 见下文）。

我想删除对这些类型的 delete 的显式调用，那么找到它们的最佳方法是什么？

例如：

class A : public RefCount // RefCount added to manage lifetime
{
  // ...
};
// typedef A * APtr;  => Previous implementation
typedef SPtr<A> APtr;

void deleteObjects (APtr a)
{
  delete a;      // Want to find this (ideally with compile error)
}

与智能指针一起使用的所有类型都派生自保留引用计数的基类，并且正是该类应负责在计数达到零时删除对象。

我已将我今天正在做的事情添加为答案< /a>，但是，该方法不适用于调用层次结构中的删除。我正在寻找一种完整的解决方案，可以捕获任何对删除的显式调用（来自 RefCount 成员的调用除外）。

智能指针类有以下成员：

template <typename B>
class SPtr
{
public:
  // Ctor
  SPtr () throw ();
  SPtr (B * b) throw ();
  SPtr (const SPtr & bptr) throw ();

  // Copy Asgn      
  SPtr & operator = (B * b);
  SPtr & operator = (const SPtr & bptr);

  // Dtor
  ~SPtr () throw ();


  // Access
  bool isSet () const;

  B * pointer () const;
  B * operator -> () const;
  B & operator * () const;
  operator void const * () const;
};

Answer 1

将模板类 SPtr 的析构函数设为私有。这将导致调用 delete a; 时出错，其中 a 的类型为 SPtr，其中 T 为任意类型。

另一种解决方案是重载 delete 和 delete[] 运算符并将它们设为私有。在这种情况下，您仍然可以在堆栈上创建类，但调用删除将导致错误。例如：

class MyClass {
private:
  void operator delete(void *p);
  void operator delete[](void *p);
};

Answer 2

在你的智能指针类中去掉operator void const * () const;就可以了。从智能指针到原始指针的隐式转换通常隐藏了许多不值得实现的问题。

即使使用转换运算符，我仍然在 g++ 中收到警告，并发布了代码。

Answer 3

捕获除层次结构内的情况之外的情况的技术是临时使用placement new 和delete：

class A : public RefCount
{
public:
  static void * operator new (size_t, size_t = 0);
  static void operator delete (void *, size_t);

protected:
  static void operator delete (void *);
};

class B : public A
{
public:
  ~B ()
  {
    // requires 'operator delete(void*)' be accessible
  }

private:
  SPtr<A> m_a;
};

有必要使用placement new，作为调用operator new的operator delete code> 分配对象时必须可访问（以防引发异常）。因此，为了能够调用new A，我们需要operator new和operator delete。

SPtr<A> m_a = new A;  // requires matching `operator new` and `operator delete`

标准中的规则意味着针对这种情况调用的 operator delete 与 operator new 相匹配，因此附加默认参数要求 operator delete(void* , size_t) 在分配时可访问，而不是operator delete(void*)。

然而，示例中所示的缺点是派生类仍然需要可访问operator delete(void*)。

这只是临时更改，一旦找到并删除所有对删除的调用，就应该删除重载。