c++多态实现原理

一句话说明：含有虚函数的类存在自己的虚函数表，编译阶段子类虚函数表继承父类后覆盖了重写的虚函数，运行时子类对象通过虚指针指向的是子类虚函数表，从而达到多态的效果。

在 C++ 中，多态是通过虚函数（Virtual Functions）和虚函数表（Virtual Table，通常称为 vtable）来实现的。尽管 C 语言本身不直接支持多态或面向对象的概念，但我们可以使用一些基本的 C 语言特性来模拟 C++ 中多态的实现机制，以便更加清晰地理解其原理。

虚函数和虚函数表

在 C++ 中，如果一个类中的函数被声明为 virtual，那么这个函数就是虚函数。当通过指向基类的指针调用虚函数时，会根据对象的实际类型来决定调用哪个版本的函数，这就是多态的体现。

为了支持这种行为，C++ 编译器会为每个含有虚函数的类生成一个虚函数表。这个表是一个函数指针数组，其中每个条目指向对应的虚函数实现。同时，每个对象都会持有一个指向其类虚函数表的指针，这个指针通常被称为虚指针（vptr）。

使用 C 语言模拟

在 C 语言中，我们可以通过结构体和函数指针来模拟类和虚函数的概念。

1. 定义结构体：我们可以为每个“类”定义一个结构体，其中包含数据成员和一个指向函数指针数组的指针（模拟 vptr）。

2. 实现虚函数表：为每个“类”创建一个全局的函数指针数组，作为其虚函数表。结构体中的 vptr 将指向这个数组。

3. 构造函数：写一个函数来初始化结构体，包括将 vptr 设置为指向正确的虚函数表。

4. 实现虚函数：为结构体中每个虚函数实现相应的函数，函数的第一个参数是指向结构体自身的指针（模拟 this 指针）。

示例

假设我们有一个基类 Base 和一个派生类 Derived，在 C++ 中它们分别包含一个虚函数 func()。

用 C 语言表示：

typedef struct Base {

    void (**vptr)(); // 指向虚函数表的指针

    // 其他成员变量

} Base;

typedef struct Derived {

    Base base; // 继承 Base

    // Derived 特有的成员变量

} Derived;

// Base 的虚函数表

void (*Base_vtable[])() = {

    Base_func, // 指向 Base 版本的 func 
};

// Derived 的虚函数表 
void (*Derived_vtable[])() = {

    Derived_func, // 指向 Derived 版本的 func

};

void Base_func(Base* this) {

    // Base 的 func 实现

}

void Derived_func(Base* this) {

    // Derived 的 func 实现

}

void Base_construct(Base* base) {

    base->vptr = Base_vtable; // 将 vptr 设置为 Base 的虚函数表

    // 初始化 Base 的其他成员变量
}

void Derived_construct(Derived* derived) {

    Base_construct(&derived->base); // 初始化 Base 部分

    derived->base.vptr = Derived_vtable; // 将 vptr 重置为 Derived 的虚函数表

    // 初始化 Derived 的其他成员变量

}

void call_func(Base* base) {

    (*base->vptr[0])(base); // 通过虚函数表调用 func

}

在这个示例中，Base_construct 和 Derived_construct 分别充当构造函数的角色，负责初始化对象并设置 vptr。call_func 函数演示了如何通过对象的 vptr 来动态调用正确版本的 func，实现多态性。这种方式模拟了 C++ 的多态机制，但使用了纯 C 语言的特性。