基类析构函数必须声明为virtual，否则通过基类指针delete派生类对象将只调用基类析构函数，导致派生类资源未释放而引发内存泄漏或崩溃；即使基类无资源需清理，只要支持多态继承，析构函数就必须是virtual。
基类析构函数必须是虚函数
直接用基类指针 delete 派生类对象，若基类析构函数不是 virtual，只会调用基类的析构函数，派生类部分的资源（如动态分配的内存、文件句柄等）不会被释放——这是典型的未定义行为，常见表现是内存泄漏或程序崩溃。
必须确保基类析构函数声明为虚函数：
class Base {
public:
virtual ~Base() = default; // 关键：必须是 virtual
};
<p>class Derived : public Base {
std::string* data;
public:
Derived() : data(new std::string("hello")) {}
~Derived() { delete data; } // 这里才会被调用
};- 即使基类没有数据成员或资源要清理，只要它作为多态基类被继承，析构函数就必须是
virtual -
= default是安全的，但不能省略virtual修饰符 - 纯虚析构函数也合法：
virtual ~Base() = 0;，但必须提供定义（哪怕空实现）
delete 前必须确保指针指向的是 new 分配的对象
delete 只能用于由 new（非数组形式）分配的内存。用基类指针 delete 栈对象、全局对象或 new[] 分配的数组，都会触发未定义行为，往往表现为段错误或堆损坏。
典型错误示例：
立即学习“C++免费学习笔记（深入）”；
Base* ptr = &some_stack_derived_obj; // 栈对象 delete ptr; // ❌ 危险！
- 检查指针来源：只对明确用
new Derived创建的对象执行delete - 如果用了
new Derived[10]，必须用delete[] ptr，且基类析构函数仍需virtual - 优先考虑智能指针（
std::unique_ptr<base>），它自动处理删除逻辑和类型安全
虚析构函数不影响普通成员函数调用规则
虚析构函数只影响对象销毁时的调用链，不改变其他成员函数的绑定方式。派生类对象通过基类指针调用普通成员函数，仍需显式声明为 virtual 才能实现多态。
例如：
class Base {
public:
virtual ~Base() = default;
void foo() { std::cout << "Base::foo\n"; } // 非虚，静态绑定
virtual void bar() { std::cout << "Base::bar\n"; } // 虚，动态绑定
};
<p>Derived d;
Base* p = &d;
p->foo(); // 输出 "Base::foo"，不调用 Derived::foo（即使存在）
p->bar(); // 输出 "Derived::bar"，因为 bar() 是 virtual- 析构函数是否
virtual和其它函数是否virtual是两个独立问题 - 别误以为加了虚析构就“自动多态”所有函数
- 编译器不会警告你忘了把某个普通函数设为
virtual，但漏掉虚析构通常会引发运行时灾难
使用智能指针可规避大部分手动 delete 风险
手动管理 new/delete 容易出错，尤其在异常路径、提前返回或多个出口的函数中。用 std::unique_ptr 或 std::shared_ptr 是更现代、更安全的选择。
正确写法：
std::unique_ptr<Base> ptr = std::make_unique<Derived>(); // 不需要显式 delete，离开作用域自动调用 Derived::~Derived()
-
std::make_unique<derived>()</derived>返回的是std::unique_ptr<derived></derived>，但能隐式转为std::unique_ptr<base>（前提是Base是Derived的可访问基类） - 智能指针的删除器默认调用
delete，因此基类仍需虚析构函数才能正确析构派生类部分 - 如果自定义删除器（比如用
free），需额外确保它与对象构造方式匹配
虚析构函数不是可选项，是多态对象生命周期管理的硬性前提；而指针来源是否合法、是否该用智能指针，则决定了你是在控制资源还是在制造隐患。
