C++虚函数表机制详解

---

前言

在C++中，虚函数表（vtable）是实现动态多态的核心机制。以下是其详细说明：

---

一、基本概念

• 虚函数（Virtual Function）：声明为virtual的成员函数，允许在派生类中被重写。

• 多态（Polymorphism）：通过基类指针或引用调用虚函数时，实际执行派生类的重写版本。

二、虚函数表（vtable）的作用

• 动态绑定：在运行时确定调用的函数版本。
• 存储虚函数地址：每个包含虚函数的类都有一个虚函数表，其中按声明顺序存储该类所有虚函数的地址。
• 对象关联：每个对象内部包含一个指向虚函数表的指针（vptr），用于在运行时查找正确的函数。

三、虚函数表的结构

• 编译时生成：编译器为每个含虚函数的类生成唯一的虚函数表。
• 条目顺序：按虚函数在类中的声明顺序排列。
  • 若派生类重写虚函数，表中对应位置替换为派生类函数地址。
  • 若派生类新增虚函数，新函数地址追加到表末尾。

示例

class Base {
public:
    virtual void func1() {} // 虚函数表条目1
    virtual void func2() {} // 虚函数表条目2
};

class Derived : public Base {
public:
    void func1() override {} // 替换Base::func1（条目1）
    virtual void func3() {}  // 新增到条目3
};

• Base的虚函数表：[Base::func1, Base::func2]
• Derived的虚函数表：[Derived::func1, Base::func2, Derived::func3]

四、虚函数表指针（vptr）

• 对象内存布局：vptr通常位于对象起始位置（具体取决于编译器）。
• 构造与析构：
  • 对象构造时，vptr被初始化为当前类的虚函数表地址。
  • 析构时，vptr逐步调整为基类的虚函数表地址。

五、多重继承与虚函数表

• 多基类情况：派生类可能包含多个vptr，分别对应不同基类的虚函数表。
• 虚基类：虚继承可能导致更复杂的虚函数表结构，包含偏移量等信息。

示例

class Base1 { virtual void f1() {} };
class Base2 { virtual void f2() {} };
class Derived : public Base1, public Base2 {
    void f1() override {}
    virtual void f3() {}
};

• Derived对象包含两个vptr：
  • 一个指向Base1的虚函数表（含Derived::f1）。
  • 另一个指向Base2的虚函数表（含Base2::f2）。

六、虚析构函数

• 必要性：若类可能被继承，析构函数应声明为虚函数，确保通过基类指针删除对象时正确调用派生类析构函数。
• 虚函数表条目：虚析构函数在表中占据一个条目，通常与其他虚函数共存。

七、运行时类型信息（RTTI）

• type_info：虚函数表通常包含指向type_info的指针，支持typeid和dynamic_cast。
• 存储位置：在GCC等编译器中，type_info指针位于虚函数表的第一个条目。

八、性能与开销

• 内存开销：每个对象需存储vptr，每个类需维护虚函数表。
• 时间开销：虚函数调用需通过vptr间接寻址，略慢于非虚函数。

九、代码示例（验证vtable布局）

#include <iostream>

class Base {
public:
    virtual void func1() { std::cout << "Base::func1\n"; }
    virtual void func2() { std::cout << "Base::func2\n"; }
};

class Derived : public Base {
public:
    void func1() override { std::cout << "Derived::func1\n"; }
    virtual void func3() { std::cout << "Derived::func3\n"; }
};

int main() {
    Derived d;
    // 获取vptr（假设位于对象起始地址）
    void** vptr = *(void***)&d;
    
    // 通过函数指针调用虚函数（依赖编译器实现）
    using FuncPtr = void(*)();
    ((FuncPtr)vptr[0])(); // 调用Derived::func1（若vptr[0]为type_info，则需调整索引）
    ((FuncPtr)vptr[1])(); // 调用Base::func2
    ((FuncPtr)vptr[2])(); // 调用Derived::func3
    
    return 0;
}

注意：此代码依赖编译器实现（如GCC/Clang），不可移植。

十、总结

• 核心机制：虚函数表通过存储虚函数地址和vptr实现动态绑定。
• 多态实现：允许基类指针调用派生类函数。
• 编译器依赖：具体实现（如vptr位置、vtable结构）因编译器而异。

理解虚函数表有助于深入掌握C++多态原理及对象内存模型，但对实际开发而言，应遵循面向对象设计原则，而非直接操作虚函数表。

---