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）。