C++中的虚函数（virtual function）是如何工作的？（动态多态）

虚函数通过vtable和vptr实现运行时动态绑定，基类指针可调用派生类重写函数；每个含虚函数的类有唯一vtable，对象含vptr指向它；调用时经vptr查表间接跳转；纯虚函数使类成抽象类，虚析构函数须定义以确保正确析构。

虚函数通过虚函数表（vtable）和虚表指针（vptr）实现运行时的动态绑定，让基类指针或引用能调用派生类中重写的函数。

虚函数表（vtable）是核心机制

每个含虚函数的类在编译时生成一张静态的函数指针表，表中按声明顺序存放该类所有虚函数的地址。派生类若重写虚函数，对应表项会被替换成自己的函数地址；若未重写，则沿用基类的地址。

• 同一个类的所有对象共享同一张虚函数表
• vtable 是只读数据段中的常量结构，不随对象数量增加而复制
• 多重继承下，一个对象可能有多个 vptr（指向不同基类的 vtable）

对象内部藏着虚表指针（vptr）

每个含虚函数的类的对象，在内存布局最开始（通常偏移为 0）隐式包含一个指针成员 vptr，它在构造时被自动初始化为指向本类的 vtable。

• 构造函数执行过程中，vptr 会随着构造顺序从基类切换到派生类
• 析构时同理，vptr 逐步回退，确保调用正确的虚析构函数
• 普通成员函数、static 函数、内联函数不进 vtable

调用过程：间接跳转实现动态分发

当通过基类指针或引用调用虚函数时，编译器生成的代码不是直接跳转，而是三步操作：取 vptr → 查 vtable 中对应槽位 → 间接调用函数地址。

标签： c++