在 C 语言里实现多态往往让人抓狂：你需要自己手动维护虚函数表、指针，还要担心内存布局、继承关系等细节。

1️⃣ 虚函数表和虚函数指针的创建时机

说到编译期。生成 vtable

每个含有虚函数的类型，编译器都会为它生成一个只读的虚函数表。这个表是一个函数指针数组，记录了该类型所有虚方法的地址。怎么说呢，

typedef struct {
void;void，void;} AnimalVTable;AnimalVTable animal_vtable = {
&Animal_speak。&Animal_eat,&Animal_destroy
};AnimalVTable dog_vtable = {
&Dog_speak。&Dog_eat,&Animal_destroy
};

再看运行期，为对象设置 vptr

对象实例在构造时会得到一个隐藏成员 vptr指向该对象所属类的 vtable。这样，当我们通过基类指针调用虚方法时运行时就能通过 vptr 找到真正的实现。

typedef struct {
AnimalVTable *vptr;int x，} Animal;
typedef struct {
Animal base;
} Dog，void Dog_init {
d->base.vptr = &dog_vtable;// 设置 vptr
}

典型的对象构造流程：

1. 分配内存
2. 初始化成员变量
3. 设置 vptr
4. 执行构造体代码
5. 派生类递归执行步骤 2‑4

2️⃣ 为什么这么设计？说起来，效率与灵活性的平衡点在哪里？说起来，

. 编译期创建 vtable 的优势

• 高效性： 只读表可以直接放进只读段。无需每次实例化都复制，
• 共享性： 同一类所有对象共享同一份表，节省内存。
• 类型安全： 编译器可检查签名，避免调用错误。

. 运行期设置 vptr 的必要性

• 多态支持： 不同子类实例拥有不同的 vtable，从而决定真正调用哪一实现。
• 动态绑定： 通过 vptr 在运行时定位正确的方法地址。
• 继承程序兼容： 复杂层级也能通过继承链保持正确指向。

3️⃣ 内存布局直观化——把 vptr 当成隐藏字段看待

typedef struct {
/* 隐藏成员 */
AnimalVTable *vptr;/* 使用者字段 */
int x;
} WithVirtual;

"为什么我的结构体大小比预期大 8 字节？" ——这正是因为隐藏的 *vptr。下面用代码验证一下：

#include
using namespace std;不过，class WithoutVirtual { int x;}，class WithVirtual { int x;话说回来，public: virtual void func {} };int main {
cout < "Without virtual: " < sizeof <" bytes
";
    cout < "With virtual:   " < sizeof   <" bytes
";
}

`sizeof` 的结果会告诉你：没有虚方法时仅占 `int` 大小；加上 `vptr` 后又多了一个指针长度。这正好印证了我们的假设，

4️⃣ 实际验证——用代码演示多态调用流程

/* 定义接口 */
typedef struct {
AnimalVTable *vptr;} Base，/* 子类实现 */
typedef struct {
Base base;} Derived，/* 函数实现 */
void Derived_speak { printf;}
void Derived_eat { printf;话说回来，}
/* 子类构造器 */
void Derived_init { d->base.vptr = &;}
int main {
Derived d;说起来，Derived_init;/* 虚拟调用 */
d.base.vptr->speak);}

`Derived_init` 把 `&d.base.vptr` 指向 `Derived_vtable`。随后任何基类指针都能通过此 `vptr` 找到真正的方法，实现了多态效果。话说回来，

5️⃣ 小结——把握两者关系。你就掌控了 C 多态之道！其实，

• vtable : 编译期生成、全局共享、只读；其实，代表“类型模板”，
• vptr : 对象实例持有、运行期初始化；代表“具体对象”，
• 二者结合。使得“同一接口，却可变换实现”，既保证了执行效率，又满足了灵活性需求。
• 理解并善用这套机制。你可以在 C 中写出像 C++ 那样强大的面向对象程序，也能更轻松地调试复杂继承结构。