C++ 虚函数深度解析：多态、语法与底层原理

1.1 什么是多态？

在了解了虚函数后，多态的概念就清晰了。继续上面的例子，如果 bar() 函数接收一个 A* 参数：

void bar(A* a) {
    a->foo(); // 运行时确定调用 A::foo() 还是 B::foo()
}

仅凭这段代码无法确定调用结果。但如果 a 指向 A 的实例，则调用 A::foo()；若指向 B 的实例，则调用 B::foo()。这种同一接口在不同对象上产生不同行为的特点，就是多态。

1.2 多态的价值

多态能让程序员摆脱对具体类层次的依赖。在面向对象设计中，我们抽象出基类和派生类。如果没有多态，使用者必须针对每个具体的派生类编写代码，一旦增加新类，所有使用者代码都需修改，耦合度极高。

有了多态，bar() 作为使用者，无需知道类层次中有多少个类，只需操作基类指针即可。当新增 C 类继承自 A 时，bar() 无需任何修改。这归功于编译器为虚函数生成的动态绑定代码。

1.3 动态联编的实现原理

编译器如何处理虚函数？标准方式是通过 VTABLE（虚函数表） 机制。

当一个类包含 virtual 函数时，编译器会为该生成一个 VTABLE。这是一个函数指针数组，每个虚函数占用一个槽位。每个类只有一个 VTABLE，无论有多少实例。派生类也有自己的 VTABLE，且同名虚函数在数组中的位置相同。

创建实例时，编译器会在内存布局中增加一个 vptr 字段，指向本类的 VTABLE。虚函数调用会被改写为通过 vptr 查找并调用函数。

例如：

void bar(A* a) {
    a->foo();
}

在底层逻辑上类似：

void bar(A* a) {
    (a->vptr[1])(); // 伪代码示意
}

由于基类和派生类的同名虚函数索引相同，而 vptr 指向不同的表，从而实现了运行时的动态分发。

1.4 Overload 与 Override

• Override（重写/覆盖）：派生类重写基类的虚函数。参数表和返回值必须一致（C++ 标准允许协变返回类型，但兼容性有限）。中文常译为'覆盖'。
• Overload（重载）：同一作用域内，函数名相同但参数列表不同。这是静态多态的一种形式。

二、虚函数的语法规范

2.1 Virtual 关键字的使用

class A {
public:
    virtual void foo();
};

class B : public A {
public:
    void foo(); // 即使没有 virtual，也是虚函数
};

class C : public B {
public:
    void foo(); // 同样是虚函数
};

只要基类声明了虚函数，派生类中的同名函数自动成为虚函数，无需重复添加 virtual 关键字。

2.2 纯虚函数

class A {
public:
    virtual void foo() = 0; // 纯虚函数
};

纯虚函数意味着该类是抽象类，不能被实例化。它定义了派生类必须实现的接口规范。

2.3 虚析构函数

当类被用作基类时，析构函数必须是虚的。否则，通过基类指针删除派生类对象时，只会调用基类析构函数，导致资源泄漏。

class A {
public:
    char* ptra_;
    A() { ptra_ = new char[10]; }
    virtual ~A() { delete[] ptra_; } // 必须为虚析构
};

class B : public A {
public:
    char* ptrb_;
    B() { ptrb_ = new char[20]; }
    ~B() { delete[] ptrb_; }
};

void foo() {
    A* a = new B;
    delete a; // 若 A 析构非虚，B 的析构不会被调用
}

纯虚析构函数通常用于强制类成为抽象类，但普通虚析构已足够。

2.4 构造函数不能是虚函数

构造过程尚未完成，对象类型未完全确立，因此构造函数不能是虚的。

三、使用技巧与注意事项

3.1 Private 虚函数

虚函数可以是私有的。虽然 bar() 在 A 中是 private，但在派生类中仍可重写并产生多态效果。这表示 A 希望 B 重写该行为，但不希望外部直接调用。

3.2 构造函数与析构函数中的虚调用

在构造函数和析构函数内部调用虚函数时，不会发生多态。此时函数被视为普通函数，调用的是当前正在构建或销毁的类的版本。

class A {
public:
    A() { foo(); } // 调用 A::foo()
    virtual void foo();
};

即使 new B，在 A 的构造函数执行期间，foo() 仍调用 A 的版本。设计时应避免在此阶段依赖多态行为。

3.3 何时使用虚函数

设计基类时，若发现某个函数在派生类中需要有不同的表现，应将其声明为虚函数。基类中的虚函数是接口，派生类中的实现是具体逻辑。

例如工厂方法模式（Factory Method），Creator 的 factoryMethod() 是虚函数，派生类重写后产生不同的 Product 对象。又如集合操作，若用 std::vector<A*> 存储不同派生类对象，应对统一操作声明为 virtual，避免频繁类型转换。

四、核心总结

1. 抽象类：含有纯虚函数的类称为抽象类，不可实例化。只含普通虚函数的类不是抽象类。
2. 接口规范：纯虚函数必须在子类中实现才能使用，常用于定义统一接口。
3. 动态绑定：虚函数支持运行时绑定，纯虚函数也支持，但必须有实现。
4. 生命周期限制：虚函数不能有 static 修饰符，因为 static 要求编译期绑定，与虚函数的动态绑定冲突。
5. 实例化限制：包含纯虚函数的类不能直接 new，必须被子类继承并重写。

以下是一个完整的演示示例：

#include <iostream>
using namespace std;

class VirtualBase {
public:
    virtual void Demon() = 0; // 纯虚函数
    virtual void Base() { cout << "this is father class" << endl; }
};

class SubVirtual : public VirtualBase {
public:
    void Demon() override { cout << "This is SubVirtual!" << endl; }
    void Base() override {
        cout << "this is subclass Base" << endl;
    }
};

int main() {
    VirtualBase* inst = new SubVirtual(); // 多态指针
    inst->Demon();
    inst->Base();
    
    // VirtualBase* inst2 = new VirtualBase(); // 错误：不能实例化抽象类
    
    delete inst;
    return 0;
}