17370845950

只有通过基类指针或引用调用虚函数时才能触发运行时多态；直接用对象名调用永远静态绑定，且需同时满足：函数声明为virtual、通过指针/引用调用、实际指向派生类对象。

虚函数怎么触发多态行为

只有通过基类指针或引用调用虚函数时，才能触发运行时多态；直接用对象名调用（A a; a.func()）永远走静态绑定，哪怕func是虚函数。这是最常被忽略的前提。

必须满足三个条件：函数声明为virtual、通过指针/引用调用、实际指向派生类对象。缺一不可。

• 基类析构函数务必声明为virtual，否则delete pBase可能只调基类析构，导致派生类资源泄漏
• override关键字不是可选修饰——它强制编译器检查签名是否真能覆写，避免拼写错误（如foo(int) vs foo(double)）静默失败
• 构造函数里调虚函数不走多态：此时派生类成员尚未初始化，this的动态类型就是当前正在构造的类，只会调本层实现

虚函数表（vtable）长什么样

每个含虚函数的类在编译期生成一张静态数组，存的是该类所有虚函数的地址。对象内存布局头部（通常前8字节）隐式插入一个指针vptr，指向其所属类的vtable。

单继承下，派生类vtable会复制基类虚函数地址，再覆盖被重写的项；新增虚函数追加到末尾。多重继承时，对象内存中会出现多个vptr（每个父类子对象一个），访问不同基类虚函数时需调整this指针偏移量。

• 用sizeof测含虚函数的类，比无虚函数版本至少多8字节（64位系统下vptr大小）
• 虚函数表本身不存类名、函数名等元信息，调试器显示的“vtable for A”是符号表辅助结果，非运行时数据
• 纯虚函数在vtable中存的是__cxa_pure_virtual地址，调用时触发abort，不是空指针

为什么不能对虚函数取地址再调用

直接写&A::func得到的是函数指针，但这个指针不包含对象this和虚表查找逻辑，它只是静态绑定的普通函数地址。即使你把它转成void (A::*)()并用对象调用，也绕不过虚表机制——因为这种调用方式根本不会查vptr。

• 想模拟虚调用必须手动查表：先从对象取vptr，再按偏移读函数地址，最后用reinterpret_cast转函数指针并传this——但这是未定义行为，各编译器vtable布局不保证一致
• 标准库std::function和lambda捕获this后调虚函数，本质仍是通过指针/引用调用，底层依赖编译器生成的虚调用指令（如call qword ptr [rax]）
• 模板函数内调t.func()，若t是具体类型则静态绑定；若t是基类引用，则生成虚调用指令——编译器根据上下文决定

虚函数性能开销到底在哪

主要成本不在查表本身（一次内存加载+跳转），而在于破坏了CPU分支预测和指令流水线。虚调用的目标地址直到运行时才确定，处理器无法提前预取目标函数指令，容易引发流水线冲刷。

• 现代x86 CPU对虚调用优化有限，但ARM64某些场景可通过间接跳转预测缓解
• 频繁调用的小虚函数（如get_id()）建议用final标记，让编译器有机会内联；Clang/GCC 12+在LTO模式下可能跨编译单元优化掉部分虚调用
• 虚函数表本身只读且共享，不会因对象数量增加而膨胀；但每个对象都带vptr，内存占用随对象数线性增长

虚表机制的隐蔽性在于

：你看不到它的存在，却处处受它约束。真正难的不是理解vtable结构，而是意识到哪些代码路径会意外绕过它——比如把虚函数地址存进函数指针数组，再统一调用，那就彻底退化成静态分发了。