0

0

为什么C++中析构函数必须是虚函数?(面试必考)

穿越時空

穿越時空

发布时间:2026-03-13 18:00:32

|

381人浏览过

|

来源于php中文网

原创

必须将基类析构函数声明为virtual;否则通过Base*删除Derived对象时子类析构不执行,导致资源泄漏。虚析构确保动态绑定,虽有微小开销但远小于未定义行为风险。

为什么c++中析构函数必须是虚函数?(面试必考)

delete 父类指针时子类析构函数不执行?

这是最直接的信号:你用 Base* 指向了 Derived 对象,delete 后子类的清理逻辑(比如释放文件句柄、关闭 socket、delete 成员指针)完全没跑——程序看似正常,实则内存泄漏或资源残留。

根本原因在于:非虚析构函数的调用在编译期就静态绑定了,delete p 只会调用 Base::~Base(),连子类析构函数的符号都懒得查。

  • 只要类设计为被继承(哪怕当前没写子类),且有指针/引用通过基类类型管理对象生命周期,就必须把析构函数设为 virtual
  • 如果类明确禁止继承(C++11 起可用 final 修饰类),或者只作工具类(无动态多态使用场景),那可以不加 virtual
  • 纯虚析构函数是合法的:virtual ~Base() = 0;,但必须在类外提供定义(哪怕空实现),否则链接失败

虚析构函数会影响性能或对象布局吗?

影响极小,但存在。加 virtual 后,类会多一个虚函数表指针(vptr),通常 8 字节(64 位系统),所有对象实例都带这个开销;首次调用虚函数时还有间接跳转的微小延迟。

但和“资源泄漏”“未定义行为”比,这点开销几乎可忽略。真正该警惕的是:为了省这 8 字节,把本该虚的析构函数硬改成非虚——这是用确定的错误去换不确定的优化。

立即学习C++免费学习笔记(深入)”;

  • 虚函数表本身不随对象数量线性增长,只跟类数量有关
  • 现代编译器对单个虚函数调用(如析构)常做 devirtualization 优化,实际可能内联
  • 如果你的类既不被继承,也不通过基类指针销毁,加 virtual 反而增加误导性和二进制体积

基类析构函数是 virtual,子类还需要显式写 virtual 吗?

不需要。C++11 起,子类中同签名的析构函数自动成为虚函数,无论是否加 virtual 关键字。但强烈建议显式加上——既是自我提醒,也避免团队里有人误以为“没写就是非虚”。

歌者PPT
歌者PPT

歌者PPT,AI 写 PPT 永久免费

下载

更关键的是:子类析构函数若抛异常(比如在清理时 throw),而基类析构函数没声明 noexcept(C++11 默认是 noexcept(true)),会导致程序直接调用 std::terminate()

  • 所有析构函数默认隐式 noexcept,所以子类析构里别 throw;真要传播错误,改用返回状态码或日志
  • 显式写 virtual ~Derived() noexcept; 比只写 virtual ~Derived(); 更清晰
  • 如果基类析构是 virtual,但子类忘了写(或删了),编译器不会报错,但语义上仍是虚的——只是可读性差

智能指针(如 std::unique_ptr<base>)能绕过虚析构问题吗?

不能。std::unique_ptr<base> 默认用 delete 销毁对象,它依然依赖 Base 的析构函数是否为虚。如果 Base::~Base() 非虚,照样只调父类析构。

唯一例外是给 unique_ptr 显式传入自定义删除器(deleter),比如 lambda,这时销毁逻辑由你完全控制。但这等于放弃多态语义,退化成手动管理。

  • std::shared_ptr<base> 是安全的:它在构造时捕获了原始指针的真实类型,销毁时能正确调用 Derived::~Derived(),无论析构是否虚
  • 但别因此偷懒——shared_ptr 的类型擦除有额外开销,且掩盖了设计缺陷
  • 统一规则最省心:基类可被多态删除 → 析构必须 virtual,不管用什么智能指针

最容易被忽略的点:析构函数的虚性不是看“有没有子类”,而是看“有没有可能通过基类指针销毁子类对象”。只要代码里出现过 Base* p = new Derived; 或类似多态创建+销毁模式,虚析构就是强制契约,不是可选项。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
java多态详细介绍
java多态详细介绍

本专题整合了java多态相关内容,阅读专题下面的文章了解更多详细内容。

27

2025.11.27

java多态详细介绍
java多态详细介绍

本专题整合了java多态相关内容,阅读专题下面的文章了解更多详细内容。

27

2025.11.27

java多态详细介绍
java多态详细介绍

本专题整合了java多态相关内容,阅读专题下面的文章了解更多详细内容。

27

2025.11.27

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

215

2023.09.15

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

192

2025.11.08

Python lambda详解
Python lambda详解

本专题整合了Python lambda函数相关教程,阅读下面的文章了解更多详细内容。

61

2026.01.05

数据库Delete用法
数据库Delete用法

数据库Delete用法:1、删除单条记录;2、删除多条记录;3、删除所有记录;4、删除特定条件的记录。更多关于数据库Delete的内容,大家可以访问下面的文章。

287

2023.11.13

drop和delete的区别
drop和delete的区别

drop和delete的区别:1、功能与用途;2、操作对象;3、可逆性;4、空间释放;5、执行速度与效率;6、与其他命令的交互;7、影响的持久性;8、语法和执行;9、触发器与约束;10、事务处理。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

222

2023.12.29

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 11.3万人学习

C 教程
C 教程

共75课时 | 5.4万人学习

C++教程
C++教程

共115课时 | 21.7万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号