C++虚函数表原理与多态实现机制详解

1. 揭开虚函数表的神秘面纱

第一次接触C++多态特性时，我盯着反汇编代码里那些奇怪的地址跳转百思不得其解。直到有一天在调试器里偶然看到内存窗口中出现了一串规律性的函数指针，才恍然大悟这就是传说中的虚函数表（vtable）。这个发现让我兴奋得像个发现新大陆的探险家——原来编译器在背后默默构建了这么精妙的数据结构来实现多态。

虚函数表本质上是个函数指针数组，每个包含虚函数的类都会在编译期生成这样一张"菜单"。当我们在基类指针上调用虚函数时，程序会根据对象实际类型找到对应的"菜单项"执行。这种间接调用机制虽然会带来轻微的性能开销（通常多一次指针解引用），但换来了运行时动态绑定的超能力。

调试技巧：在GDB中使用info vtbl命令可以直接查看对象的虚函数表内容，VS调试器则可以在内存窗口搜索对象首地址附近的函数指针。

2. 从编译器视角看动态多态

2.1 对象内存布局的奥秘

让我们用g++ -fdump-class-hierarchy选项编译下面这个经典例子：

cpp复制class Animal {
public:
    virtual void eat() { cout << "Animal eating" << endl; }
    virtual ~Animal() {}
};

class Cat : public Animal {
public:
    void eat() override { cout << "Cat eating fish" << endl; }
    void purr() { cout << "Purring..." << endl; }
};

编译器生成的类层次信息会显示：

code复制Vtable for Animal
Animal::_ZTV6Animal: 3u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI6Animal)
16    (int (*)(...))Animal::eat

Vtable for Cat
Cat::_ZTV3Cat: 3u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI3Cat)
16    (in