c++的虚函数表(vtable)是什么 多态的底层实现原理【深入探索】

21次阅读

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

c++的虚函数表(vtable)是什么 多态的底层实现原理【深入探索】

虚函数表(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++免费学习笔记(深入)”;

c++的虚函数表(vtable)是什么 多态的底层实现原理【深入探索】

阿里妈妈·创意中心

阿里妈妈营销创意中心

c++的虚函数表(vtable)是什么 多态的底层实现原理【深入探索】 45

查看详情 c++的虚函数表(vtable)是什么 多态的底层实现原理【深入探索】

哪些函数不会进入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)

不复杂但容易忽略。

text=ZqhQzanResources