'shared_ptr”可以在没有虚拟析构函数的情况下运行吗？

没有虚拟析构函数的 Shared_ptr：类型擦除的壮举

在 C 编程领域，shared_ptr 作为内存管理工具占据着至高无上的地位。它有效处理对象共享所有权的能力使其成为 C 开发人员工具包中不可或缺的一部分。

但是，围绕shared_ptr 的实现存在一个常见的误解。有些人认为它需要带有虚拟析构函数的多态类。

为了消除这个神话，让我们深入研究shared_ptr 实现的复杂性。与流行的看法相反，shared_ptr 确实可以在不需要多态类遵守虚拟析构函数的情况下实现。

秘密在于一种称为“类型擦除”的技术。通过这种优雅的机制，shared_ptr 可以秘密地进行操作，从用户的角度隐藏其内部工作的复杂性。

为了实现这一点，shared_ptr 使用了一个模板构造函数，使其能够处理任何类型的对象，包括那些缺乏虚拟析构函数。

深入研究shared_ptr实现的具体细节，我们发现了一个称为“删除者。”每个shared_ptr实例都有一个删除器，它作为shared_ptr销毁时对象清理的主协调器。至关重要的是，这些删除器是特定于类型的，专门用于处理特定类型对象的删除。

例如，当您将指向派生类对象的指针委托给shared_ptr时，它会明智地识别静态类型（ Base）和对象的动态类型（Derived）。然后，它会制作一个自定义删除器，以了解 Derived 销毁的复杂性。

为了在实际操作中说明这一点，请考虑以下代码片段：

class Base {};
class Derived : public Base {};

int main() {
  shared_ptr<base> sp(new Derived);
  // ...
}

这里，shared_ptr 利用其模板化构造函数来创建负责拥有 Derived 对象的实例。在这个实例中驻留着秘密删除器，它经过精心设计，以熟练的工匠的灵巧来拆除 Derived 对象。

随着shared_ptr 的引用计数减少到零，这个聪明的删除器开始行动，调用适当的析构函数告别 Derived 对象，从而保证优雅且乖巧清理。

C 11 标准对这种技巧进行了编码，要求模板化构造函数必须具有明确定义的行为来删除指针并禁止任何异常破坏此过程。此外，它还规定，如果删除器不存在，则调用原始删除操作符来执行清理。

总之，shared_ptr 是一个工程奇迹，展示了类型擦除如何使其能够管理对象，无论其多态性如何。这种灵活性，加上其强大的清理功能，使shared_ptr成为现代C编程的基石。

以上是'shared_ptr”可以在没有虚拟析构函数的情况下运行吗？的详细内容。更多信息请关注PHP中文网其他相关文章！