基类析构函数必须声明为virtual,否则通过基类指针delete派生类对象时仅调用基类析构函数,导致派生类资源泄漏;推荐写法是virtual ~Base() = default;。
基类指针指向派生类对象时,若基类析构函数不是 virtual,delete 会只调用基类析构函数,派生类的资源(如堆内存、文件句柄等)不会被释放——这是典型的未定义行为,不是“可能出错”,而是“一定漏释放”。
为什么非 virtual 析构函数会导致派生类资源泄漏
编译器在编译期就决定调用哪个析构函数。当指针类型是基类,而析构函数非虚时,编译器直接绑定到基类析构函数,根本不会查虚表。哪怕对象实际是派生类实例,派生类析构体内的清理逻辑(比如 delete[] m_buffer 或 fclose(m_file))一句都不会执行。
常见错误现象:
- Valgrind 报告“definitely lost” 堆内存
- 程序运行中出现重复 close fd 错误或段错误(因二次释放或访问已释放资源)
- 调试时发现派生类析构函数断点完全不命中
什么情况下必须写 virtual 析构函数
只要满足以下任一条件,基类析构函数就必须声明为 virtual:
立即学习“C++免费学习笔记(深入)”;