C++中的虚函数与虚函数表

虚函数

定义： 虚函数是在基类中使用关键字virtual声明的成员函数，它在派生类中可以被重写（override）。当通过基类指针或引用调用虚函数时，实际执行的是派生类中的版本，这一特性称为动态绑定或运行时多态。

作用：

• 实现运行时多态，允许通过基类接口调用派生类的实现
• 提供接口与实现的分离，支持"一个接口，多种方法"的面向对象设计原则

语法示例：

class Base {
public:
    virtual void display() { // 虚函数声明
        cout << "Base class display function" << endl;
    }
};

class Derived : public Base {
public:
    void display() override { // 覆盖基类的虚函数
        cout << "Derived class display function" << endl;
    }
};

虚函数表

定义： 虚函数表（vtable）是C++编译器为实现多态而自动生成的静态数据结构。每个包含虚函数的类都有一个对应的虚函数表，表中存储了该类虚函数的地址。

结构：

• 虚函数表是一个函数指针数组
• 每个包含虚函数的类对象都包含一个指向其类虚函数表的指针（通常称为vptr）
• 派生类的虚函数表继承自基类，并可能替换（重写）某些函数指针

工作原理：

1. 编译器为每个包含虚函数的类创建一个虚函数表
2. 在类的每个对象中，编译器插入一个指向该类虚函数表的隐藏指针（vptr）
3. 当通过基类指针或引用调用虚函数时：
   • 程序通过对象的vptr找到对应的虚函数表
   • 从虚函数表中获取实际要调用的函数地址
   • 调用该地址处的函数

示例：

class Base {
public:
    virtual void func1() { cout << "Base::func1()" << endl; }
    virtual void func2() { cout << "Base::func2()" << endl; }
};

class Derived : public Base {
public:
    void func1() override { cout << "Derived::func1()" << endl; } // 重写func1
    virtual void func3() { cout << "Derived::func3()" << endl; }   // 新增虚函数
};

对于上面的代码：

• Base类的虚函数表包含：&Base::func1, &Base::func2
• Derived类的虚函数表包含：&Derived::func1, &Base::func2, &Derived::func3

虚函数与虚函数表的关系

虚函数和虚函数表是C++实现运行时多态的核心机制：

1. 声明关系：当类中声明至少一个虚函数时，编译器会为该类生成虚函数表
2. 存储关系：虚函数表存储了类中所有虚函数的地址
3. 调用关系：通过虚函数表，程序在运行时能够确定调用哪个函数实现

使用场景与注意事项

使用场景：

• 需要通过基类指针或引用调用派生类方法
• 实现多态行为，如不同形状的绘图、不同支付方式的处理等
• 设计框架和库，提供可扩展的接口

注意事项：

1. 构造函数不能是虚函数：

   • 构造函数用于初始化对象，在构造函数执行期间，对象的类型还未完全确定
   • 虚函数调用需要通过vptr，而vptr在构造函数执行过程中才被初始化

2. 析构函数应该是虚函数（当类可能被继承时）：

   • 确保通过基类指针删除派生类对象时，会调用正确的析构函数顺序
   • 避免资源泄漏

   class Base {
   public:
       virtual ~Base() { // 虚析构函数
           cout << "Base destructor" << endl;
       }
   };
   
   class Derived : public Base {
   public:
       ~Derived() override {
           cout << "Derived destructor" << endl;
       }
   };
   
   Base* obj = new Derived();
   delete obj; // 正确调用Derived::~Derived()，然后调用Base::~Base()
   

3. 性能开销：

   • 虚函数调用比普通函数调用略慢，因为需要通过虚函数表间接调用
   • 每个对象需要额外的空间存储vptr

4. 内联限制：

   • 虚函数通常不能内联，因为编译时无法确定调用哪个实现

纯虚函数与抽象类

纯虚函数：

• 在基类中声明但没有实现的虚函数
• 语法：virtual void functionName() = 0;
• 包含纯虚函数的类称为抽象类，不能被实例化

抽象类：

• 包含至少一个纯虚函数的类
• 用作接口，定义派生类必须实现的方法
• 可以提供部分实现，但派生类必须实现所有纯虚函数才能被实例化

class AbstractBase {
public:
    virtual void pureVirtual() = 0; // 纯虚函数
    virtual void virtualFunction() { // 普通虚函数，提供默认实现
        cout << "AbstractBase::virtualFunction()" << endl;
    }
};

class ConcreteDerived : public AbstractBase {
public:
    void pureVirtual() override { // 必须实现纯虚函数
        cout << "ConcreteDerived::pureVirtual()" << endl;
    }
    // 可以选择重写virtualFunction，也可以使用基类的实现
};

参考资料

1. C++ Reference: Virtual functions
2. GeeksforGeeks: Virtual functions and runtime polymorphism in C++
3. Microsoft Docs: Virtual Functions
4. StackOverflow: How do virtual functions work internally?