删除指向不完整类型和智能指针的指针

Question

当尝试使用带有前向声明的类型的 auto_ptr 时，如下所示：

class A;
...
std::auto_ptr<A> a;

A 的析构函数未被调用（显然，因为 auto_ptr< /code> 内部删除底层指针，并且无法调用不完整类型的析构函数）。

但是，相同的代码工作正常，并且在使用 std::shared_ptr 而不是 std::auto_ptr 时调用析构函数。 这怎么解释呢？

Answer 1

可以用不完整的类型声明 shared_ptr ，是的。在初始化或重置之前，该类型不需要完整。

当您初始化或重置 shared_ptr 以指向新对象时，它会创建一个可用于销毁该对象的“删除器”。例如，请考虑以下情况：

// somewhere where A is incomplete:
std::shared_ptr<class A> p;

// define A
class A { /* ... */ };

p.reset(new A());

当您调用 reset 时，A 已完成，因为您正在使用 new 创建它的实例。 reset 函数在内部创建并存储一个删除器，该删除器将用于使用 delete 销毁对象。因为 A 在这里已完成，所以 delete 会做正确的事情。

通过这样做，在声明 shared_ptr 时，shared_ptr 不要求 A 是完整的；它仅要求在调用采用原始指针的 shared_ptr 构造函数或使用原始指针调用 reset 时完成 A。

请注意，如果当您执行这两件事之一时 A 未完成，则 shared_ptr 将不会做正确的事情，并且行为未定义（boost 文档对此进行了解释： :shared_ptr，这可能是学习如何正确使用 shared_ptr 的最佳资源，无论您使用的是哪个版本的 shared_ptr（Boost、 TR1、C++0x 等））。

但是，只要您始终遵循 shared_ptr 的最佳使用实践 - 特别是，如果您始终使用调用 shared_ptr 所产生的指针直接初始化和重置 shared_ptr code>new——你不必担心违反这条规则。

此功能不是免费的：shared_ptr 必须创建并存储指向删除器函子的指针；通常，这是通过将删除器存储为存储强引用计数和弱引用计数的块的一部分，或者通过将指针作为指向删除器的块的一部分来完成的（因为您可以提供自己的删除器）。

auto_ptr（以及unique_ptr）被设计为没有任何开销：对其进行的操作应该与使用哑指针一样高效。因此，auto_ptr 没有此功能。