C++ 虚函数与纯虚函数：深入理解多态机制

运行结果将显示不同车辆的行驶描述，这正是多态的体现。

注意：建议使用 override 关键字显式声明重写。如果函数签名不匹配，编译器会直接报错，这能有效防止因拼写错误导致的意外行为。另外，虚函数不能是 static 静态函数，因为静态函数属于类本身，无法通过对象实例进行运行时绑定。

二、纯虚函数与抽象类

纯虚函数是没有函数体的虚函数，通常用于定义接口规范。包含纯虚函数的类称为抽象类，它不能被实例化，只能作为基类被继承。

2.1 声明语法

在虚函数声明末尾添加 = 0 即可定义为纯虚函数：

class Base {
public:
    virtual void func() = 0;
};

2.2 抽象类特性

1. 无法实例化：不能直接创建抽象类的对象，只能定义指针或引用。
2. 强制重写：派生类必须重写所有纯虚函数，否则派生类也会成为抽象类。
3. 接口作用：抽象类主要定义'做什么'，具体实现由派生类完成。

2.3 实战案例：图形绘制系统

假设我们需要设计一个图形绘制系统，不同的图形有不同的绘制方式和面积计算逻辑：

#include <iostream>
#include <string>
using namespace std;

// 抽象类：图形
class Shape {
public:
    string color;

    // 纯虚函数：绘制图形
    virtual void draw() = 0;

    // 纯虚函数：计算面积
    virtual double getArea() = 0;

    // 普通成员函数：设置颜色
    void setColor(string c) {
        color = c;
    }
};

// 派生类：三角形
class Triangle : public Shape {
private:
    double base;
    double height;
public:
    Triangle(double b, double h) : base(b), height(h) {}

    // 必须重写所有纯虚函数
    void draw() override {
        cout << "绘制一个" << color << "的三角形" << endl;
    }

    double getArea() override {
        return 0.5 * base * height;
    }
};

// 派生类：正方形
class Square : public Shape {
private:
    double side;
public:
    Square(double s) : side(s) {}

    void draw() override {
        cout << "绘制一个" << color << "的正方形" << endl;
    }

    double getArea() override {
        return side * side;
    }
};

int main() {
    // 抽象类不能实例化对象
    // Shape s; // 编译错误

    // 抽象类指针指向派生类对象
    Shape* shape1 = new Triangle(10, 5);
    Shape* shape2 = new Square(8);

    shape1->setColor("红色");
    shape2->setColor("蓝色");

    shape1->draw();
    cout << "三角形面积：" << shape1->getArea() << endl;

    shape2->draw();
    cout << "正方形面积：" << shape2->getArea() << endl;

    delete shape1;
    delete shape2;
    return 0;
}

三、虚函数与纯虚函数的区别

四、虚函数表的底层工作机制

理解虚函数表（vtable）和虚函数指针（vptr）对于掌握 C++ 多态至关重要，也能帮助我们规避一些潜在的性能陷阱。

4.1 基本概念

1. 虚函数表（vtable）：当类中包含虚函数时，编译器会为该类生成一个全局的虚函数表，存储类中所有虚函数的地址。
2. 虚函数指针（vptr）：每个对象的内存布局中，会包含一个隐藏的虚函数指针，指向所属类的虚函数表。
3. 继承与覆盖：派生类的虚函数表会继承基类的虚函数表。如果派生类重写了某个虚函数，会用新的函数地址覆盖表中对应的位置。

4.2 工作流程

• 编译时，编译器为每个包含虚函数的类生成虚函数表。
• 创建对象时，编译器自动为对象添加 vptr，并让其指向所属类的虚函数表。
• 运行时，通过基类指针或引用调用虚函数时，先通过 vptr 找到虚函数表。
• 根据虚函数表中的函数地址，调用对应类的函数版本。

4.3 内存布局

以 Vehicle 基类和 Car 派生类为例：

• Vehicle 类的虚函数表包含 &Vehicle::run。
• Car 类的虚函数表包含 &Car::run（覆盖了基类的函数地址）。

当执行 Vehicle* v = new Car() 时，v 指向的对象的 vptr 会指向 Car 类的虚函数表。此时调用 v->run()，实际执行的是 Car::run。

关键点：虚函数表属于类，所有对象共享同一个虚函数表，节省内存；虚函数指针属于对象，每个对象都有独立的 vptr，通常占用 4 字节（32 位）或 8 字节（64 位）。

五、虚析构函数：解决资源泄漏问题

当基类指针指向派生类对象并通过 delete 释放时，如果基类析构函数不是虚函数，会导致派生类的析构函数无法被调用，从而引发内存泄漏。

5.1 问题演示

#include <iostream>
using namespace std;

class Base {
public:
    Base() { cout << "Base 构造函数被调用" << endl; }
    ~Base() { cout << "Base 析构函数被调用" << endl; } // 非虚析构
};

class Derived : public Base {
private:
    int* data;
public:
    Derived() {
        data = new int[10];
        cout << "Derived 构造函数被调用" << endl;
    }
    ~Derived() {
        delete[] data;
        cout << "Derived 析构函数被调用" << endl;
    }
};

int main() {
    Base* p = new Derived();
    delete p; // 仅调用基类析构函数，派生类析构未调用
    return 0;
}

运行结果只会看到 Base 的析构函数被调用，data 数组未被释放，造成内存泄漏。

5.2 解决方案

将基类的析构函数声明为虚函数：

class Base {
public:
    Base() { cout << "Base 构造函数被调用" << endl; }
    virtual ~Base() { cout << "Base 析构函数被调用" << endl; } // 虚析构
};

class Derived : public Base {
private:
    int* data;
public:
    Derived() {
        data = new int[10];
        cout << "Derived 构造函数被调用" << endl;
    }
    ~Derived() override {
        delete[] data;
        cout << "Derived 析构函数被调用" << endl;
    }
};

int main() {
    Base* p = new Derived();
    delete p; // 先调用派生类析构，再调用基类析构
    return 0;
}

此时，析构顺序变为 Derived -> Base，资源得到正确释放。

开发规范：只要类中包含虚函数，就应该将析构函数声明为虚析构函数，这是避免内存泄漏的黄金法则。

六、常见陷阱与解决方案

6.1 函数签名不匹配

问题：派生类重写的函数参数或返回值不一致，导致无法触发多态。 对策：严格保证函数签名一致，并使用 override 关键字让编译器辅助检查。

6.2 构造函数/析构函数中调用虚函数

问题：构造和析构过程中，对象类型尚未完全形成或已销毁，此时调用虚函数无法实现多态。 对策：避免在构造函数和析构函数中调用虚函数，若需调用请使用普通函数。

6.3 性能开销

问题：虚函数调用涉及间接寻址，比普通函数调用多一层开销。 对策：在高性能敏感场景下，尽量减少虚函数使用，或考虑模板等静态多态方式替代。

七、实战案例：员工薪资计算系统

设计一个支持多种角色的薪资计算系统，利用虚函数实现动态多态，确保新增角色时无需修改原有代码。

7.1 需求分析

• 抽象基类 Employee：包含纯虚函数 calculateSalary。
• 派生类 RegularEmployee：普通员工，薪资 = 基本工资。
• 派生类 TechEmployee：技术员工，薪资 = 基本工资 + 技术补贴。
• 派生类 Manager：管理人员，薪资 = 基本工资 + 管理补贴。

7.2 代码实现

#include <iostream>
#include <string>
using namespace std;

// 抽象基类：员工
class Employee {
protected:
    string name;
    double baseSalary;

public:
    Employee(string n, double bs) : name(n), baseSalary(bs) {}

    // 纯虚函数：计算薪资
    virtual double calculateSalary() = 0;

    // 虚析构函数
    virtual ~Employee() {}

    // 普通函数：获取姓名
    string getName() {
        return name;
    }
};

// 派生类：普通员工
class RegularEmployee : public Employee {
public:
    RegularEmployee(string n, double bs) : Employee(n, bs) {}
    double calculateSalary() override {
        return baseSalary;
    }
};

// 派生类：技术员工
class TechEmployee : public Employee {
private:
    double techAllowance;
public:
    TechEmployee(string n, double bs, double ta) : Employee(n, bs), techAllowance(ta) {}
    double calculateSalary() override {
        return baseSalary + techAllowance;
    }
};

// 派生类：管理人员
class Manager : public Employee {
private:
    double manageAllowance;
public:
    Manager(string n, double bs, double ma) : Employee(n, bs), manageAllowance(ma) {}
    double calculateSalary() override {
        return baseSalary + manageAllowance;
    }
};

// 通用函数：打印员工薪资
void printSalary(Employee* emp) {
    cout << "员工 " << emp->getName() << " 的薪资为：" << emp->calculateSalary() << " 元" << endl;
}

int main() {
    Employee* emp1 = new RegularEmployee("张三", 5000);
    Employee* emp2 = new TechEmployee("李四", 6000, 2000);
    Employee* emp3 = new Manager("王五", 8000, 3000);

    printSalary(emp1);
    printSalary(emp2);
    printSalary(emp3);

    delete emp1;
    delete emp2;
    delete emp3;
    return 0;
}

7.3 运行结果

员工 张三 的薪资为：5000 元
员工 李四 的薪资为：8000 元
员工 王五 的薪资为：11000 元

八、总结

虚函数通过 virtual 关键字声明，支持派生类重写，实现运行时多态；纯虚函数无函数体，用于定义接口，包含纯虚函数的类是抽象类。虚函数的底层实现依赖虚函数表和虚函数指针，虚函数表存储虚函数地址，虚函数指针指向虚函数表。虚析构函数是解决派生类资源泄漏的关键，只要类中包含虚函数，就应该将析构函数声明为虚函数。虚函数的核心优势是支持代码扩展，符合开闭原则，是大型 C++ 项目设计的核心机制。