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