虚函数必须在基类用virtual声明，子类重写时virtual可选但推荐；纯虚函数（=0）使类成抽象类，不可实例化；多态仅通过指针或引用调用生效，值传递会导致切片。
虚函数必须在基类里用 virtual 声明，子类重写时不能加 virtual 也能多态
多态生效的前提不是“子类写了 virtual”，而是“基类函数声明了 virtual”。子类中同签名函数即使不写 virtual，只要继承自带 virtual 的基类函数，它就是虚函数——编译器自动继承虚性。
常见错误现象：Base* p = new Derived(); p->func(); 调用的却是 Base::func，说明 Base::func 没加 virtual，或者子类函数签名有细微差异（比如参数 const 修饰不一致、返回类型协变没满足）。
- 子类重写时加
virtual是可选的，但推荐加上——提高可读性，也避免误删基类声明后自己还不知道 - 签名必须严格匹配：参数类型、const 修饰、引用/值传递方式都要一致；返回类型可以协变（如基类返回
Base*，子类可返回Derived*） - 构造函数不能是虚函数；析构函数建议声明为
virtual，否则delete base_ptr可能只调基类析构，漏掉子类资源清理
纯虚函数和抽象类：用 = 0 强制子类实现
如果基类中某个函数没有合理默认行为，又希望所有子类都必须提供实现，就该定义成纯虚函数。含纯虚函数的类叫抽象类，不能直接实例化。
使用场景：设计接口层，比如 Shape 类不关心具体怎么画，但所有子类（Circle、Rect）必须实现 draw()。
立即学习“C++免费学习笔记（深入）”；
- 纯虚函数声明形如：
virtual void draw() = 0;，等号前后不能有空格，也不能有函数体 - 抽象类的子类如果不实现全部纯虚函数，它自己也是抽象类，依然不能 new 实例
- 纯虚函数可以有定义（少见），比如在基类里提供通用日志逻辑，子类仍需在自己的函数里显式调用：
Base::func();
虚函数表（vtable）不是你该手动碰的东西，但得知道它怎么影响性能和布局
每个含虚函数的类，编译器会在对象开头隐式插入一个指向虚函数表（vtable）的指针（vptr）。调用虚函数时，实际走的是“查表 + 间接跳转”，比普通函数调用多一两次内存访问。
性能影响很小，但要注意：虚函数让对象大小增加（通常是 8 字节，取决于指针宽度），且禁止某些优化（比如内联，除非编译器能确定具体类型）。
- 对象内存布局：虚函数表指针总在最前面，然后才是成员变量（顺序按声明）
- 多重继承下 vtable 更复杂，可能有多个 vptr，但日常单继承不用深究
- 不要试图通过偏移取 vptr 或改 vtable——这是未定义行为，不同编译器实现不同，调试器看到的 vtable 也不保证稳定
动态绑定失效的典型情况：对象值传递、静态调用、非指针/引用参数
多态只在通过指针或引用调用虚函数时发生。一旦发生值拷贝，对象就被切片（slicing）成基类类型，虚函数信息丢失。
错误示例：void foo(Base b) { b.func(); } —— 这里 b 是值参数，传入 Derived 对象也会被截断为 Base，调用的是 Base::func。
- 正确做法：参数用
const Base&或Base* - 用
obj.func()（非指针/引用）调用，永远是静态绑定，跟obj的静态类型有关，跟实际对象无关 - 用
Derived d; d.Base::func();是显式指定调用基类版本，强制绕过虚机制
虚函数机制本身不难，真正容易出问题的地方，往往不在“怎么写”，而在“什么时候没走虚调用”——尤其是值传递、临时对象、模板推导后类型擦除这些隐式转换场景。别只盯着 virtual 关键字，多看看变量的静态类型和传参方式。
