虚函数表(vtable)是C++运行时多态的核心,为编译器生成的静态函数指针数组,每个含虚函数的类对应一张表,对象仅通过vptr指向它;vtable存储虚函数地址(含重写与新增)、析构函数必居首项,不存构造函数、static函数等;其布局影响对象大小、构造析构行为及调试理解。

虚函数表(vtable)是C++实现运行时多态的核心机制,本质是一张由编译器自动生成的函数指针数组,每个含虚函数的类对应一张表,表中按声明顺序存放该类所有虚函数的实际地址。 它不存储在对象内部,而是以静态数据形式存在于程序的数据段;每个对象仅保存一个指向其所属类vtable的指针(称为vptr),通常位于对象内存布局的最开头。
虚函数表如何支撑多态调用
当通过基类指针或引用调用虚函数时,实际执行流程是:先读取对象头部的vptr → 查找对应vtable → 根据虚函数在类中声明的偏移位置索引到具体函数地址 → 跳转执行。这个过程在运行期完成,与函数名无关,只依赖对象实际类型所决定的vtable内容。
- 派生类若重写虚函数,其vtable中对应槽位会被替换成派生类版本的函数地址
- 若派生类新增虚函数,vtable会延长,新增条目追加在末尾
- 多重继承下,对象可能含多个vptr(每个基类子对象一个),vtable结构更复杂,部分表还需包含调整this指针的thunk代码
vtable在内存中的典型布局
以单继承为例:Base类有2个虚函数,Derived继承Base并重写第一个、新增一个虚函数。则:
- Base::vtable 包含 [&Base::func1, &Base::func2]
- Derived::vtable 包含 [&Derived::func1, &Base::func2, &Derived::func3] —— 第二项复用父类实现,第三项是新函数
- 创建 Derived 对象时,其内存首部 vptr 指向 Derived::vtable
注意:vtable本身是只读数据,编译期确定;vptr是对象构造时由编译器插入的隐式代码初始化(如在Derived构造函数开头写入 vptr = &Derived::vtable)。
立即学习“C++免费学习笔记(深入)”;
哪些函数不会进入vtable
vtable只收录被声明为virtual且可被动态绑定的成员函数:
- 普通非虚成员函数:直接静态绑定,不占vtable空间
- 构造函数:不能是虚函数,也不进vtable(但构造过程中会设置vptr)
- 析构函数:若声明为
virtual,则一定在vtable第一项(这是强制约定,确保delete基类指针时能正确调用派生类析构) - static成员函数、友元函数、内联函数(即使带virtual)都不进vtable——它们没有this指针,无法动态分发
理解vtable对调试和设计的实际意义
掌握vtable有助于解释一些常见现象:
- 对象大小变化:含虚函数的类比不含的同类多出一个指针大小(如x64下+8字节),正是vptr开销
- 构造/析构期间虚函数调用行为异常:基类构造时vptr指向Base::vtable,此时调用虚函数只会绑定到Base版本,即使派生类已重写
- 禁止拷贝虚基类对象:因vptr是内部实现细节,按位拷贝可能导致vptr指向错误vtable
- 接口类(纯虚类)的vtable仍存在,只是对应纯虚函数槽位填的是“纯虚调用”诊断函数(如__cxa_pure_virtual)
不复杂但容易忽略。











