虚函数表（vtable）是C++运行时多态的核心机制，编译器为含虚函数的类生成函数指针表，对象通过vptr访问；构造时vptr动态更新，虚函数调用经vptr→vtable→函数地址三级跳转；静态/内联/友元/构造函数不入vtable，虚析构函数必须存在，模板函数不可为虚。
虚函数表（vtable）是C++实现运行时多态的核心机制。当一个类声明了虚函数，编译器会为该类生成一张函数指针表，每个对象在内存布局的最前面隐式存放一个指向该表的指针（vptr）。调用虚函数时，程序通过对象的vptr找到对应vtable，再根据函数在表中的偏移量跳转到实际地址——这使得基类指针或引用能调用派生类重写的函数。
vtable的生成与结构
编译器在编译期为每个含虚函数的类单独生成一张vtable，表中按虚函数声明顺序依次存放函数指针：
- 纯虚函数在vtable中存为nullptr（或特定占位值），调用会触发运行时错误
- 派生类vtable先复制基类虚函数指针，再用自己重写的版本覆盖对应位置
- 若派生类新增虚函数，则追加到表尾；多重继承时可能有多个vptr，对应不同基类子对象
vptr的初始化时机
每个对象构造时，其vptr被自动设置为所属类的vtable地址：
- 构造函数执行前，编译器插入隐式代码将vptr指向当前正在构造的类的vtable
- 基类构造阶段，vptr指向基类vtable；进入派生类构造函数后，vptr更新为派生类vtable
- 因此在构造函数中调用虚函数，实际执行的是当前构造阶段对应类的版本（不会动态绑定到最终派生类）
虚函数调用的底层过程
形如 ptr->func() 的调用，在汇编层面展开为三步：
立即学习“C++免费学习笔记（深入）”；
- 从ptr所指对象首地址读取vptr值
- 根据func在vtable中的索引（如第0项、第1项）计算目标函数指针地址：vtable[i]
- 间接跳转调用该地址处的函数
常见误区与限制
vtable机制带来灵活性，但也存在明确边界：
- 静态成员函数、内联函数、友元函数不参与vtable，因为它们不依赖对象实例
- 构造函数和析构函数虽可声明为虚，但构造函数本身不会放入vtable（无意义），而虚析构函数必须存在，确保delete基类指针时能正确调用派生类析构逻辑
- 模板函数不自动生成vtable条目，除非显式实例化并声明为虚（C++标准禁止模板成员函数为虚）
