C++ 多态底层实现原理详解

从底层角度看，ptr->BuyTicket() 的执行流程如下：

1. 通过对象头部的 vptr 找到虚函数表。
2. 在虚表中定位到对应虚函数的地址。
3. 跳转到该地址执行。

这意味着，即使是指向基类的指针，只要指向的是派生类对象，就会调用派生类重写的版本。

2. 静态绑定与动态绑定

• 静态绑定：不满足多态条件（如非虚函数调用、对象直接调用）时，编译器在编译期确定函数地址，效率较高。
• 动态绑定：满足多态条件（指针/引用 + 虚函数）时，在运行期通过虚表查找地址。

// 动态绑定示例（汇编片段）
mov eax, dword ptr [ptr] ; 获取对象地址
mov edx, dword ptr [eax] ; 获取 vptr
mov ecx, dword ptr [ptr] ; 准备 this 指针
mov eax, dword ptr [edx] ; 从虚表中获取函数地址
call eax                 ; 调用函数

3. 虚函数表结构

• 存储位置：虚函数表通常存储在代码段（常量区），而非堆或栈。
• 共享性：同类型的对象共享同一张虚表。不同类型的对象拥有独立的虚表。
• 覆盖机制：派生类重写基类虚函数时，虚表中对应的地址会被更新为派生类函数的地址。
• 数组结构：虚表本质上是一个存放虚函数指针的数组，部分编译器会在末尾添加 0x00000000 作为结束标记。

class Base {
public:
    virtual void func1() { cout << "Base::func1" << endl; }
    virtual void func2() { cout << "Base::func2" << endl; }
    void func5() { cout << "Base::func5" << endl; }
protected:
    int a = 1;
};

class Derive : public Base {
public:
    virtual void func1() { cout << "Derive::func1" << endl; }
    virtual void func3() { cout << "Derive::func3" << endl; }
    void func4() { cout << "Derive::func4" << endl; }
protected:
    int b = 2;
};

int main() {
    Base b;
    Derive d;
    Base* p3 = &b;
    Derive* p4 = &d;
    
    // 打印虚表地址
    printf("Person 虚表地址：%p\n", *(int*)p3);
    printf("Student 虚表地址：%p\n", *(int*)p4);
    printf("虚函数地址：%p\n", &Base::func1);
    printf("普通函数地址：%p\n", &Base::func5);
    return 0;
}

运行结果验证了虚表地址位于常量区，且基类与派生类的虚表地址不同。