C++中的虚函数表（vtable）是如何工作的？（底层原理）

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

标签： c++ 排列