虚函数表(vtable)是C++实现运行时多态的核心机制。1. 当类包含虚函数时,编译器生成vtable并为对象添加vptr指向该表;2. vtable是函数指针数组,存储虚函数实际地址;3. 单继承下派生类复用基类布局并覆盖相应项;4. 多重继承可能引入多个vptr和thunk代码调整this指针;5. 通过基类指针调用时经vptr查表跳转,实现动态绑定;6. 直接调用不走vtable,性能更高;7. vtable由编译器自动管理,理解其机制有助于优化和调试多态代码。

虚函数表(vtable)是C++实现运行时多态的核心机制。当一个类包含虚函数时,编译器会为该类生成一个隐藏的虚函数表,并在每个对象中插入一个指向该表的指针(称为vptr),从而支持通过基类指针调用派生类的函数。
虚函数表的基本结构
每个定义了虚函数或继承自含有虚函数的类,都会有一个对应的虚函数表。这个表本质上是一个函数指针数组,存储着该类所有虚函数的实际地址。
例如:
class Base {
virtual void func1() {}
virtual void func2() {}
};
class Derived : public Base {
void func1() override {}
};
编译器会为 Base 和 Derived 分别生成 vtable:
立即学习“C++免费学习笔记(深入)”;
Base 的 vtable 包含两个条目:&Base::func1 和 &Base::func2 Derived 的 vtable 中,func1 指向 Derived::func1,func2 仍指向 Base::func2
每个 Base 或 Derived 对象在内存中都包含一个隐藏的 vptr,初始化时指向自己类的 vtable。
动态调用是如何发生的
当你使用基类指针调用虚函数时,实际执行过程如下:
通过对象的 vptr 找到其所属类的 vtable 根据函数在表中的偏移(如 func1 是第0项,func2 是第1项)查出函数地址 跳转到该地址执行具体函数
这意味着即使指针类型是 Base*,只要它指向的是 Derived 对象,调用 func1 就会执行 Derived::func1 —— 这就是多态的实现原理。
vtable 在继承和多重继承中的处理
单继承下比较简单,派生类复用基类的虚函数布局,并替换被重写的项。
多重继承时情况更复杂。如果一个类从多个带虚函数的基类继承,它可能拥有多个 vptr,分别指向不同基类部分的 vtable。某些情况下,编译器还会插入“thunk”代码块来调整 this 指针,确保被调用函数接收到正确的对象起始地址。
性能与限制
vtable 带来了一次间接寻址开销:先通过 vptr 找表,再查函数地址,最后调用。相比普通函数调用稍慢,但现代CPU的预测机制能缓解大部分影响。
注意:只有通过指针或引用调用虚函数才会触发动态绑定。直接调用对象方法(如 obj.func())通常在编译期就确定目标函数,不走 vtable。
基本上就这些。vtable 是编译器自动生成和管理的,程序员无需手动干预,但理解它有助于写出更高效的面向对象代码,也能更好排查多态相关的问题。
以上就是c++++中的虚函数表(vtable)是如何工作的_c++运行时多态的底层机制的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1487172.html
微信扫一扫
支付宝扫一扫