虚函数表（vtable）是C++多态的核心机制，每个含虚函数的类在编译时生成vtable，存储其虚函数地址；对象内部包含指向vtable的指针（vptr），由构造函数初始化。派生类重写虚函数时，其vtable中对应项更新为新函数地址。对象调用虚函数时，通过vptr查找vtable，按偏移定位函数指针并执行，实现运行时动态绑定。vptr通常位于对象内存起始处，带来至少一个指针的空间开销。多重继承下可能有多个vptr，需指针调整保证正确性。vptr在构造和析构期间被设置或修改，确保多态行为正确。静态函数和构造函数不能为虚，因不依赖对象状态；虚函数难以内联，且有多余空间与时间成本。跨共享库使用虚函数需注意ABI兼容。理解vtable有助于优化面向对象设计。
当使用C++的继承和虚函数实现多态时，背后的核心机制是虚函数表（vtable）。它让程序在运行时根据对象的实际类型调用正确的函数版本。理解vtable的工作方式，有助于掌握动态多态的底层实现。
虚函数表的基本结构
每个包含虚函数的类在编译时都会生成一个虚函数表，本质上是一个函数指针数组。这个表存储了该类所有虚函数的地址。每个该类的对象内部会隐式包含一个指向其类vtable的指针（通常称为vptr）。
vptr一般在构造函数中由编译器自动初始化，指向对应类的vtable。如果派生类重写了基类的虚函数，那么派生类的vtable中该函数项就会被替换为派生类版本的地址。
例如：- 基类A有虚函数func()，其vtable中func()项指向A::func
- 派生类B重写func()，B的vtable中func()项指向B::func
- B的对象调用func()时，通过vptr找到B的vtable，进而调用B::func
对象内存布局与vptr的位置
在典型的实现中，vptr位于对象内存的起始位置。这意味着一个带有虚函数的类的实例大小至少包括一个指针的开销（如64位系统上为8字节）。
立即学习“C++免费学习笔记（深入）”；
多重继承时，情况更复杂：一个对象可能包含多个vptr，分别对应不同基类子对象。此时编译器会进行指针调整，确保通过不同基类指针访问同一对象时，vptr仍能正确指向对应的vtable。
- vptr由构造函数设置，析构函数中可能被修改
- 多态调用依赖于对象当前有效的vtable
- 虚继承也会影响vtable结构，可能引入额外的间接层
动态调用的过程
当通过基类指针或引用调用虚函数时，实际执行过程如下：
- 从对象中取出vptr
- 通过vptr找到vtable
- 根据函数在vtable中的偏移量定位具体函数指针
- 跳转到该地址执行
这个过程发生在运行时，因此称为动态绑定。虽然比直接调用稍慢，但现代CPU的预测机制可以缓解部分性能损失。
虚函数表的限制与注意事项
vtable机制虽强大，但也有局限性：
- 静态函数、构造函数不能是虚函数，因为它们不依赖对象状态
- 内联对虚函数效果有限，因为多态调用无法在编译期确定目标
- 虚函数带来空间（vtable存储）和时间（查表开销）成本
- 跨共享库边界的虚函数需注意ABI兼容性
基本上就这些。vtable是C++实现动态多态的关键，它把类型信息和函数调度延迟到运行时，赋予程序灵活的行为。虽然开发者通常无需直接操作vtable，但了解其原理有助于写出更高效、更安全的面向对象代码。
