C++虚函数的实现原理

虚函数的概念和作用

虚函数是C++中实现多态性的关键机制。它允许派生类重写基类的函数，并通过基类指针或引用调用派生类的实现，这种机制被称为"动态绑定"或"运行时多态"。

虚函数表(vtable)的概念和结构

虚函数表（Virtual Table，简称vtable）是C++实现虚函数调用的核心数据结构。每个包含虚函数的类都有一个对应的虚函数表，它是一个函数指针数组，存储了该类中所有虚函数的地址。

虚函数表的结构特点：

• 表中每个元素是一个函数指针，指向一个虚函数的实现
• 表的顺序按照虚函数在类中声明的顺序排列
• 如果派生类重写了基类的虚函数，则表中对应的指针会指向派生类的实现
• 如果派生类添加了新的虚函数，它们会被追加到虚函数表的末尾

虚函数指针(vptr)的工作原理

每个包含虚函数的类的对象都会包含一个隐藏的指针成员，称为虚函数指针（vptr）。这个指针指向该类对应的虚函数表。

对象创建时vptr的初始化过程：

1. 构造函数会初始化对象的vptr，使其指向正确的虚函数表
2. 基类构造函数先将vptr设置为指向基类的虚函数表
3. 派生类构造函数会更新vptr，使其指向派生类的虚函数表

虚函数的调用过程

当通过基类指针或引用调用虚函数时，编译器会生成以下代码：

1. 通过对象的vptr找到对应的虚函数表
2. 根据虚函数在表中的偏移量找到正确的函数指针
3. 通过该函数指针调用实际的函数实现

虚函数的内存布局

一个包含虚函数的类的对象在内存中的布局通常如下：

1. 虚函数指针(vptr)
2. 类的非静态数据成员
3. 其他可能的填充字节

多重继承下的虚函数实现

在多重继承的情况下，实现会变得更复杂：

• 每个基类如果都有虚函数，则派生类对象会有多个vptr
• 每个vptr对应一个基类的虚函数表
• 当通过不同的基类指针调用虚函数时，会使用对应的vptr和虚函数表

虚析构函数的重要性

当通过基类指针删除派生类对象时，如果基类的析构函数不是虚函数，则只会调用基类的析构函数，而不会调用派生类的析构函数，这可能导致资源泄漏。因此，在基类中声明虚析构函数是一个良好的实践。

纯虚函数和抽象类

纯虚函数是在基类中声明但没有实现的虚函数，语法为在函数声明后加上"= 0"。包含纯虚函数的类被称为抽象类，不能被实例化。抽象类通常用作接口，定义派生类必须实现的方法。

代码示例

#include <iostream>
using namespace std;

class Base {
public:
    // 虚函数
    virtual void print() {
        cout << "Base class print function" << endl;
    }
    
    // 虚析构函数
    virtual ~Base() {
        cout << "Base class destructor" << endl;
    }
};

class Derived : public Base {
public:
    // 重写基类的虚函数
    void print() override {
        cout << "Derived class print function" << endl;
    }
    
    // 派生类析构函数
    ~Derived() override {
        cout << "Derived class destructor" << endl;
    }
};

int main() {
    Base* obj = new Derived();
    
    // 通过基类指针调用虚函数，实际调用的是派生类的实现
    obj->print();  // 输出: Derived class print function
    
    // 删除对象，由于基类析构函数是虚函数，会先调用派生类析构函数，再调用基类析构函数
    delete obj;    // 输出: Derived class destructor\nBase class destructor
    
    return 0;
}

参考文档

1. C++虚函数和虚表原理 - CSDN
2. C++ Virtual Functions - GeeksforGeeks
3. Inside the C++ Object Model - Stanley B. Lippman