C++ 多态的底层核心三个概念：虚函数表 (vtable)、虚表指针 (vptr) 和 间接寻址

C 多态的底层核心其实就三个概念虚函数表 (vtable)、虚表指针 (vptr)和间接寻址。下面我按知识点的逻辑顺序结合代码和底层内存布局为你逐一拆解。1. 虚表 (vtable) 与 虚表指针 (vptr) 的生成【现象】只要一个类里出现了virtual关键字编译器就会对这个类进行“特殊改造”。【底层原理】生成虚表 (vtable)编译器会为这个类生成一个全局的静态数组通常在只读数据段.rodata。这个数组里存的全是函数指针指向该类各个虚函数的真实内存地址。插入虚表指针 (vptr)编译器会在该类的每一个对象的内存布局中偷偷塞入一个隐藏的成员变量vptr。这个指针在对象构造时会被初始化为指向该类的vtable的首地址。【代码与内存布局】class Base { public: int a; virtual void func1() { /* ... */ } virtual void func2() { /* ... */ } };底层内存布局全局 vtable (Base_vtable):[0] - Base::func1 的地址 [1] - Base::func2 的地址Base 对象内存:[低地址] vptr ------ 指向 Base_vtable 的首地址 a (int, 4字节) [高地址]为什么这么设计因为 C 要求多态是运行时决定的。对象本身必须知道自己“属于哪个类”而vptr就是对象的“身份证”。把vtable放在全局是因为同一个类的所有对象共享同一套虚函数没必要在每个对象里都存一份函数地址节省内存。2. 构造函数中的 vptr 赋值【现象】当在基类的构造函数里调用一个虚函数时C 编译器会“无视”多态机制强制且绝对地调用基类自己的那个虚函数版本即使你实际上正在构造的是一个派生类对象。【现象代码】#include iostream class Base { public: Base() { std::cout Base Constructor: ; func(); // 【关键点】在基类构造函数中调用虚函数 } virtual void func() { std::cout Base::func() std::endl; } }; class Derived : public Base { public: Derived() { std::cout Derived Constructor: ; func(); // 在派生类构造函数中调用虚函数 } void func() override { std::cout Derived::func() std::endl; } }; int main() { Derived d; // 创建一个派生类对象 }输出【底层原理】对象的构造是自底向上的先构造父类在构造子类// Derived 构造函数的底层真实逻辑 Derived::Derived() { // 1. 先调用基类构造函数 Base::Base() { // 1.1 【编译器偷偷插入的代码】初始化 vptr 指向 Base_vtable this-vptr Base_vtable; // 1.2 执行用户写的 Base 构造函数体 func(); // 底层执行this-vptr[0]() // 因为 vptr 现在指向 Base_vtable所以查表查到的是 Base::func() } // 2. 基类构造完毕开始构造派生类 // 2.1 【编译器偷偷插入的代码】更新 vptr 指向 Derived_vtable this-vptr Derived_vtable; // 2.2 执行用户写的 Derived 构造函数体 func(); // 底层执行this-vptr[0]() // 因为 vptr 现在指向 Derived_vtable所以查表查到的是 Derived::func() }进入Base构造函数时编译器插入的代码会先把vptr指向Base_vtable。此时如果调用虚函数底层执行的是this-vptr[0]()因为vptr明确指向Base_vtable所以直接调用Base::func1。Base构造完进入Derived构造函数编译器再次插入代码把vptr更新为指向Derived_vtable。此时再调用虚函数底层执行this-vptr[0]()因为vptr已经变成了Derived_vtable所以发生多态调用Derived::func1。为什么这么设计如果在Base构造期间vptr就已经指向了Derived_vtable那么Base的代码可能会误调用Derived的虚函数。但此时Derived的成员变量还没初始化这会导致访问未初始化的内存引发崩溃。所以 C 规定构造期间对象处于“半成品”状态只表现出当前正在构造的那个类的行为。3. 运行时多态的底层执行过程【现象】通过基类指针/引用调用虚函数时会根据实际指向的对象类型调用对应的函数。【底层原理】普通函数调用是静态绑定编译期直接call 0x401000。虚函数调用是动态绑定运行时查表。【代码】Base* ptr new Derived(); ptr-func1(); // 多态调用【CPU 实际执行的汇编级伪代码】; 1. 获取对象的 vptr mov rax, [ptr] ; rax 对象的 vptr (即 Derived_vtable 的地址) ; 2. 根据函数在表中的索引取出函数地址 ; func1 是第 0 个虚函数偏移量为 0 mov rbx, [rax 0] ; rbx Derived::func1 的真实地址 ; 3. 间接调用 call rbx ; CPU 跳转到 Derived::func1 执行为什么这么设计这就是经典的间接寻址。编译器在编译ptr-func1()时根本不知道ptr到底指向Base还是Derived所以它无法生成直接的call指令。它只能生成一套“查表跳转”的通用逻辑。到了运行时CPU 顺着vptr找到真正的函数地址实现了“同一个接口不同的实现”。父类虚表和子类虚表不是同一张表【区别】生成原理的区别“拷贝”与“覆盖”父类虚表在编译期由编译器独立生成里面存放的是父类自己定义的虚函数地址。子类虚表编译器在生成子类虚表时底层动作是先拷贝一份父类的虚表然后用子类重写的虚函数地址“覆盖”掉原来父类对应的槽位。如果子类新增了虚函数则追加到表的末尾用底层内存图直观对比【父类虚表 (Base_vtable)】 (假设位于内存 0x4000) [0] - Base::func1 的地址 [1] - Base::func2 的地址 【子类虚表 (Derived_vtable)】 (假设位于内存 0x5000) [0] - Derived::func1 的地址 (覆盖了父类的 func1) [1] - Base::func2 的地址 (继承自父类未重写) [2] - Derived::func3 的地址 (子类新增的虚函数)这是多态能够生效的底层核心当实例化一个父类对象时编译器会将该对象的vptr指向父类虚表的首地址。当实例化一个子类对象时编译器会将该对象的vptr指向子类虚表的首地址为什么 C 要设计成“两张独立的表”答案是为了支持多态的独立性。如果共用一张表那么当Derived对象调用func1时CPU 顺着vptr查表就会跳到Base::func1多态就彻底失效了。正是因为每个类都有自己专属的虚表且每个对象的vptr在构造时会被精准地指向自己所属类的虚表CPU 才能在运行时通过查表准确无误地找到当前对象“真正应该执行”的那个函数。这就是 C 运行时多态在内存层面最真实的运作机制。4. 虚析构函数与内存泄漏【现象】基类析构函数不是virtual时delete基类指针只会调用基类析构派生类析构不执行导致派生类中申请的内存泄漏。【底层原理】delete ptr;在底层会被编译器翻译成两步调用析构函数ptr-~Base();如果是虚函数就走上面的vtable 查表机制vtable会存析构函数地址释放内存operator delete(ptr);如果~Base()不是虚函数编译器在编译期就确定了调用Base::~Base()直接生成call Base::~Base的静态指令。派生类的析构函数Derived::~Derived()根本不在执行流中。如果~Base()是虚函数底层走vptr查表。因为ptr实际指向Derived对象其vptr指向Derived_vtable。查表后CPU 跳转到Derived::~Derived()。关键点C 规定执行完派生类析构后编译器会自动在底层插入对基类析构的调用Base::~Base()形成完整的析构链。完整流程第一步查虚表找到“打包函数”CPU 去看ptr指向的对象找到它内存开头的vptr顺着vptr查虚表。查到了什么查到了编译器生成的那个“打包函数”的地址。第二步执行“打包函数”只干清理资源的事CPU 跳转到这个“打包函数”里去执行。这个函数在 CPU 眼里就是极其简单的两步嵌套调用先调用子类的析构~Derived()清理子类资源再调用父类的析构~Base()清理父类资源注意这个打包函数执行完资源就清理干净了。它绝对不负责释放内存执行完这两步打包函数就return了。第三步释放内存跟打包函数毫无关系CPU 从打包函数里return出来回到了你写delete ptr;的地方。接着CPU 执行delete指令自带的第二步调用operator delete(ptr);这一步才是真正把这块内存还给操作系统打包函数打包函数就是编译器为了配合delete指令在底层偷偷生成的一个“清理资源的总调度员”。它之所以叫“打包”是因为它把整条继承链的析构函数先子类后父类强行打包在了一起。它的真面目伪代码void 打包函数() { ~Derived(); // 1. 先清理子类的资源 ~Base(); // 2. 再清理父类的资源 }它的唯一使命它只负责清理资源绝对不负责释放内存。当你delete ptr;时delete指令会先去虚表里把这个“打包函数”揪出来让它把父子类的资源全部清理干净。等它return之后delete指令才会亲自下场执行operator delete释放内存。补充只要派生类子类有析构函数编译器就会生成打包函数但是如果父类的析构函数不是虚函数这个打包函数就永远进不了虚表vtable编译器依然生成了打包函数编译器在底层确实为Derived生成了一个打包函数里面包含了~Derived()和~Base()。但是虚表里根本没有它打包函数因为~Base()不是虚函数所以Base的虚表里没有析构函数的槽位。既然父类虚表里没有子类的虚表里自然也不会去覆盖或新增这个槽位。delete ptr;时的灾难当你用基类指针delete ptr;时底层第一步是查虚表找打包函数。结果一查虚表里根本没有析构函数于是编译器只能静态绑定直接调用Base::~Base()。结局Derived的打包函数被彻底无视了父类资源清理了子类资源直接泄漏为了彻底明白这个底层逻辑必须回到 C 虚表机制的最核心铁律虚表vtable和虚函数是“自底向上”继承和覆盖的绝对不能“自顶向下”凭空产生用底层的视角一步步拆解为什么“父类不是虚析构子类是虚析构”是一个彻底的灾难1. 虚表的生成规则核心铁律父类Base因为它的析构函数没有virtual关键字编译器在生成Base_vtable时绝对不会在里面留一个析构函数的槽位。子类Derived当编译器生成Derived_vtable时它的底层动作是“拷贝一份父类的虚表”。既然父类的虚表里根本没有析构函数的槽位子类拷贝过来之后自然也没有槽位2. 那子类的virtual ~Derived()去哪了你可能会问子类明明写了virtual ~Derived()编译器难道不把它放进虚表吗答案是绝对不放在 C 底层只有当基类父类声明了虚函数时派生类子类的重写才会被放进虚表。如果父类没有声明这个虚函数子类就算自己写了virtual ~Derived()编译器也只会把它当成一个普通的成员函数绝对不会把它塞进Derived_vtable里3.delete ptr;时的底层惨案现在当用基类指针Base* ptr new Derived();然后执行delete ptr;时底层发生了什么查虚表CPU 顺着ptr找到对象的vptr查Derived_vtable。找析构槽位CPU 按照约定去虚表里找析构函数的位置。查无此表因为父类没加virtual导致整个虚表体系里根本没有析构函数的槽位静态绑定编译器在编译delete ptr;时发现ptr是Base*类型且~Base()不是虚函数于是直接生成了一条死指令call Base::~Base()。结局子类那个带virtual的~Derived()因为没被放进虚表被彻底无视了子类的资源直接泄漏终极总结多态的开关永远掌握在“父类”手里如果父类没加virtual这扇门就是关死的。子类就算自己喊破喉咙写了virtual ~Derived()也进不了虚表。只有父类加了virtual这扇门才会打开编译器才会在虚表里给析构函数留位置子类的打包函数才有机会被放进去。这就是为什么 C 界有一条用血泪总结出来的铁律只要你的类打算被继承并且未来会通过基类指针去delete那么它的析构函数就必须是虚函数一句话总结子类的虚表都是拷贝父类的父类有的虚函数子类才有才能重写后写入虚表5. 纯虚函数与抽象类【现象】含有纯虚函数的类不能实例化。【底层原理】纯虚函数在vtable中依然会占一个槽位但它的值是一个特殊的指针通常指向一个运行时报错函数如__cxa_pure_virtual或者直接是NULL。当你尝试new Base()时编译器在构造Base对象时会把vptr指向Base_vtable。但是因为Base_vtable中存在NULL或报错函数的槽位编译器认为这个对象的“虚函数契约”是不完整的。因此编译器直接拒绝生成Base的new表达式代码在编译期就报错。为什么这么设计纯虚函数的本质是“接口契约”。它在内存层面就是一个未完成的 vtable。如果允许实例化一旦通过基类指针调用该纯虚函数底层查表就会跳到NULL导致 CPU 触发段错误 (Segmentation Fault)。C 选择在编译期拦截这种危险行为。6. 多重继承下的 vtable 布局【现象】一个类继承多个带虚函数的基类时对象内存里会有多个vptr。【代码】class A { virtual void fa(); }; class B { virtual void fb(); }; class C : public A, public B { virtual void fc(); };【底层原理】C 采用多个 vtable的策略。对象C的内存布局如下[低地址] vptr_A ------ 指向 C_vtable_A (包含 fa, fc) A 的成员 vptr_B ------ 指向 C_vtable_B (包含 fb) B 的成员 C 的成员 [高地址]当发生多态调用时A* ptr new C(); ptr-fa();- 使用vptr_A查表。B* ptr new C(); ptr-fb();- 编译器底层会进行指针调整 (Pointer Adjustment)。因为B的子对象在内存中偏移了sizeof(A)个字节编译器在赋值时会自动把指针加上偏移量使其精准指向vptr_B然后再查表。为什么这么设计C 坚持“零开销抽象”和“内存紧凑”。如果为了多继承搞一个巨大的、包含所有基类虚函数的统一 vtable那么每次调用都需要在表里进行复杂的查找且浪费内存。多个 vtable 既保证了 O(1) 的查表速度又完美契合了 C 内存布局中“基类子对象平铺”的物理模型。总结底层原理的核心本质空间换时间用每个对象多占 8 字节64位系统下vptr的空间以及每次虚函数调用多 2~3 条汇编指令的代价换取了运行时多态的灵活性。编译器是幕后黑手C 语法只是表象底层全是编译器在帮你插代码插vptr赋值、插指针偏移、插析构链。CPU 只认地址CPU 不懂什么是“多态”它只知道mov取地址call跳转。虚函数表就是把“多态”翻译成了 CPU 能懂的“间接寻址”。