下面这份是“在 C++ 中运行时多态（runtime polymorphism）是怎么发生的”的要点到细节。尽量用直白中文 + 小例子，让你能把机制讲清楚。

结论（一句话版）

C++ 的运行时多态，靠“虚函数（virtual function）+ 通过基类指针/引用调用”触发。对象里藏着一个指向“虚函数表（vtable）”的指针（vptr）；调用发生时，程序先看对象里的 vptr 指向哪张表，再从表里取出对应函数地址跳转执行，这样同一段调用代码能在运行时自动选中“真正对象类型”的重写方法。

---

基本概念（先把名词捋顺）

• 虚函数（virtual）：允许派生类重写（override），并在运行时决定到底调谁。
• 多态生效的两个必要条件：
  1. 基类中成员函数被声明为 virtual；
  2. 通过**基类类型的“引用或指针”**来调用该函数（值传递会发生对象切片，丢多态）。
• override / final 关键字：override 明确说明“我要重写”；final 阻止继续重写。
• 抽象类：含纯虚函数（=0），不能直接实例化，只能被继承实现。
• 虚析构函数：当你会用“基类指针指向派生类对象并 delete”时，基类析构函数必须设为 virtual。

---

底层机制（常见实现模型）

不同编译器实现细节可能略有差异，但主流做法相同：

1. 每个含虚函数的类，编译器为它生成一张虚函数表（vtable）：本质是函数指针数组（再加上少量运行时信息）。
2. 每个该类的对象，内部会有一个隐藏指针 vptr，指向所属类的 vtable。
3. 当你写 p->foo()（p 是基类指针/引用），编译器生成的代码大致会：
   • 读取对象里的 vptr；
   • 从 vtable 的固定槽位取出 foo 对应的函数指针（如果派生类重写了，这里就是派生版）；
   • （必要时做 this 指针的偏移调整，见多重继承）；
   • 间接跳转到那段函数代码执行。
4. 这就是“动态绑定（dynamic dispatch）”：调用目标在运行时决定，而不是编译期。

额外：有时编译器能证明目标类型唯一，会去虚拟化（devirtualize）——直接静态调用并内联以提速。

---

一眼看懂的最小示例

cpp
#include <iostream>
using namespace std;

struct Animal {
    virtual void speak() { cout << "Animal\n"; }   // 虚函数
    virtual ~Animal() = default;                   // 虚析构，避免内存泄漏
};

struct Dog : Animal {
    void speak() override { cout << "Woof\n"; }    // 重写
};

void say(Animal& a) {      // 基类“引用”触发多态
    a.speak();             // 运行时通过 vtable 选择真正的函数
}

int main() {
    Dog d;
    say(d);                // 输出：Woof
}

调用路径发生了什么

• say 接收的是 Animal&，编译器只知道这是个 Animal“接口”。
• 调用 a.speak() 时，运行时从 a 的 vptr 找到 Dog::speak 的地址并跳转，所以叫 Woof。

---

为什么值传递没多态（对象切片）

cpp
void say_by_value(Animal a) { a.speak(); }  // 形参是值
Dog d;
say_by_value(d);  // 会切片成 Animal 子对象，调用 Animal::speak

值传递会把派生类“切成”基类部分，新对象的 vptr 指向的就是 Animal 的 vtable，于是多态失效。

---

虚析构函数：一定要！

cpp
Animal* p = new Dog();
delete p;   // 如果 Animal::~Animal 不是 virtual，只会调用基类析构，派生资源泄漏！

当你通过基类指针销毁对象时，基类析构必须是 virtual，这样 vtable 里会指向正确的派生析构链，避免资源泄漏。

---

纯虚函数与抽象类

cpp
struct Shape {
    virtual double area() const = 0;   // 纯虚，必须在派生类实现
    virtual ~Shape() = default;
};

struct Circle : Shape {
    double r;
    Circle(double r): r(r) {}
    double area() const override { return 3.14159 * r * r; }
};

含纯虚函数的 Shape 不能直接 new；Circle 实现后才可实例化。通过 Shape*/Shape& 调 area()，同样走 vtable。

---

多重继承 / 虚拟继承下的“this 调整”

当类有多重继承（甚至虚继承）时，派生对象里各个基类子对象的起始地址不同。
调用派生覆盖的虚函数前，可能需要把 this 调整（pointer adjustment）到正确的子对象上；编译器会插入thunk（一小段桥接代码）完成这个偏移，再跳入真正函数体。这就是为什么 vtable 槽位里有时不是直接函数地址，而是先跳 thunk。

---

RTTI：dynamic_cast 与 typeid

• dynamic_cast：在有虚函数的层次里（即启用 RTTI），可在运行时安全向下转型；失败返回 nullptr（指针）或抛出异常（引用）。
• typeid(obj)：返回运行时类型信息（std::type_info），常用于调试/日志。

cpp
Animal* p = new Dog();
if (auto d = dynamic_cast<Dog*>(p)) { d->speak(); }  // 安全：只有真是 Dog 时才成功

---

性能与优化（大致成本）

• 每次虚调用：一次间接读取（vptr → 函数指针）+ 一次间接跳转。
• 影响：可能无法内联、分支预测成本、代码布局影响指令缓存。
• 优化：O2/LTO 情况下，编译器常能去虚拟化；如果可证明类型唯一或最终类（final），就能把虚调变成直调并内联。
• 经验法则：为接口稳定性/可扩展性用虚函数；对热点小函数若成瓶颈，再考虑替代方案（CRTP、函数对象、std::variant + 访问者、策略模式等）。

---

常见易错点清单

• 忘记 virtual（尤其是析构）→ 删除基类指针时内存/资源泄漏。
• 通过值传递触发切片 → 多态失效。
• 在构造/析构期间调用虚函数 → 只会绑定到当前类版本，不会走派生覆盖（对象尚未成为/不再是派生“完整体”）。
• 以为 override 是可选的：不写也能重写，但强烈建议写，可让编译器帮你发现签名不匹配的问题。

---

一个稍复杂的例子（含多态 + RTTI）

cpp
#include <iostream>
#include <memory>
#include <vector>
using namespace std;

struct Expr {
    virtual double eval() const = 0;
    virtual ~Expr() = default;
};

struct Const : Expr {
    double v;
    explicit Const(double v): v(v) {}
    double eval() const override { return v; }
};

struct Add : Expr {
    unique_ptr<Expr> a, b;
    Add(unique_ptr<Expr> a, unique_ptr<Expr> b)
        : a(move(a)), b(move(b)) {}
    double eval() const override { return a->eval() + b->eval(); }
};

int main() {
    unique_ptr<Expr> e = make_unique<Add>(
        make_unique<Const>(2.0),
        make_unique<Add>(make_unique<Const>(3.0), make_unique<Const>(4.0))
    );
    cout << e->eval() << "\n";  // 2 + (3 + 4) = 9
}

这里 Expr 是抽象接口；eval() 是虚函数。e->eval() 时，运行时按照 vptr→vtable→函数指针 的路径，动态选择 Add::eval 或 Const::eval。

---

用一句类比（方便你对患者解释）

把“对象”想成一个人拿着一张“联系人清单”（vtable）。当你打“客服热线”（调用虚函数）时，不是拨固定号码，而是先看清单上这项填写的号码（不同人清单不同），再拨过去——所以同一个“拨号动作”，会接通不同的客服（派生类实现）。

---

如果你还需要，我可以把这套讲法浓缩成一页“医生可用解释稿”，或者把示例代码配上注释框图（对象布局、vtable 槽位示意）放成 PDF。