C++虚函数与vtable的实现机制：主流编译器如何处理虚分派？

尽管C++标准没有强制规定虚分派的实现方式，但GCC、Clang和MSVC这三家主流编译器都采用了**虚函数表（vtable）+虚指针（vptr）**的经典机制，下面具体拆解实现细节：

虚分派的执行流程 #

当通过抽象基类指针调用虚方法时，实际执行步骤如下：

• 从基类指针指向的对象中，取出编译器自动插入的隐藏虚指针（vptr）——通常位于对象内存布局的最开头（MSVC在部分场景下会调整位置，但核心逻辑一致）。
• 通过vptr找到对应类的虚函数表（vtable）：vtable是编译期生成的全局只读函数地址数组，每个带虚函数的类对应一份，按顺序存放该类所有虚方法的入口地址。
• 根据被调用虚方法在vtable中的索引，取出函数地址并执行。

比如抽象基类Base有虚方法foo()，派生类Derived重写该方法后，Base的vtable存Base::foo()地址，Derived的vtable存Derived::foo()地址。当用Base* ptr = new Derived();调用ptr->foo()时，会通过对象的vptr定位到Derived的vtable，最终执行Derived::foo()。

vtable在构造过程中的建立逻辑 #

vtable是编译期生成的全局常量结构，构造过程仅切换对象的vptr指向，具体流程：

• 基类构造阶段：创建派生类对象时，先执行基类构造函数，此时编译器将对象的vptr绑定到基类的vtable，确保基类构造中调用虚方法时，只会触发基类自身的实现（符合C++标准中“构造期间对象类型为当前正在构造的类”的规则）。
• 派生类构造阶段：基类构造完成后，进入派生类构造流程，编译器将对象的vptr更新为派生类的vtable，后续虚方法调用会指向派生类的实现。

"As If" 手动模拟示例 #

以下代码手动实现vtable、vptr及虚分派逻辑，还原编译器底层行为：

#include <iostream>

// 基类虚函数表结构
struct BaseVTable {
    void (*foo)(void*);
};

// 派生类虚函数表结构
struct DerivedVTable {
    void (*foo)(void*);
};

// 基类定义
struct Base {
    BaseVTable* vptr; // 手动添加虚指针

    Base() {
        // 构造时绑定基类vtable
        vptr = &BaseVTableInstance;
    }

    static void BaseFoo(void* this_ptr) {
        std::cout << "Base::foo()" << std::endl;
    }

    static BaseVTable BaseVTableInstance;
};
BaseVTable Base::BaseVTableInstance = {Base::BaseFoo};

// 派生类定义
struct Derived : Base {
    Derived() {
        // 基类构造完成后切换为派生类vtable
        vptr = reinterpret_cast<BaseVTable*>(&DerivedVTableInstance);
    }

    static void DerivedFoo(void* this_ptr) {
        std::cout << "Derived::foo()" << std::endl;
    }

    static DerivedVTable DerivedVTableInstance;
};
DerivedVTable Derived::DerivedVTableInstance = {Derived::DerivedFoo};

// 模拟虚分派调用
void call_foo(Base* ptr) {
    ptr->vptr->foo(ptr);
}

int main() {
    Base b;
    call_foo(&b); // 输出 Base::foo()

    Derived d;
    call_foo(&d); // 输出 Derived::foo()

    return 0;
}

内容的提问来源于stack exchange，提问作者Yakk - Adam Nevraumont