虚函数是实现运行时多态的必要条件，需用virtual声明才能触发动态绑定；否则编译器仅按指针/引用的静态类型调用函数，即静态联编。
虚函数是实现运行时多态的必要条件
没有 virtual 关键字，哪怕函数签名完全一致，子类重写也不会触发动态绑定。编译器只看指针/引用的静态类型，直接调用该类型的函数——这就是“静态联编”。加了 virtual 后，调用才通过虚表（vtable）查实际对象的类型，跳转到对应函数地址。
常见错误现象：
• 父类函数没加 virtual，用 Base* 指向 Derived 对象，调用的仍是 Base::func()
• 析构函数没声明为 virtual，delete base_ptr 时子类部分不析构，引发资源泄漏
实操建议：
• 只要类设计为被继承、且预期多态使用，所有需重写的成员函数都应加 virtual
• 基类析构函数必须是 virtual，哪怕它是空实现
• C++11 起推荐在派生类重写函数后加 override，让编译器检查签名是否真能覆盖
vtable 和 vptr 是多态的底层支撑机制
每个含虚函数的类，编译器生成一张虚函数表（vtable），存该类所有虚函数的地址；每个该类对象开头隐式插入一个虚表指针（vptr），指向其所属类的 vtable。对象构造时，vptr 被初始化为当前类的 vtable 地址。
立即学习“C++免费学习笔记（深入）”；
关键细节：
• vtable 是类级别的，不是对象级别的，同一类所有对象共享一张表
• 多重继承下，对象可能有多个 vptr（分别对应不同基类子对象）
• sizeof 一个含虚函数的类，通常比无虚函数版本大一个指针宽度（如 8 字节 on x64）
性能影响：
• 虚函数调用比普通函数多一次内存读取（查 vtable）和一次间接跳转，但现代 CPU 分支预测对此优化较好
• 禁止内联：编译器无法在编译期确定调用目标，所以 virtual 函数默认不能被内联（除非 devirtualize 成功，如 LTO 下的全程序分析）
纯虚函数强制接口契约，但不提供实现
virtual void func() = 0; 声明的是纯虚函数，含纯虚函数的类是抽象类，不能实例化。它只规定“子类必须实现这个函数”，不关心怎么实现。
使用场景：
• 定义通用接口，如 Shape::draw()、Stream::read()
• 类中无需任何默认行为，避免误用基类默认实现
• 配合模板 + CRTP 实现静态多态时，可作为占位标记
注意点：
• 纯虚函数可以有定义（在类外写函数体），但只能通过作用域解析符显式调用，如 Base::func()
• 构造函数/析构函数里调用虚函数，不会动态绑定——此时对象还没完全构造或已开始析构，vptr 指向当前正在构造/析构的类的 vtable
虚函数调用失败的典型陷阱
最隐蔽的问题不是语法报错，而是语义失效：代码能编译运行，但没走预期路径。
容易踩的坑：
• 函数签名不一致：子类函数参数类型用 int，父类是 const int&，看起来像重写，实为重载，virtual 失效
• 返回类型协变没满足要求：仅允许返回类类型指针/引用，且派生关系与当前类继承一致，否则编译报错
• 对象切片（slicing）：用值传递接收派生类对象，传入基类形参时发生拷贝，丢失虚函数信息，后续调用全是基类行为
• 将局部对象地址赋给基类指针：函数返回后对象销毁，vptr 指向的内存已无效，调用虚函数导致未定义行为
调试建议：
• 在关键虚函数入口加日志或断点，确认实际执行的是哪个类的版本
• 用 gdb 查看对象内存布局：p/x *(void**)obj_ptr 可看到 vptr 值，再查其指向的 vtable 内容
• 开启编译器警告：GCC/Clang 的 -Wnon-virtual-dtor、-Wsuggest-override 能提前暴露问题
虚函数机制本身简单，但它的生效依赖整个对象模型的协同：构造顺序、内存布局、指针类型、编译器优化层级都会影响最终行为。真正难的不是“怎么写”，而是“为什么没按想的走”。
