17370845950

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

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

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

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

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

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

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

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

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

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

• 例如：ptr→func() 实际等价于 (*ptr->vptr[索引])(ptr)
• 这个索引由函数在 vtable 中的位置决定，编译期就固定了
• 只要指针实际指向的是派生类对象，哪怕类型是基类指针，也会调用派生类版本

纯虚函数与抽象类进一步约束行为

纯虚函数（virtual void func() = 0;）在 vtable 中对应空指针或特殊标记，强制派生类必须实现，否则无法实例化。

• 含纯虚函数的类是抽象类，不能创建对象，但可定义指针/引用
• 抽象类的 vtable 中对应项在派生类实现前不可用，链接时会报错
• 虚析构函数必须定义（哪怕为空），否则 delete 基类指针时无法正确析构派生部分

基本上就这些。虚函数不是黑魔法，本质是一次查表加一次间接调用，开销极小但换来了灵活的接口复用能力。