17370845950

虚函数调用需满足三条件：函数声明为virtual、通过基类指针或引用调用、对象为多态类型；运行时通过vptr查vtable实现动态分发，构造/析构中调用虚函数不触发多态。

虚函数调用的核心在于运行时通过对象的虚表（vtable）找到实际函数地址，而不是编译期绑定。关键前提是：必须通过指针或引用，且调用的是类中声明为 virtual 的成员函数。

虚函数调用成立的三个必要条件

缺一不可：

• 被调用函数在基类中用 virtual 声明（派生类重写时可省略 virtual，但建议保留）
• 调用发生于基类指针或基类引用所指向/绑定的实际对象上
• 该对象是多态对象——即其动态类型（运行时类型）与静态类型（声明类型）不同，且该类型有对应的虚表

虚表（vtable）的基本结构

每个含虚函数的类在编译期生成一张虚表，本质是函数指针数组。它存储该类所有虚函数的最终地址（非内联、非纯虚的函数地址；纯虚函数填 nullptr 或指向诊断函数）。

对象实例头部（通常最前面）隐式存放一个虚表指针（vptr），指向所属类的虚表。构造函数会按继承顺序设置 vptr：先调基类构造，vptr 指向基类虚表；再调派生类构造，vptr 被更新为派生类虚表。

动态分发（Dynamic Dispatch）如何工作

当执行 ptr->func()（ptr 是基类指针）时：

• 从 ptr 解引用得到对象首地址，读取其 vptr
• 根据 func 在虚表中的偏移量（编译期确定），查虚表对应槽位
• 跳转到该槽位存储的函数地址执行

这个过程完全在运行时完成，与指针静态类型无关，只取决于对象真实类型所决定的虚表内容。

常见易错点提醒

• 直接用对象调用（非指针/引用）：不走虚表，是静态绑定，哪怕函数是 virtual
• 构造/析构函数中调用虚函数：此时 vptr 正处于中间状态（如派生类构造中，基类部分已构造但派生部分未完成），调用的是当前正在构造/析构类型的虚函数版本，不是最终派生类的重写版
• 虚表本身不继承，但派生类虚表会复制基类虚函数条目，并用自己实现覆盖同名函数项；新增虚函数追加在末尾
• 多重继承下，对象可能含多个 vptr（每个虚基类路径一个），调用时需根据指针类型选择对应 vptr

基本上就这些。虚机制不复杂，但细节容易忽略，理解 vptr 和 vtable 的存在时机与布局，是掌握 C++ 多态底层的关键。