虚函数调用能指向子类实现是因为编译器为含虚函数的类生成虚函数表（vtable），对象隐式存储指向该表的指针（vptr），运行时通过vptr动态绑定；常见失效原因包括未声明virtual、签名不一致、构造/析构中调用、对象值调用或切片等。
虚函数调用为什么能指向子类实现
因为编译器为含虚函数的类生成了虚函数表（vtable），每个对象开头隐式存了一个指向该表的指针（vptr）。运行时通过 vptr 找到对应函数地址，不是靠类型声明决定的。
常见错误现象：Base* p = new Derived(); p->func(); 却调用了 Base::func() —— 很可能 func() 没加 virtual，或者子类函数签名不一致（比如参数 const 修饰不同、返回类型协变没满足）。
- 必须在基类中用
virtual显式声明，子类重写时可加可不加（C++11 起推荐加override） - 构造函数/析构函数不能是虚函数？错——析构函数**应该**是虚的，否则
delete base_ptr不会调用子类析构 - 纯虚函数写法是
virtual void func() = 0;，含纯虚函数的类不能实例化
虚函数表布局和内存开销怎么看
每个含虚函数的类只有一个 vtable（静态分配），但每个对象多占一个指针大小（通常是 8 字节）。vtable 本质是函数指针数组，顺序按虚函数声明顺序排列，子类覆写会覆盖对应槽位，新增虚函数则追加。
使用场景：调试时怀疑多态失效，可以打印对象地址和 vptr 值（如 GDB 中 p/x *(void**)obj），再查 vtable 内容验证是否指向预期函数。
立即学习“C++免费学习笔记（深入）”；
- 多重继承下，子类对象可能有多个
vptr（每个虚基类路径一个），布局更复杂 - 空基类优化（EBO）对虚函数类无效——只要有一个虚函数，对象就不能被压缩为 0 字节
- Clang/GCC 可用
-fdump-class-hierarchy输出 vtable 结构，比手算靠谱
哪些情况会导致虚函数多态“失效”
不是编译器坏了，而是调用点没走动态绑定路径。最典型的是：在构造/析构函数里调用虚函数，此时对象还没完全构造好或正在销毁，vptr 指向当前正在构造/析构的那个类的 vtable。
错误示例：Base::Base() { func(); }，即使 Derived 重写了 func()，这里也只会调 Base::func()。
- 直接通过对象值调用（
obj.func()）——走静态绑定，跟虚不虚无关 - 函数参数是基类值类型（非引用/指针），发生对象切片，虚函数信息丢失
- 模板函数里调用
T::func()，若T是具体类型而非多态接口，也不走虚调用
虚函数 vs 函数指针 vs std::function 性能差异
虚函数调用比普通函数多一次内存读（取 vptr）、一次间接跳转，现代 CPU 分支预测做得好，实际开销通常就 1–3 个周期；而 std::function 构造/拷贝成本高，std::function 调用还涉及一层封装跳转。
性能影响明显的情况：高频循环内反复调用虚函数（比如图形渲染每帧上百万次），且派生类固定——这时可考虑 CRTP 或模板策略替代。
- 虚函数无法内联（除非编译器能确定具体类型，比如
Derived d; d.func();） -
final关键字标记类或函数后，编译器知道无进一步覆写，可能内联或优化掉 vtable 查找 - 避免在虚函数里做耗时操作，因为多态本意是解耦，不是性能热点
虚函数机制本身很轻量，真正容易出问题的从来不是 vtable，而是开发者误以为“写了 virtual 就万事大吉”，忽略了对象生命周期、切片、签名匹配这些硬约束。
