C++动态联编与虚函数表详解

桃夭

发布时间：2026-10-16| 8人浏览过

原创

C++通过动态联编实现运行时多态，核心在于虚函数与虚函数表的配合。本文从联编定义出发，解释指针兼容性规则，并深入剖析虚函数表的工作机制及其带来的性能影响。

一、静态联编与动态联编的区别

函数名联编（binding）是指将源代码中的函数调用解释为执行特定代码块的过程。在C语言中，每个函数名对应唯一地址，联编简单明确。而在C++中，由于支持函数重载，编译器需根据函数名和参数类型确定具体函数。

静态联编：在编译阶段完成选择。因为此时函数的参数和调用关系是确定的，编译器可以直接生成指向特定函数的代码。

动态联编：在程序运行时确定。引入虚函数后，编译器无法预先知道用户将使用哪个类型的对象，因此必须允许在运行时根据实际对象类型选择正确的虚函数实现。

第1步：理解指针与引用的类型兼容性

动态联编依赖于继承体系中的“is-a”关系。公有继承允许父类指针或引用指向子类对象，这是多态的基础。但需要注意的是，C++严禁不同类型的直接地址赋值。

以下操作均为非法：

double x = 2.5;
int *pi = &x;      // 非法：不同类型地址不能直接赋值
long &r = x;       // 非法：引用绑定需类型兼容

第2步：掌握强制转换规则

C++定义了两种特定的指针转换方式，理解它们是掌握多态的前提：

向上强制转换（upcasting）：将派生类指针/引用转换为基类指针/引用。这是安全的，因为派生类包含基类的所有成员，基类的操作对派生类同样适用。该转换具有可传递性。
向下强制转换（downcasting）：将基类指针/引用转换为派生类指针/引用。原则上不允许，因为派生类通常新增成员，基类对象可能不具备这些属性。若强行转换可能导致未定义行为。

二、虚函数的工作原理

为了支持动态联编，编译器需要在运行时识别对象的真实类型。其核心机制是为每个包含虚函数的对象维护一个虚函数表（vtable）。

第3步：构建虚函数表结构

编译器在每个类中添加一个隐藏的成员指针，指向该类专属的虚函数地址数组。以下是示例类的结构分析：

class Human {
    private:
        char name[40];
    public:
        virtual void show_name();  // 虚函数1
        virtual void show_all();   // 虚函数2
};

class Hero : public Human {
    private:
        char power[20];
    public:
        void show_all();           // 重写基类虚函数
        virtual void show_power(); // 新增虚函数
};

第4步：观察内存中的虚表变化

基类 Human：对象中隐含一个指针，指向虚表。表中依次存储 show_name 和 show_all 的地址（例如 [1024, 1222]）。

派生类 Hero：同样拥有隐藏指针。由于未重写 show_name，其第一个槽位仍为 1024；重写了 show_all，该位置替换为新地址（如 2333）；新增的 show_power 被追加到表尾（如 3777）。因此 Hero 的虚表为 [1024, 2333, 3777]。