虚析构函数确保通过基类指针删除派生类对象时能正确调用派生类析构函数，防止资源泄漏。当类可能被继承且通过基类指针删除对象时必须使用，其机制依赖动态绑定，先调用派生类析构函数再调用基类析构函数。示例中Base类虚析构保证Derived析构被调用。并非所有类都需要，仅用于支持多态的基类，避免不必要的性能开销。纯虚析构函数可定义为=0，但需提供实现以供派生类调用。
在C++中，虚析构函数是指在基类中将析构函数声明为virtual的析构函数。它的主要作用是确保通过基类指针删除派生类对象时，能够正确调用派生类的析构函数，从而避免资源泄漏和未定义行为。
为什么需要虚析构函数
当使用继承和多态时，通常会用基类指针指向派生类对象。如果此时通过该指针调用delete，而基类的析构函数不是虚函数，则只会调用基类的析构函数，派生类的析构函数不会被调用。
这会导致：
- 派生类中分配的资源（如内存、文件句柄等）无法释放
- 出现内存泄漏或资源泄漏
- 程序行为未定义
关键点：只要类可能被继承，并且有可能通过基类指针删除对象，就必须将析构函数设为虚函数。
立即学习“C++免费学习笔记（深入）”；
虚析构函数的作用机制
将基类的析构函数声明为virtual后，C++的动态绑定机制会确保：
- 即使通过基类指针删除派生类对象，也会先调用派生类的析构函数
- 然后自动逐层调用父类的析构函数
- 保证整个对象被完整、安全地销毁
示例代码：
本文档主要讲述的是用Apache Spark进行大数据处理——第一部分：入门介绍；Apache Spark是一个围绕速度、易用性和复杂分析构建的大数据处理框架。最初在2009年由加州大学伯克利分校的AMPLab开发，并于2010年成为Apache的开源项目之一。 在这个Apache Spark文章系列的第一部分中，我们将了解到什么是Spark，它与典型的MapReduce解决方案的比较以及它如何为大数据处理提供了一套完整的工具。希望本文档会给有需要的朋友带来帮助；感
class Base {
public:
virtual ~Base() {
// 基类清理工作
}
};
class Derived : public Base {
public:
~Derived() override {
// 派生类资源释放
}
};
// 正确释放：
Base* ptr = new Derived();
delete ptr; // 先调用 ~Derived()，再调用 ~Base()
是否每个类都需要虚析构函数
不是。只有满足以下条件之一，才需要定义虚析构函数：
- 类设计为被继承的基类
- 类中含有虚函数（意味着它参与多态）
- 预期会通过基类指针进行
delete操作
如果类只是普通类，不用于继承，或者明确不会通过基类指针删除对象，就不必加virtual，否则会带来轻微的性能开销（vtable 和 vptr 的引入）。
纯虚析构函数的特殊情况
有时会看到这样的写法：
class AbstractBase {
public:
virtual ~AbstractBase() = 0;
};
这是允许的，但要注意：即使声明为纯虚，也必须提供定义，例如：
AbstractBase::~AbstractBase() { }
因为派生类析构时仍需调用基类析构函数，编译器需要该函数的实际实现。
基本上就这些。虚析构函数虽小，但在面向对象设计中至关重要，尤其涉及资源管理和多态删除时，忽略它很容易引发严重问题。
