0

0

C++中的虚函数(virtual)是如何实现的?(虚函数表和虚表指针)

冰火之心

冰火之心

发布时间:2026-01-09 16:24:45

|

577人浏览过

|

来源于php中文网

原创

虚函数调用需查表因编译期无法确定具体调用版本,故运行时通过vptr和vtable实现多态;每个含虚函数的类有静态vtable,对象头含隐式vptr指向对应vtable,vptr不参与sizeof且不可修改。

c++中的虚函数(virtual)是如何实现的?(虚函数表和虚表指针)

虚函数调用为什么需要查表?

因为编译期无法确定 ptr->func() 到底该调用哪个版本的函数——ptr 可能指向 BaseDerived1Derived2 对象。C++ 选择在运行时通过间接跳转实现多态,而不是生成所有可能的分支(那会爆炸式膨胀代码)。这个“间接跳转”的载体就是虚函数表(vtable)和每个对象头里的虚表指针(vptr)。

vptr 和 vtable 在内存里长什么样?

每个含虚函数的类(包括派生类)在编译期生成一张静态的 vtable,里面按声明顺序存放函数指针;每个该类的对象在内存布局最前面隐式插入一个 vptr,初始化时指向其所属类的 vtable。注意:vptr 不是成员变量,不参与 sizeof 计算(但影响对象实际大小),也不可被取地址或修改。

struct Base {
    virtual void f() { }
    virtual void g() { }
};
struct Derived : Base {
    void f() override { }  // 覆盖 Base::f
    void h() { }           // 新增非虚函数
};
// 编译后:
// Base::vtable = { &Base::f, &Base::g }
// Derived::vtable = { &Derived::f, &Base::g }  ← g 未重写,复用基类地址
// new Base → 内存:[vptr→Base::vtable] + 成员数据
// new Derived → 内存:[vptr→Derived::vtable] + Base 成员 + Derived 成员

多重继承下 vptr 怎么处理?

一个类若从多个含虚函数的基类继承,它会为每个这样的基类子对象维护独立的 vptr。例如 class D : public A, public B(A/B 都有虚函数),则 D 对象内存中会有两个 vptr:一个紧贴 A 子对象起始处,指向 A 的 vtable;另一个在 B 子对象起始处,指向 B 的 vtable。强制转型(如 static_cast<B*>(d_ptr))本质就是调整指针值,使其对齐到 B 子对象的起始地址(即第二个 vptr 所在位置)。

  • 单继承:通常只有一个 vptr,位于对象开头
  • 多重继承:可能有多个 vptr,位置取决于基类声明顺序和 ABI(如 Itanium C++ ABI)
  • 虚继承:还会引入额外的偏移量字段,用于运行时修正 this 指针,vtable 条目也可能带 offset 数据

哪些操作会破坏 vptr 的有效性?

vptr 是构造/析构过程中由编译器自动管理的,手动干预极易出错:

一点PPT
一点PPT

一句话生成专业PPT,AI自动排版配图

下载

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

  • memcpy 复制含虚函数的对象 → 只复制了 vptr 值,但新对象的生命周期未触发构造函数,vptr 可能指向已销毁的 vtable 或不匹配的类
  • 把派生类对象赋给基类数组(切片)→ 基类数组元素只有基类大小,vptr 被截断或覆盖,后续虚调用 UB
  • 在构造函数里调用虚函数 → 此时 vptr 指向当前正在构造的类的 vtable,不会动态绑定到最终派生类(即使对象是派生类实例)

虚函数机制本身很轻量,但依赖严格的对象生命周期和内存布局。一旦绕过构造/析构流程,vptr 就成了悬空指针。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

WorkBuddy
WorkBuddy

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

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

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

27

2025.11.27

class在c语言中的意思
class在c语言中的意思

在C语言中,"class" 是一个关键字,用于定义一个类。想了解更多class的相关内容,可以阅读本专题下面的文章。

891

2024.01.03

python中class的含义
python中class的含义

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

32

2025.12.06

空指针异常处理
空指针异常处理

本专题整合了空指针异常解决方法,阅读专题下面的文章了解更多详细内容。

23

2025.11.16

go语言 数组和切片
go语言 数组和切片

本专题整合了go语言数组和切片的区别与含义,阅读专题下面的文章了解更多详细内容。

56

2025.09.03

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

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

25

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

44

2026.03.12

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

174

2026.03.11

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

50

2026.03.10

热门下载

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

精品课程

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

共94课时 | 11.2万人学习

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号