19、多态（上）：虚函数、虚函数表（vtable）、动态绑定、override与final关键字（C++11）
多态，说白了就是“一个接口，多种实现”。在C++里，这是面向对象最核心的能力之一。我刚开始用C++写项目时，对多态的理解只停留在“基类指针调用派生类函数”这个层面，直到有一次在维护一个大型通信库时，因为漏写了virtual导致内存泄漏，排查了整整两天……嗯，从那以后，我对虚函数的底层机制再也不敢马虎了。
1. 虚函数：多态的基石
虚函数是用virtual关键字修饰的成员函数。它的作用很简单：允许通过基类指针或引用，调用实际对象的成员函数。
核心规则：
- 基类中声明虚函数，派生类可以覆盖（override）它。
- 通过基类指针或引用调用虚函数时，实际执行的是派生类的版本。
- 虚函数不能是静态函数，也不能是构造函数。
class Base {
public:
virtual void show() {
std::cout << "Base::show()" << std::endl;
}
};
class Derived : public Base {
public:
void show() override { // 覆盖基类虚函数
std::cout << "Derived::show()" << std::endl;
}
};
int main() {
Base* ptr = new Derived();
ptr->show(); // 输出：Derived::show()
delete ptr;
return 0;
}你看，这里ptr是Base*类型，但调用show()时却执行了Derived的版本。这就是多态在运行时的表现。
2. 虚函数表（vtable）：多态的幕后黑手
为什么基类指针能找到派生类的函数？答案就在虚函数表里。
每个包含虚函数的类，编译器都会为它生成一个虚函数表。这个表是一个函数指针数组，存储了该类所有虚函数的地址。每个对象内部还藏着一个虚函数表指针（vptr），指向所属类的虚函数表。
我个人习惯：把vtable想象成一张“函数跳转地图”。对象通过vptr找到地图，地图告诉你该调用哪个函数。这张地图在编译期就画好了，但具体走哪条路，得运行时看对象的实际类型。
来看一个更复杂的例子：
class Animal {
public:
virtual void speak() { std::cout << "Animal speaks" << std::endl; }
virtual void move() { std::cout << "Animal moves" << std::endl; }
};
class Dog : public Animal {
public:
void speak() override { std::cout << "Dog barks" << std::endl; }
void move() override { std::cout << "Dog runs" << std::endl; }
};对于Animal类，它的vtable大概长这样：
| vtable 索引 | 函数指针 |
|---|---|
| 0 | Animal::speak() |
| 1 | Animal::move() |
而Dog类的vtable则是：
| vtable 索引 | 函数指针 |
|---|---|
| 0 | Dog::speak() |
| 1 | Dog::move() |
当Animal* ptr = new Dog();时，ptr指向的对象内部vptr指向Dog的vtable。调用ptr->speak()时，实际流程是：
- 通过
ptr找到对象的vptr。 - 通过vptr找到
Dog的vtable。 - 从vtable索引0取出函数地址，调用
Dog::speak()。
整个过程在运行时完成，所以叫“动态绑定”。
我曾经踩过的坑：在构造函数或析构函数中调用虚函数。这时候对象的vptr可能还没完全初始化（构造时）或已经被重置（析构时），导致调用的不是派生类版本，而是当前类的版本。千万别在构造/析构里依赖多态行为！
3. 动态绑定 vs 静态绑定
静态绑定在编译期就确定了函数调用地址，比如普通函数、非虚成员函数。动态绑定则延迟到运行时。
为什么需要动态绑定？你想想看，如果所有函数调用都在编译期决定，那基类指针永远只能调用基类函数，多态就无从谈起。动态绑定给了程序“看对象下菜碟”的能力。
但动态绑定也有代价：
- 每个对象多占用一个vptr指针（通常4或8字节）。
- 每次虚函数调用多一次间接寻址（通过vtable）。
- 编译器无法内联虚函数（因为运行时才知道具体调用哪个）。
在性能敏感的代码里，我一般会权衡：如果类不会被继承，或者函数不需要多态，就尽量不用virtual。
4. override 与 final（C++11）
C++11引入了两个关键字，让虚函数的使用更安全、更清晰。
4.1 override
override显式告诉编译器：这个函数要覆盖基类的虚函数。如果基类没有对应的虚函数，编译器会报错。
class Base {
public:
virtual void func() {}
};
class Derived : public Base {
public:
void func() override {} // 正确：覆盖基类虚函数
// void func(int) override {} // 错误：基类没有 func(int)
};我个人习惯：只要是想覆盖基类虚函数，一律加上override。这能帮你提前发现拼写错误或参数不匹配的问题。我在代码审查时，看到没有override的覆盖函数，都会多问一句“你确定这是覆盖而不是重载？”
4.2 final
final用于禁止类被继承，或禁止虚函数被进一步覆盖。
class Base {
public:
virtual void func() final {} // 禁止派生类覆盖
};
class Derived : public Base {
public:
// void func() override {} // 错误：func 是 final 的
};
class NoInherit final { // 禁止继承
// ...
};
// class Child : public NoInherit {}; // 错误final在什么场景下有用？我记得有一次设计一个协议解析器，核心的parse()函数逻辑非常关键，我不希望任何人通过继承来篡改它。加上final，既是文档，也是强制约束。
5. 知识体系图
下面这张图帮你理清本章的核心脉络：
6. 避坑指南与个人经验
- 虚析构函数：如果基类有虚函数，析构函数一定要声明为virtual。否则通过基类指针删除派生类对象时，只会调用基类析构函数，导致派生类资源泄漏。我早期一个网络库就因为这个原因，连接对象的内存一直没释放，服务跑了三天就OOM了。
- 不要在构造函数和析构函数中调用虚函数：前面已经提过，这里再强调一次。派生类对象构造时，先构造基类部分，此时vptr指向基类的vtable，调用虚函数只会执行基类版本。析构时同理。
- 虚函数默认参数：虚函数的默认参数是静态绑定的。也就是说，通过基类指针调用虚函数时，默认参数取自基类版本，而不是派生类版本。这很容易造成迷惑，我建议虚函数不要使用默认参数。
- 性能考量：如果某个虚函数在热点路径上被频繁调用，可以考虑用CRTP（奇异递归模板模式）替代虚函数，实现静态多态。不过这是后话了。
一个小技巧：在调试时，可以打印对象的vptr地址，或者用typeid(*ptr).name()查看实际类型。这能帮你确认多态是否按预期工作。
好了，关于多态的上半部分就聊到这里。虚函数、vtable、动态绑定这些概念，是理解C++面向对象的关键。你只要记住：虚函数表是编译器给每个类准备的“函数跳转表”，对象通过vptr找到它，运行时再决定调用哪个函数。override和final则是C++11给你的安全网，帮你减少低级错误。
在实际项目中，多态用得恰到好处，代码会非常灵活；用过头了，又会带来不必要的复杂度和性能损失。我的建议是：先理解底层机制，再根据场景做选择。