C++中的虚函数表(vtable)是如何工作的?(底层原理)

虚函数表(vtable)是C++运行时多态的核心机制,编译器为每个含虚函数的类生成一张静态函数指针表,对象头包含指向该表的vptr,调用虚函数时通过vptr查表跳转实现动态绑定。

c++中的虚函数表(vtable)是如何工作的?(底层原理)

虚函数表(vtable)是C++实现运行时多态的核心机制,它让基类指针或引用能调用派生类重写的虚函数——关键不在于语法糖,而在于编译器悄悄生成的一张函数指针表和对象头里藏着的一个指针(vptr)。

每个含虚函数的类都有一张vtable

编译器为每个定义了虚函数(或继承了虚函数)的类单独生成一张静态的函数指针数组。这张表按虚函数在类中声明的顺序排列,每个槽位存的是该类版本的虚函数地址。例如:

class Base { virtual void f() { } virtual void g() { } }; → vtable[0] 指向 Base::f,vtable[1] 指向 Base::gclass Derived : public Base { void f() override { } }; → 它的vtable[0] 指向 Derived::f,vtable[1] 仍指向 Base::g(未重写)

每个对象实例头部隐式携带一个vptr

只要类有虚函数,编译器就在该类的对象内存布局最前面插入一个指针(vptr),指向其所属类的vtable。这个指针在构造函数中被初始化:

构造 Base 对象时,vptr 被设为指向 Base 的 vtable构造 Derived 对象时,先调用 Base 构造函数(vptr 暂指 Base vtable),再执行 Derived 构造函数体前,vptr 被更新为指向 Derived vtable

虚函数调用实际是“查表+间接跳转”

当你写 ptr->f()(ptr 是 Base* 类型),编译器生成的指令不是直接 call,而是:

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

从 ptr 所指对象的起始地址读出 vptr用虚函数在类虚函数列表中的索引(比如 f 是第 0 个)去访问 vptr 指向的 vtable[0]取出其中的函数地址,并 call 它

这整个过程在运行时完成,所以即使 ptr 实际指向 Derived 对象,也能调到 Derived::f —— 因为它的 vptr 指向的是 Derived 的 vtable。

注意几个关键细节

vtable 不是每个对象一份,而是每个类一份(静态数据);vptr 才是每个对象一份(实例数据)。多重继承、虚继承会引入多个 vptr 和更复杂的 vtable 布局(比如带偏移量的 thunk),但基本模型不变:查表 → 取地址 → 跳转。

基本上就这些。

以上就是C++中的虚函数表(vtable)是如何工作的?(底层原理)的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1488607.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2025年12月19日 11:41:53
下一篇 2025年12月19日 11:42:02

相关推荐

发表回复

登录后才能评论
关注微信