C++的多态是如何体现的？
一篇尽量清晰、结构化的文章，帮你搞懂虚函数机制、vtable、虚表指针，以及最容易出错的那些点。
1. 多态在 C++ 里到底是什么？
C++支持三种多态：
- 编译时多态（静态多态）：函数重载、运算符重载、模板（泛型）、CRTP
- 运行时多态（动态多态）：通过虚函数 + 指针/引用实现
- 强制多态（类型转换）：static_cast、dynamic_cast 等（较少讨论）
绝大多数人问'C++的多态'时，指的其实就是运行时多态，也就是通过虚函数实现的动态绑定。
一句话总结核心：
同一个接口，不同的对象表现出不同的行为，且绑定发生在运行时。
2. 虚函数机制的核心——虚表（vtable）与虚表指针（vptr）
C++的运行时多态实现依赖于以下几个关键概念：
| 概念 | 英文 | 存放在哪里 | 内容是什么 | 谁拥有它 |
|---|---|---|---|---|
| 虚函数表 | virtual table (vtable) | 静态存储区（每个类一份） | 该类的所有虚函数的地址（函数指针数组） | 类（类型） |
| 虚表指针 | virtual pointer (vptr) | 对象内存布局最开头（通常） | 指向本对象对应类的 vtable 的指针 | 每个对象 |
| 虚函数调用 | dynamic dispatch | — | 通过 vptr 找到 vtable，再通过槽位找到函数地址 | 运行时 |
最重要的一句话：
只要一个类有虚函数（或继承自有虚函数的类），编译器就会为这个类生成一张虚表，并在类的对象中偷偷插入一个虚表指针 vptr。
3. 虚函数调用流程（最关键的图解过程）
假设有下面这段经典代码：
class Animal {
public:
virtual void speak() {
std::cout << "Animal speaks\n";
}
virtual ~Animal() = default;
};
class Dog : public Animal {
public:
void speak() override {
std::cout << "Woof!\n";
}
};
class Cat : public Animal {
public:
void speak() override {
std::cout << "Meow~\n";
}
};
int main() {
Animal* p = new Dog();
p->speak(); // 输出 Woof!
delete p;
}
运行时发生了什么？
- 创建
Dog对象时，编译器在对象内存最开头放了一个 vptr，它指向 Dog 类的虚表。 Dog类的虚表里，speak()这一槽位存的是Dog::speak的地址。- 调用
p->speak()时：- 取 p 指向对象的 vptr
- 通过 vptr 找到 虚表
- 根据
speak()在虚表中的偏移（槽位索引），取出函数地址 - 调用该地址 → 执行
Dog::speak()
这就是动态绑定的完整过程。
4. 常见问题与陷阱（面试 + 实际开发高频）
4.1 构造函数里调用虚函数会怎样？
class Base {
public:
Base() { whoami(); }
virtual void whoami() {
std::cout << "Base\n";
}
};
class Derived : public Base {
public:
void whoami() override {
std::cout << "Derived\n";
}
};
int main() {
Derived d; // 输出 Base
}
结论：在构造函数中，vptr 还没有指向派生类的虚表，此时调用虚函数走的是当前正在构造的类的版本。
4.2 析构函数必须是虚函数吗？
必须（只要这个类可能会被指针/引用多态删除）。
原因：如果基类析构不是虚函数，delete base_ptr; 时只调用基类析构，派生类部分不会被析构 → 资源泄漏。
4.3 override 和 final 关键字（C++11+）
virtual void f() override; // 明确告诉编译器：我在重写，必须匹配基类签名
virtual void g() final; // 告诉编译器：这个虚函数到此为止，不允许再被重写
强烈建议在重写时都写 override，能尽早发现签名不匹配的错误。
4.4 纯虚函数 & 抽象类
virtual void speak() = 0; // 纯虚函数 → 该类成为抽象类，不能实例化
4.5 虚函数表是每个类一份，还是每个对象一份？
每个有虚函数的类一份（静态的），对象只持有一个指向它的指针。
4.6 多继承下的虚表（最复杂的情况）
多继承时，一个对象可能有多个 vptr（每个继承链一条），虚表也更复杂，还涉及虚基类表（vbptr / vbase）。
class A {
virtual void f();
};
class B {
virtual void g();
};
class C : public A, public B {
...
};
C 的对象内存布局里通常会有 两个 vptr。
这是多继承最容易出问题的地方（菱形继承 + 虚继承才能解决二义性）。
4.7 虚函数开销有多大？
- 空间：每个对象多一个指针（通常 8 字节，64 位系统）
- 时间：一次间接寻址（vptr → vtable → 函数地址），现代 CPU 分支预测 + 内联缓存后开销很小
绝大多数业务场景下，虚函数的性能开销是可以接受的。
5. 总结：一句话记住虚函数机制
C++运行时多态 = 虚函数 + 指针/引用 + vtable + vptr + 动态分派
最简记忆口诀：
'对象藏 vptr → vptr 指 vtable → vtable 存函数地址 → 运行时查表调用'
希望这篇文章让你对 C++ 虚函数从'会用'变成'知道为什么这样实现'。
