虚函数表（vtable）是C++实现多态的核心机制，编译器为含虚函数的类生成vtable，对象通过vptr指向对应类的vtable，运行时通过vptr查找函数地址实现动态绑定，构造派生类时vptr先指基类再更新为派生类，因此构造函数中调用虚函数不产生多态，且虚函数存在性能与空间开销，静态函数和构造函数不能为虚，析构函数通常应声明为虚。
在C++中，虚函数表（vtable）是实现多态和动态绑定的核心机制。当一个类包含虚函数时，编译器会为该类生成一个虚函数表，并在每个对象中隐式添加一个指向该表的指针（称为vptr）。通过这个机制，程序可以在运行时根据对象的实际类型调用正确的函数版本。
虚函数表的结构
每个定义了虚函数或继承自虚函数基类的类，都会有一个对应的虚函数表。这个表本质上是一个函数指针数组，存储了该类所有虚函数的地址。
例如：
class Base {public:
virtual void func1() { cout << "Base::func1" << endl; }
virtual void func2() { cout << "Base::func2" << endl; }
};
class Derived : public Base {
public:
void func1() override { cout << "Derived::func1" << endl; }
};
编译器会为
Base和
Derived分别生成虚函数表：
立即学习“C++免费学习笔记（深入）”；
Base
的vtable包含func1
和func2
指向Base
中对应函数的地址Derived
的vtable中，func1
被替换为Derived::func1
的地址，func2
仍指向Base::func2
对象中的虚指针（vptr）
每个含有虚函数的对象在内存布局中会多出一个隐式的
vptr，它在构造时自动指向所属类的vtable。
构造顺序确保vptr正确设置：
- 创建派生类对象时，先调用基类构造函数，此时vptr指向基类vtable
- 基类构造完成后，再调用派生类构造函数，vptr被更新为指向派生类的vtable
这意味着：在构造函数中调用虚函数，不会发生预期的“多态”，而是调用当前构造阶段对应类的版本。
动态绑定的执行过程
当通过基类指针或引用调用虚函数时，实际执行步骤如下：
- 从对象中取出
vptr
- 通过
vptr
找到对应的vtable - 根据函数在表中的偏移位置（编译时确定），查出函数指针
- 调用该指针指向的实际函数
这个过程在运行时完成，因此实现了“按对象真实类型调用函数”的动态绑定。
注意事项与限制
- 虚函数调用比普通函数慢，因为需要查表操作
- 每个类一个vtable，每个对象一个vptr（通常8字节），存在空间开销
- 静态函数、构造函数不能是虚函数，析构函数通常应为虚函数
- 内联（inline）对虚函数无效，因为必须通过指针调用
基本上就这些。vtable机制是C++多态的基石，理解它有助于写出更高效、更安全的面向对象代码。虽然细节由编译器管理，但了解底层原理能帮助你避免常见陷阱，比如在构造/析构中调用虚函数的行为。
