C++多态必须用virtual关键字显式开启，通过虚函数表（vtable）和vptr实现运行时动态绑定；未加virtual的函数仅静态绑定，无法多态；基类析构函数须为virtual以防资源泄漏；纯虚函数定义抽象类，强制子类实现。
多态在 C++ 中不是靠编译器“自动识别类型”实现的，而是靠 virtual 关键字显式开启虚函数机制，并依赖对象的动态类型（即运行时实际构造的类型）来决定调用哪个函数。没加 virtual 的函数，哪怕签名一样，也只会静态绑定，根本不会有多态行为。
为什么必须用 virtual 才能多态
不加 virtual 时，编译器在编译期就根据指针/引用的静态类型（声明类型）决定调用哪个函数，这叫静态联编。加上 virtual 后，编译器会为该类生成虚函数表（vtable），每个对象头部隐含一个指向 vtable 的指针（vptr），运行时通过 vptr + 偏移查表跳转，实现动态联编。
常见错误现象：
- 父类函数没加
virtual，子类重写同名函数，但通过基类指针调用仍执行父类版本 - 子类函数加了
virtual，但父类没加，依然不构成覆写（override），只是隐藏（hiding）
正确做法：
立即学习“C++免费学习笔记（深入）”；
- 想支持多态，基类中对应函数必须声明为
virtual - C++11 起建议子类覆写函数显式加上
override关键字，让编译器检查是否真有可覆写的虚函数
virtual 函数的继承与析构函数特殊性
虚函数一旦在基类中声明为 virtual，其所有派生类中的同签名函数自动成为虚函数，无论是否再写 virtual —— 但写上更清晰，且配合 override 可防误写。
最常被忽略的是析构函数：如果类设计为被继承（尤其有派生类资源需要清理），基类析构函数必须是虚函数。否则通过基类指针 delete 派生类对象时，只会调用基类析构，派生类部分不析构，造成资源泄漏。
class Base {
public:
virtual ~Base() = default; // 必须 virtual
};
class Derived : public Base {
std::string* data;
public:
Derived() : data(new std::string("hello")) {}
~Derived() { delete data; } // 这里不会被调用，除非 Base::~Base() 是 virtual
};
虚函数表（vtable）和内存布局的真实影响
每个含虚函数的类，编译器生成一张全局 vtable，存函数指针；每个该类对象在内存开头额外占用一个指针大小（通常是 8 字节）存 vptr。这意味着：
- 空类（无虚函数）大小可能是 1 字节（避免 sizeof=0）；加一个
virtual函数后，大小变成 8（64 位平台） - 多重继承下 vptr 数量可能不止一个，布局更复杂，但单继承场景通常只有一个 vptr
- vtable 本身不随对象数量增长，是类级别的只读数据段
性能影响很小：一次间接跳转（vptr → vtable → 函数地址），现代 CPU 分支预测对此很友好。比起运行时类型判断或反射，虚函数是零成本抽象。
纯虚函数与抽象类：强制接口契约
把虚函数声明为 = 0 就是纯虚函数，含纯虚函数的类无法实例化，称为抽象类。这是 C++ 表达“必须由子类实现”的唯一标准方式。
注意点：
- 纯虚函数可以有定义（比如提供默认逻辑），但必须在类外定义，不能内联在类内写函数体
- 抽象类的子类，必须实现所有纯虚函数，否则仍是抽象类
- 不要在构造函数/析构函数中调用虚函数——此时 vptr 指向当前正在构造/析构的类的 vtable，不会向下/向上动态绑定
class Shape {
public:
virtual double area() const = 0; // 纯虚函数
virtual ~Shape() = default;
};
class Circle : public Shape {
double r;
public:
Circle(double radius) : r(radius) {}
double area() const override { return 3.14159 r r; }
};
虚函数机制本质是编译器帮你管理的一张跳转表，不是魔法。真正容易出错的不是语法，而是在不该用的地方强行多态（比如性能敏感内层循环），或忘了虚析构导致资源泄漏——后者在代码审查时几乎无法靠测试发现，只能靠约定和工具（如 clang-tidy 的 cppcoreguidelines-interfaces-global-init 类规则）。
