虚函数的核心实现机制

在 C++ 中，多态性的实现依赖于动态绑定技术。其核心在于编译器为每个包含虚函数的类维护一张虚函数表（Virtual Table，简称 vtbl），并在每个类对象中隐式插入一个虚函数表指针（Virtual Pointer，简称 vptr）。

虚函数表 (vtbl)： 这是一个存储类中所有虚函数地址的数组。如果派生类重写了基类的虚函数，表中对应的地址将被替换为派生类函数的地址；若未重写，则保留基类函数的地址。

虚表指针 (vptr)： 当类包含虚函数时，编译器会在对象起始位置（或特定偏移处）添加一个指针，指向该类对应的虚函数表。该指针的初始化是在构造函数执行期间完成的。

#include <iostream>

class Shape {
public:
    virtual void draw() {
        std::cout << "Drawing a generic shape." << std::endl;
    }
    virtual void resize() {
        std::cout << "Resizing shape." << std::endl;
    }
};

class Circle : public Shape {
public:
    void draw() override {
        std::cout << "Drawing a circle." << std::endl;
    }
    // resize() 继承基类实现
};

int main() {
    Shape* ptr = new Circle();
    // 运行时步骤：
    // 1. 获取 ptr 指向对象的 vptr
    // 2. 通过 vptr 找到 Circle 类的 vtbl
    // 3. 查找 draw 对应的函数索引并调用
    ptr->draw(); 
    delete ptr;
    return 0;
}

对象内存布局分析

一个对象的内存大小不仅取决于其定义的数据成员，还受到虚函数机制的影响。以下是内存布局的主要规则：

• 基础大小： 非静态数据成员的总大小。
• vptr 开销： 若类有虚函数，对象中会多出一个指针的大小（32位系统为4字节，64位为8字节）。
• 对齐填充： 编译器为了提高存取效率，会根据最宽的基本类型成员进行内存对齐。
• 空类： 即使是没有任何成员的空类，其实例大小也为1字节，以确保每个实例在内存中有唯一的地址。

继承模式下的内存差异

1. 单一继承与覆盖

在简单的派生关系中，派生类对象会首先包含基类的成员（包括基类的 vptr），随后是派生类自身的数据。如果派生类增加了新的虚函数，这些函数地址通常会被追加到虚函数表的末尾。

2. 虚继承 (Virtual Inheritance)

虚继承是为了解决多重继承中的"菱形继承"问题。在虚继承下，编译器会引入虚基类指针（vbptr），指向虚基类表（vbtable）。这会导致对象布局变得更加复杂，可能同时存在多个指向不同表的指针（vfptr 和 vbptr）。

class Root { int val; };
class Intermediate : virtual public Root {
public:
    virtual void log() {}
};

// sizeof(Intermediate) 在32位下通常为 12 或 16
// 包含：Root 的成员、指向 Root 的 vbptr、以及 Intermediate 自身的 vfptr

多态实现的性能权衡

C++ 采用的这种"偏移索引"查表法（vtable）具有极高的执行效率，因为函数地址在编译期通过偏移量即可确定。相比之下，Smalltalk 或 Objective-C 采用的"按名查找"机制虽然在空间利用率上更高（无需为每个类生成巨大的表），但在运行时需要进行字符串匹配或哈希查找，速度相对较慢。

在大型框架（如 MFC 或 Qt）中，为了避免虚函数表过大带来的空间浪费，有时会采用消息映射机制来模拟多态。但在追求极致性能的底层开发中，虚函数仍然是首选。

非虚函数模拟多态的方案

如果不希望承担虚函数表的开销，可以利用函数指针手动实现动态派发：

#include <cstdio>

struct BaseAction;

typedef void (*ActionFunc)(BaseAction*);

struct BaseAction {
    ActionFunc execute;
    BaseAction(ActionFunc f) : execute(f) {}
};

struct DerivedAction : public BaseAction {
    DerivedAction() : BaseAction(DerivedAction::run) {}
    static void run(BaseAction* self) {
        printf("Executing derived logic.\n");
    }
};

int main() {
    DerivedAction derived;
    BaseAction* basePtr = &derived;
    // 模拟多态调用
    basePtr->execute(basePtr);
    return 0;
}

这种做法跳过了编译器的 vtbl 维护过程，在某些特定场景下（如嵌入式开发或高性能组件设计）能够提供更高的控制力，但代价是代码维护难度的增加。