答案：虚析构函数确保通过基类指针删除派生类对象时，能正确调用派生类的析构函数，防止内存泄漏；当基类析构函数为虚函数时，delete操作会先调用派生类析构函数释放资源（如动态数组），再调用基类析构函数，保证对象完整销毁；因此，凡用于继承的基类均应声明虚析构函数，即使无实际清理工作也应定义为空的虚函数，以确保多态销毁的安全性。
在C++的多态机制中，虚析构函数起着至关重要的作用。当通过基类指针删除派生类对象时，如果基类的析构函数不是虚函数，那么只有基类的析构函数会被调用，而派生类的析构函数不会被执行，这可能导致资源未释放、内存泄漏或对象状态不完整。
为什么需要虚析构函数
考虑以下场景：
class Base {public:
~Base() {
// 仅清理Base部分
}
};
class Derived : public Base {
public:
int* data;
Derived() { data = new int[100]; }
~Derived() { delete[] data; }
};
Base* ptr = new Derived();
delete ptr; // 只调用 ~Base()
立即学习“C++免费学习笔记（深入）”；
此时，~Derived() 不会被调用，导致 data 指向的内存永远得不到释放，造成内存泄漏。
使用虚析构函数解决该问题
将基类的析构函数声明为虚函数后，C++会根据实际对象类型动态调用对应的析构函数：
class Base {
public:
virtual ~Base() {
// 正确释放Base资源
}
};
class Derived : public Base {
public:
int* data;
Derived() { data = new int[100]; }
~Derived() { delete[] data; }
};
Base* ptr = new Derived();
delete ptr; // 先调用 ~Derived()，再调用 ~Base()
此时析构顺序正确：先执行派生类析构函数释放动态数组，再执行基类析构函数。整个对象被完整清理。
关键规则与建议
- 只要类设计用于继承（即作为基类），其析构函数应声明为 virtual
- 即使基类本身没有需要释放的资源，也应定义虚析构函数以防止派生类出现泄漏
- 虚析构函数可以是空函数，但必须是虚的
- 标准库中的类如 std::string 或 std::vector 成员通常不需要手动释放，但仍需注意裸指针成员
基本上就这些。虚析构函数虽小，却是C++多态安全的重要保障，能有效避免因对象销毁不完整而导致的内存泄漏问题。
