我要评论1. 引言
在 c++ 的面向对象编程中，多态（polymorphism）是三大核心特性之一，而虚函数表（virtual table，简称 vtable）正是 c++ 实现动态多态的底层机制。很多初学者在使用 virtual 关键字时，只知道「加了 virtual 就能实现多态」，却不清楚编译器究竟在背后做了什么。
本文将带你深入 c++ 虚函数表的内部实现，从内存布局、对象模型到多重继承下的复杂情况，一步步揭开 vtable 的神秘面纱。
2. 什么是虚函数表
虚函数表是编译器为每个包含虚函数的类生成的一张函数指针数组，表中按声明顺序存放该类所有虚函数的地址。每个含有虚函数的对象，其内存开头会多出一个虚函数表指针（vptr），指向所属类的虚函数表。
当通过基类指针或引用调用虚函数时，程序会先取出对象的 vptr，再根据虚函数在表中的偏移量找到实际要调用的函数地址，从而实现「运行时绑定」。
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. 对象内存布局
一个含有虚函数的对象，其内存布局通常为：
+------------------+ | vptr（8 字节） | --> 指向虚函数表 +------------------+ | 成员变量 | +------------------+
vptr 由编译器在构造函数中自动初始化，指向当前类的虚函数表。因此，对象的大小会比「仅成员变量」多出一个指针的大小（64 位平台下为 8 字节）。
class base {
public:
virtual void func() {}
int x; // 4 字节
};
// sizeof(base) 在 64 位平台通常为 16（vptr 8 字节 + 对齐后的 x 8 字节）4. 虚函数调用过程
通过基类指针调用虚函数时，编译器生成的代码大致等价于：
base* p = new derived(); p->func(); // 编译后等价于： // (*(p->vptr[0]))(p);
即：先取对象的 vptr，再按虚函数在表中的下标取出函数指针并调用。这个过程称为动态绑定，也是多态得以实现的根本原因。
5. 继承与虚函数表
5.1 单继承
当派生类继承基类并重写虚函数时，派生类的虚函数表中，对应槽位会被替换为派生类自己的函数地址；未重写的虚函数则沿用基类的地址。
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 派生类新增虚函数
如果派生类新增了虚函数，这些新函数会追加到虚函数表的末尾：
class derived : public base {
public:
void func1() override {}
virtual void func3() {} // 新增虚函数
};
derived 的虚函数表：
| 偏移 | 内容 |
|---|---|
| 0 | &derived::func1() |
| 1 | &base::func2() |
| 2 | &derived::func3() |
6. 多重继承下的虚函数表
多重继承是虚函数表最复杂的场景。派生类继承多个基类时，会拥有多个 vptr，分别指向各基类子对象的虚函数表。
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 对象的内存布局：
+------------------+ | vptr1（指向 base1 的虚函数表） | +------------------+ | base1 成员 | +------------------+ | vptr2（指向 base2 的虚函数表） | +------------------+ | base2 成员 | +------------------+ | derived 成员 | +------------------+
当通过 base2* 调用 f2() 时，编译器会先对指针做偏移调整，使其指向 derived 对象中的 base2 子对象，再通过 vptr2 找到函数地址。
7. 虚继承与虚基类表
虚继承（virtual 继承）用于解决菱形继承中的二义性问题。虚继承的类会额外维护一个虚基类表指针（vbptr），指向虚基类表（vbtable），表中记录了虚基类子对象相对于当前对象的偏移量。
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 指向的是当前正在构造的类的虚函数表，子类尚未构造完成。
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 的来龙去脉。
到此这篇关于c++ 虚函数表（vtable）深度解析的文章就介绍到这了,更多相关c++ 虚函数表vtable内容请搜索代码网以前的文章或继续浏览下面的相关文章希望大家以后多多支持代码网！
发表评论