1. C虚函数表内存布局在 C 中虚函数是实现多态的核心机制。当类中包含虚函数时编译器通常会为每个类生成一张虚函数表vtable并在每个对象中插入一个隐藏的指针vptr指向所属类的虚函数表。虚函数表的内存布局直接影响动态绑定的性能与可移植性。本文将详细剖析 C 虚函数表在典型编译器如 GCC/Clang下的内存布局结合汇编层视图帮助理解多态调用背后的奥秘。2. 基础概念vptr 与 vtable虚表指针vptr每个包含虚函数的类对象在内存起始位置通常会有一个编译器生成的指针指向该类的虚函数表。虚函数表vtable一个存储函数指针的数组每个槽位指向一个虚函数的实际实现。如果类没有虚函数基类vtable 通常放在只读数据段.rodata中。3. 单继承下的 vtable 布局我们从一个简单示例入手使用 GCC 编译x86-64 平台。3.1 基础类 Baseclass Base { public: virtual void f() { } virtual void g() { } virtual ~Base() { } };在 64 位系统中一个Base对象的内存布局大致如下偏移 0: vptr (8 字节) 偏移 8: 可能存在的成员属性 ...该 vptr 指向的 vtable 中函数指针按声明顺序排列vtable for Base: [0] Base::f() [1] Base::g() [2] Base::~Base()需要特别注意的是析构函数若定义虚析构编译器可能生成两个析构条目complete object destructor 和 deleting destructor此处简化为一个条目。3.2 派生类 Derivedclass Derived : public Base { public: void f() override { } virtual void h() { } ~Derived() override { } };Derived对象拥有自己的 vtable。该表会替换被重写函数的指针并追加新声明的虚函数vtable for Derived: [0] Derived::f() // 覆盖 Base::f [1] Base::g() // 未覆盖保留基类实现 [2] Derived::~Derived() [3] Derived::h()基类部分的 vtable 槽位索引保持不变派生类只替换实现。通过基类指针调用f()时运行时根据 vptr 查表跳转到派生类的版本这便是动态绑定的核心。4. 多继承下的 vtable 布局当类从多个基类继承时每个基类子对象都会拥有独立的 vptr指向同一张 vtable 的不同区域或完全独立的 vtable这是 C 多继承内存布局最复杂的部分。4.1 示例定义class Base1 { public: virtual void f1() {} }; class Base2 { public: virtual void f2() {} }; class DerivedMulti : public Base1, public Base2 { public: void f1() override {} void f2() override {} virtual void f3() {} };4.2 对象布局在 GCC 下DerivedMulti对象可能长这样偏移 0: vptr_Base1 (指向 vtable 的 Base1 部分) 偏移 8: Base1 成员... 偏移 N: vptr_Base2 (指向 vtable 的 Base2 部分) 偏移 N8: Base2 成员... ...此时 vtable 结构更像是vtable for DerivedMulti: -- Base1 子表区 -- [0] DerivedMulti::f1() [1] RTTI 信息如 typeinfo [2] ... 偏移量调整值thunk -- Base2 子表区 -- [0] DerivedMulti::f2() // 可能通过 thunk 调整 this 指针 [1] ...通过Base2*指针调用虚函数时编译器需要调整 this 指针指向Base2子对象的起始位置。这一调整通常由一小段被称为thunk的代码完成thunk 地址会存入 vtable 对应槽位。5. 虚继承与 vtable虚继承用于解决菱形继承问题其布局更加复杂编译器通常引入虚基类表VBT或额外的间接层。在 GCC/Itanium ABI 下vtable 中会包含虚基类偏移量等元数据但我们不在此处展开完整模型仅指出虚继承下的对象布局远非简单线性理解时可先将虚继承单独分析。6. 查看 vtable 的实践方法在 Linux 下可以使用g -fdump-class-hierarchy编译选项输出类的内存布局文本或者借助clang -cc1 -fdump-record-layouts查看详细布局。此外使用 GDB 打印对象地址及内容可以看到 vptr 指向的 vtable 地址(gdb) print *((void**)obj) $1 (void *) 0x4010e0 vtable for Derived16通过手工解析 vtable 内容可以验证前述布局。7. 常见误解与注意事项vptr 不一定总在对象开头当类首元素为基类子对象时vptr 位于基类区域在多重继承中次要基类的 vptr 可能偏移。vtable 属于类而非对象所有同类型对象共享同一张 vtable对象仅存储 vptr 指针。非虚函数不进入 vtable只有声明为 virtual 的函数才会参与动态绑定。纯虚函数的 vtable 条目可能为 0或指向__cxa_pure_virtual调用未定义的纯虚函数会导致运行时错误。C 虚函数表的内存布局在单继承下较为简洁对象头部一个 vptr 指向按声明顺序排列的函数指针表。多继承通过为每个基类子对象分配独立的 vptr 和 thunk 技术实现正确的 this 调整。虚继承进一步增加复杂度但基本思想不变。理解 vtable 布局不仅有助于深入掌握 C 对象模型也能在性能调优、逆向工程及底层系统编程中提供坚实理论基础。