C++继承机制：从内存布局到虚函数表解析

1. 继承机制深度解析

C++继承作为面向对象编程的三大特性之一，其底层实现机制远比表面看起来复杂。让我们先看一个典型的多层继承案例：

cpp复制class Base {
public:
    int base_data;
    virtual void show() { cout << "Base::show()" << endl; }
};

class Derived : public Base {
public:
    int derived_data;
    void show() override { cout << "Derived::show()" << endl; }
};

class DeepDerived : public Derived {
public:
    int deep_data;
    void show() override { cout << "DeepDerived::show()" << endl; }
};

在这个三层继承结构中，编译器会如何处理内存布局？通过sizeof运算符我们可以观察到：

cpp复制cout << sizeof(Base) << endl;        // 典型输出：16（64位系统）
cout << sizeof(Derived) << endl;     // 典型输出：24
cout << sizeof(DeepDerived) << endl; // 典型输出：32

注意：具体大小取决于编译器和系统架构，但增长规律反映了继承带来的内存开销

1.1 虚函数表与继承链

虚函数机制是继承体系的核心支柱。当存在虚函数时，每个类会生成一个虚函数表(vtable)，对象则包含指向该表的指针(vptr)。在多层继承中：

1. 派生类会继承基类的vptr
2. 重写的虚函数会替换vtable中的对应条目
3. 新增虚函数会追加到vtable末尾

通过调试器查看内存，可以发现：

• Base对象的vptr指向Base的vtable
• Derived对象的vptr指向Derived的vtable（其中show()条目已被覆盖）
• DeepDerived对象的vptr指向DeepDerived的vtable

1.2 内存布局的真相

使用offsetof宏可以探查成员变量的精确偏移：

cpp复制cout << offsetof(Base, base_data) << endl;        // 通常为8（跳过vptr）
cout << offsetof(Derived, derived_data) << endl;  // 通常为16
cout << offsetof(DeepDerived, deep_data) << endl; // 通常为24

这种布局揭示了继承的本质：派生类对象包含完整的基类子对象，新成员追加在末尾。这也是为什么基类指针可以安全指向派生类对象——它们共享相同的内存起始布局。

2. 多重继承的复杂世界

当引入多重继承时，情况会变得更加复杂。考虑以下钻石型继承：

cpp复制class Top {
public:
    int top_data;
    virtual void top_func() {}
};

class Left : virtual pu