1. 引言
在 C++ 的面向对象编程中，多态（Polymorphism）是三大核心特性之一，而虚函数表（Virtual Table，简称 vtable）正是 C++ 实现动态多态的底层机制。很多初学者在使用virtual关键字时，只知道「加了 virtual 就能实现多态」，却不清楚编译器究竟在背后做了什么。
本文将带你深入 C++ 虚函数表的内部实现，从内存布局、对象模型到多重继承下的复杂情况，一步步揭开 vtable 的神秘面纱。
2. 什么是虚函数表
虚函数表是编译器为每个包含虚函数的类生成的一张函数指针数组，表中按声明顺序存放该类所有虚函数的地址。每个含有虚函数的对象，其内存开头会多出一个虚函数表指针（vptr），指向所属类的虚函数表。
当通过基类指针或引用调用虚函数时，程序会先取出对象的 vptr，再根据虚函数在表中的偏移量找到实际要调用的函数地址，从而实现「运行时绑定」。
classBase{public:virtualvoidfunc1(){std::cout<<"Base::func1"<<std::endl;}virtualvoidfunc2(){std::cout<<"Base::func2"<<std::endl;}voidnonVirtual(){}// 非虚函数，不进虚函数表};上述Base类的虚函数表大致如下：
| 偏移 | 内容 |
|---|---|
| 0 | &Base::func1() |
| 1 | &Base::func2() |
3. 对象内存布局
一个含有虚函数的对象，其内存布局通常为：
+------------------+ | vptr（8 字节） | --> 指向虚函数表 +------------------+ | 成员变量 | +------------------+vptr 由编译器在构造函数中自动初始化，指向当前类的虚函数表。因此，对象的大小会比「仅成员变量」多出一个指针的大小（64 位平台下为 8 字节）。
classBase{public:virtualvoidfunc(){}intx;// 4 字节};// sizeof(Base) 在 64 位平台通常为 16（vptr 8 字节 + 对齐后的 x 8 字节）4. 虚函数调用过程
通过基类指针调用虚函数时，编译器生成的代码大致等价于：
Base*p=newDerived();p->func();// 编译后等价于：// (*(p->vptr[0]))(p);即：先取对象的 vptr，再按虚函数在表中的下标取出函数指针并调用。这个过程称为动态绑定，也是多态得以实现的根本原因。
5. 继承与虚函数表
5.1 单继承
当派生类继承基类并重写虚函数时，派生类的虚函数表中，对应槽位会被替换为派生类自己的函数地址；未重写的虚函数则沿用基类的地址。
classDerived:publicBase{public:voidfunc1()override{std::cout<<"Derived::func1"<<std::endl;}// func2 未重写，沿用 Base::func2};Derived的虚函数表：
| 偏移 | 内容 |
|---|---|
| 0 | &Derived::func1() |
| 1 | &Base::func2() |
5.2 派生类新增虚函数
如果派生类新增了虚函数，这些新函数会追加到虚函数表的末尾：
classDerived:publicBase{public:voidfunc1()override{}virtualvoidfunc3(){}// 新增虚函数};Derived的虚函数表：
| 偏移 | 内容 |
|---|---|
| 0 | &Derived::func1() |
| 1 | &Base::func2() |
| 2 | &Derived::func3() |
6. 多重继承下的虚函数表
多重继承是虚函数表最复杂的场景。派生类继承多个基类时，会拥有多个 vptr，分别指向各基类子对象的虚函数表。
classBase1{public:virtualvoidf1(){}};classBase2{public:virtualvoidf2(){}};classDerived:publicBase1,publicBase2{public:voidf1()override{}voidf2()override{}};Derived对象的内存布局：
+------------------+ | vptr1（指向 Base1 的虚函数表） | +------------------+ | Base1 成员 | +------------------+ | vptr2（指向 Base2 的虚函数表） | +------------------+ | Base2 成员 | +------------------+ | Derived 成员 | +------------------+当通过Base2*调用f2()时，编译器会先对指针做偏移调整，使其指向Derived对象中的Base2子对象，再通过 vptr2 找到函数地址。
7. 虚继承与虚基类表
虚继承（virtual继承）用于解决菱形继承中的二义性问题。虚继承的类会额外维护一个虚基类表指针（vbptr），指向虚基类表（vbtable），表中记录了虚基类子对象相对于当前对象的偏移量。
classA{public:virtualvoidfa(){}};classB:virtualpublicA{};classC:virtualpublicA{};classD:publicB,publicC{};在D的对象中，A的子对象只有一份，B和C通过各自的 vbptr 找到共享的A子对象。这使得虚继承的对象布局更加复杂，也带来一定的运行时开销。
8. 虚函数表的常见问题
8.1 构造函数中调用虚函数
在构造函数中调用虚函数，不会触发动态绑定，而是调用当前类自身的版本。因为构造时 vptr 指向的是当前正在构造的类的虚函数表，子类尚未构造完成。
classBase{public:Base(){func();}// 调用 Base::func，而非 Derived::funcvirtualvoidfunc(){std::cout<<"Base::func"<<std::endl;}};8.2 析构函数应声明为虚函数
当通过基类指针删除派生类对象时，若析构函数非虚，则只会调用基类的析构函数，导致派生类资源泄漏。因此，基类的析构函数应声明为 virtual。
8.3 虚函数表的性能开销
虚函数调用比普通函数调用多一次间接寻址（通过 vptr 查表），在性能敏感场景（如高频循环）中可能成为瓶颈。但现代 CPU 的分支预测和缓存机制通常能有效缓解这一开销。
9. 总结
- 虚函数表是编译器为含虚函数的类生成的函数指针数组，对象通过 vptr 指向它。
- 单继承下，派生类重写虚函数会替换表中对应槽位，新增虚函数追加到表尾。
- 多重继承下，对象拥有多个 vptr，分别对应各基类子对象。
- 虚继承额外引入 vbptr，用于定位共享的虚基类子对象。
- 构造函数中调用虚函数不会动态绑定；基类析构函数应声明为虚函数。
理解虚函数表，是深入理解 C++ 对象模型、多态机制乃至性能优化的关键一步。希望本文能帮你彻底搞懂 vtable 的来龙去脉。