虚函数不生效主因是对象切片或值传递导致静态绑定；必须用指针或引用维持多态；析构函数非virtual将致资源泄漏；虚调用开销在于间接跳转与禁用内联。
虚函数调用为什么有时不走动态绑定
虚函数不生效，最常见的原因是对象被“切片”或通过值传递/返回——这时编译器看到的是静态类型，直接调用非虚版本。比如 Base b = Derived(); 或函数参数写成 void func(Base b)，b 就是纯 Base 对象，哪怕它由 Derived 初始化，虚函数表指针也早已丢失。
必须用指针或引用才能保留多态性：Base& ref = derived_obj; 或 Base* ptr = &derived_obj;。否则哪怕函数声明为 virtual，也毫无意义。
- 检查所有传参、赋值、容器存储：是否用了
std::vector<base>而不是std::vector<:unique_ptr>></:unique_ptr> - 构造函数和析构函数里调用虚函数，实际调用的是当前类的版本（因为虚表指针还没完全初始化或已开始销毁）
- 类没有定义任何虚函数时，编译器通常不生成虚表；加了
virtual ~Base() = default;是最轻量的启用方式
怎么手动查看某个类的虚函数表布局
虚表本身是编译器实现细节，标准不规定格式，但主流编译器（GCC/Clang/MSVC）都把虚表放在类对象内存起始处，第一个字段就是指向虚表的指针。你可以用调试器或 offsetof 配合指针解引用粗略观察，但要注意：优化等级（如 -O2）可能内联掉虚调用，导致看不到表访问。
在 GDB 中可这样验证：p/x *(void**)(&obj) 查虚表地址，再 x/5a *(void**)(&obj) 看前几项函数指针。注意：虚表末尾可能有空指针或 RTTI 指针，不同编译器布局不同。
立即学习“C++免费学习笔记（深入）”；
- 多重继承下，子类对象内存中可能有多个虚表指针（比如
class D : public A, public B），每个基类子对象有自己的虚表指针偏移 -
sizeof(Base)在有虚函数时通常比无虚函数大（多出一个指针大小），但这不是绝对的——空基类优化或对齐填充可能掩盖它 - 不要在生产代码里依赖虚表地址或布局，它不属于 ABI 保证范围
析构函数没写 virtual 会出什么问题
当用 Base* p = new Derived; 分配对象，却只调用 delete p; 时，如果 Base::~Base() 不是 virtual，C++ 只调用 Base 的析构函数，Derived 的析构逻辑（比如释放资源、关闭文件）完全不会执行——这是典型的资源泄漏，且无编译警告。
规则很简单：只要类设计为被继承，且你预期用基类指针管理派生对象生命周期，就必须把析构函数声明为 virtual。即使它是空的，也要写 virtual ~Base() = default;。
- 纯虚析构函数也必须提供定义：
virtual ~Base() = 0; Base::~Base() = default;，否则链接失败 - 成员变量含智能指针（如
std::unique_ptr）不能替代虚析构——它只管自己那块内存，不管派生类新增的资源 - RAII 类型（如
std::thread、std::mutex）若被继承，同样需要虚析构，否则析构时未 join 或 unlock 会触发未定义行为
虚函数性能开销到底在哪
虚调用比普通函数调用多一次内存读取：先从对象首地址读出虚表指针，再按虚函数在表中的索引（编译期确定）查到函数地址，最后跳转。现代 CPU 的间接跳转预测通常能缓解这部分开销，真正影响性能的往往是阻止了内联——而内联带来的优化（常量传播、死代码消除）远比一次指针解引用重要。
如果你发现某处虚调用成了瓶颈，优先考虑是否真需要运行时多态。例如策略模式中，用模板参数替换虚函数（template<typename strategy></typename>）可零成本抽象；或者把热路径逻辑提取到非虚接口中。
- 虚函数无法被 LTO（Link-Time Optimization）跨翻译单元内联，但普通函数可以
- 使用
final修饰类或虚函数（如virtual void f() final;），能让编译器知道此处无需查虚表，直接调用并可能内联 - 避免在 tight loop 里反复调用虚函数，尤其是带复杂参数或返回大对象的——把虚调用提到循环外，或缓存结果
虚表不是黑箱，但它的具体布局、填充方式、RTTI 存储位置，都随编译器、平台、ABI 和优化选项浮动。想靠手算偏移或硬编码地址去“优化”，八成会翻车。真正该盯住的，是对象生命周期管理是否正确、继承关系是否必要、以及虚调用是否出现在性能关键路径上。
