只有通过基类指针或引用调用虚函数时才能触发运行时多态；直接用对象名调用永远静态绑定，且需同时满足：函数声明为virtual、通过指针/引用调用、实际指向派生类对象。
虚函数怎么触发多态行为
只有通过基类指针或引用调用虚函数时，才能触发运行时多态；直接用对象名调用（A a; a.func()）永远走静态绑定，哪怕func是虚函数。这是最常被忽略的前提。
必须满足三个条件：函数声明为virtual、通过指针/引用调用、实际指向派生类对象。缺一不可。
- 基类析构函数务必声明为
virtual，否则delete pBase可能只调基类析构，导致派生类资源泄漏 -
override关键字不是可选修饰——它强制编译器检查签名是否真能覆写，避免拼写错误（如foo(int)vsfoo(double)）静默失败 - 构造函数里调虚函数不走多态：此时派生类成员尚未初始化，
this的动态类型就是当前正在构造的类，只会调本层实现
虚函数表（vtable）长什么样
每个含虚函数的类在编译期生成一张静态数组，存的是该类所有虚函数的地址。对象内存布局头部（通常前8字节）隐式插入一个指针vptr，指向其所属类的vtable。
单继承下，派生类vtable会复制基类虚函数地址，再覆盖被重写的项；新增虚函数追加到末尾。多重继承时，对象内存中会出现多个vptr（每个父类子对象一个），访问不同基类虚函数时需调整this指针偏移量。
立即学习“C++免费学习笔记（深入）”；
- 用
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结构，而是意识到哪些代码路径会意外绕过它——比如把虚函数地址存进函数指针数组，再统一调用，那就彻底退化成静态分发了。
