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

虚函数表（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++免费学习笔记（深入）”；

阿里妈妈·创意中心

阿里妈妈营销创意中心

45

查看详情

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

不复杂但容易忽略。

以上就是c++++的虚函数表(vtable)是什么 多态的底层实现原理【深入探索】的详细内容，更多请关注php中文网其它相关文章！