虚函数表(vtable)是编译器为含虚函数的类生成的静态只读函数指针数组,按声明顺序存储虚函数地址;对象通过首部vptr指向对应vtable,实现运行时动态绑定。

虚函数表(vtable)是C++实现运行时多态的核心机制,它是一张由编译器自动生成的函数指针数组,每个含虚函数的类都有且仅有一张vtable;对象内部隐含一个指向该表的指针(vptr),通过它在运行时决定调用哪个版本的虚函数。
vtable本质是一个静态的、只读的函数指针数组,按虚函数声明顺序排列。编译器在编译期为每个含虚函数的类生成一张vtable,内容包括:
注意:普通成员函数、static函数、构造函数、析构函数(除非是虚析构)不进vtable;内联虚函数仍会出现在vtable中,只是调用时可能被优化。
每个含虚函数的类的对象,在内存最前面(x86/x64下通常是前8字节)隐式存储一个vptr,指向其所属类的vtable。例如:
立即学习“C++免费学习笔记(深入)”;
class Base { virtual void f() {} };
class Derived : public Base { void f() override {} };那么:
– Base b; 的 vptr 指向 Base 的 vtable,其中 f() 地址是 Base::f
– Derived d; 的 vptr 指向 Derived 的 vtable,其中 f() 地址是 Derived::f
– Base* p = new Derived; 中 p 实际指向 d,p->f() 会通过 d 的 vptr 找到 Derived::f —— 这就是动态绑定的关键。
当你写下 ptr->func()(func 是虚函数),实际执行流程是:
这解释了为什么 Base* p = new Derived 能调用 Derived::func:真正起作用的是对象本身的 vptr,不是指针类型。
• 构造函数里调用虚函数不会多态:因为此时 vptr 正在被逐层初始化(先设为 Base vtable,再改为 Derived vtable),尚未完全就绪。
• 虚析构函数必须存在:否则 delete Base* 可能只调 Base 析构,漏掉 Derived 部分 —— vtable 确保了析构链正确触发。
• 空类或只有非虚函数的类没有 vptr,sizeof 可能为 1;一旦加 virtual,即使无数据成员,sizeof 至少为指针大小(如8字节)。
• 多重继承下 vptr 可能不止一个(不同基类子对象各带自己的 vptr),vtable 结构更复杂,但原理不变。
基本上就这些。vtable 不神秘,它是编译器悄悄铺好的一张路由表,让“同一个调用”在不同对象上走向不同的实现 —— 多态的本质,就是运行时查表跳转。
以上就是C++中的vtable(虚函数表)是什么?C++多态实现原理解析【底层探秘】的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号