基类析构函数必须声明为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; } // 这里才会被调用
};</p>
- 即使基类没有数据成员或资源要清理,只要它作为多态基类被继承,析构函数就必须是
virtual -
= default是安全的,但不能省略virtual修饰符 - 纯虚析构函数也合法:
virtual ~Base() = 0;,但必须提供定义(哪怕空实现)
delete 前必须确保指针指向的是 new 分配的对象
delete 只能用于由 new(非数组形式)分配的内存。用基类指针 delete 栈对象、全局对象或 new[] 分配的数组,都会触发未定义行为,往往表现为段错误或堆损坏。
典型错误示例:
Base* ptr = &some_stack_derived_obj; // 栈对象 delete ptr; // ❌ 危险!
- 检查指针来源:只对明确用
new Derived创建的对象执行delete - 如果用了
new Derived[10],必须用delete[] ptr,且基类析构函数仍需virtual - 优先考虑智能指针(
std::unique_ptr),它自动处理删除逻辑和类型安全
虚析构函数不影响普通成员函数调用规则
虚析构函数只影响对象销毁时的调用链,不改变其他成员函数的绑定方式。派生类对象通过基类指针调用普通成员函数,仍需显式声明为 virtual 才能实现多态。
例如:
class Base {
public:
virtual ~Base() = default;
void foo() { std::cout 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()</derived>
-
std::make_unique返回的是() std::unique_ptr,但能隐式转为std::unique_ptr(前提是Base是Derived的可访问基类) - 智能指针的删除器默认调用
delete,因此基类仍需虚析构函数才能正确析构派生类部分 - 如果自定义删除器(比如用
free),需额外确保它与对象构造方式匹配
虚析构函数不是可选项,是多态对象生命周期管理的硬性前提;而指针来源是否合法、是否该用智能指针,则决定了你是在控制资源还是在制造隐患。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











