C++虚函数机制深度解析：从原理到实战

1. 核心概念与多态实现

• 多态的定义：多态是指“以一个接口，多种实现”的能力。在 C++ 中，通过在基类中使用virtual关键字声明函数，可以实现动态绑定（Dynamic Binding），即在运行时根据对象的实际类型调用对应的函数。

• 静态绑定 vs 动态绑定：

  • 静态绑定：在编译期确定调用哪个函数（如函数重载、模板）。

  • 动态绑定：在运行期根据对象的虚表指针（vptr）寻找实际调用的函数地址。

2. 底层实现机制：虚表与虚指针

• 虚函数表 (vtable)：

  • 编译器为每个包含虚函数的类创建一个虚表。

  • 虚表是一个存储该类所有虚函数地址的连续内存空间（类似函数指针数组）。

  • 派生类如果重写了基类的虚函数，虚表中对应的地址会被替换为派生类函数的地址。

• 虚表指针 (vptr)：

  • 每个包含虚函数的对象（实例）在内存布局的最前端会多出一个指针，即虚表指针（vptr）。

  • vptr 指向该对象所属类的虚表。

  • 空间代价：在 64 位系统上，每个对象会因为 vptr 多占 8 字节。

3. 内存布局图示

假设基类Base有虚函数vfunc1，派生类Derive重写了它：

4. 关键考点与细节

• 构造函数不能是虚函数：

  • 虚表的创建和 vptr 的初始化是在构造函数执行期间完成的。如果构造函数是虚的，此时 vptr 尚未就绪，无法通过虚表调用自身。

• 析构函数建议设为虚函数：

  • 重要性：当你通过基类指针删除派生类对象时（如Base* p = new Derive(); delete p;），如果析构函数不是虚的，只会调用基类的析构函数，导致派生类特有的资源无法释放，引发内存泄漏。

• 虚函数表存储位置：

  • 虚表（vtable）通常存储在可执行文件的只读数据段（.rodata）。

  • 虚表指针（vptr）随对象存储在堆或栈上。

• 纯虚函数与抽象类：

  • 声明形式：virtual void func() = 0;。

  • 包含纯虚函数的类称为抽象类，不能实例化。

5. 性能影响

• 调用开销：虚函数调用比普通函数多了一次指针间接寻址的开销（vptr $\rightarrow$ vtable $\rightarrow$ func_addr）。

• 内联失效：由于虚函数是在运行期决定的，编译器通常无法在编译期对其进行inline内联优化（除非编译器能明确推断出对象类型）。

• 缓存影响：频繁的虚函数调用可能导致 CPU 指令缓存命中率降低