虚函数表(vtable)是C++运行时多态的核心机制,编译器为每个含虚函数的类生成一张静态函数指针表,对象头包含指向该表的vptr,调用虚函数时通过vptr查表跳转实现动态绑定。

虚函数表(vtable)是C++实现运行时多态的核心机制,它让基类指针或引用能调用派生类重写的虚函数——关键不在于语法糖,而在于编译器悄悄生成的一张函数指针表和对象头里藏着的一个指针(vptr)。
每个含虚函数的类都有一张vtable
编译器为每个定义了虚函数(或继承了虚函数)的类单独生成一张静态的函数指针数组。这张表按虚函数在类中声明的顺序排列,每个槽位存的是该类版本的虚函数地址。例如:
- class Base { virtual void f() { } virtual void g() { } }; → vtable[0] 指向 Base::f,vtable[1] 指向 Base::g
- class Derived : public Base { void f() override { } }; → 它的vtable[0] 指向 Derived::f,vtable[1] 仍指向 Base::g(未重写)
每个对象实例头部隐式携带一个vptr
只要类有虚函数,编译器就在该类的对象内存布局最前面插入一个指针(vptr),指向其所属类的vtable。这个指针在构造函数中被初始化:
- 构造 Base 对象时,vptr 被设为指向 Base 的 vtable
- 构造 Derived 对象时,先调用 Base 构造函数(vptr 暂指 Base vtable),再执行 Derived 构造函数体前,vptr 被更新为指向 Derived vtable
虚函数调用实际是“查表+间接跳转”
当你写 ptr->f()(ptr 是 Base* 类型),编译器生成的指令不是直接 call,而是:
立即学习“C++免费学习笔记(深入)”;
- 从 ptr 所指对象的起始地址读出 vptr
- 用虚函数在类虚函数列表中的索引(比如 f 是第 0 个)去访问 vptr 指向的 vtable[0]
- 取出其中的函数地址,并 call 它
这整个过程在运行时完成,所以即使 ptr 实际指向 Derived 对象,也能调到 Derived::f —— 因为它的 vptr 指向的是 Derived 的 vtable。
注意几个关键细节
vtable 不是每个对象一份,而是每个类一份(静态数据);vptr 才是每个对象一份(实例数据)。多重继承、虚继承会引入多个 vptr 和更复杂的 vtable 布局(比如带偏移量的 thunk),但基本模型不变:查表 → 取地址 → 跳转。
基本上就这些。










