虚函数实现多态，通过virtual关键字使派生类重写函数，运行时根据对象类型调用对应版本，借助vtable和vptr机制动态绑定，支持override和纯虚函数定义抽象接口，析构函数应声明为虚函数以避免资源泄漏。
虚函数是C++实现多态的核心机制，它的主要作用是允许派生类重写基类的函数，并在运行时根据对象的实际类型调用对应的函数版本。换句话说，通过虚函数，程序可以在基类指针或引用指向派生类对象时，正确调用派生类中重写的函数，而不是基类中的函数。
virtual关键字的作用
在基类中使用virtual关键字声明一个函数为虚函数后，该函数就具备了“动态绑定”的能力：
- 基类定义接口，派生类可以重写（override）这个函数
- 当通过基类指针或引用调用该函数时，实际执行的是对象所属类型的函数版本
- 如果没有virtual，调用将基于指针/引用的类型静态决定，无法实现多态
示例说明：
class Animal {
public:
virtual void speak() {
cout << "Animal speaks" << endl;
}
};
class Dog : public Animal {
public:
void speak() override {
cout << "Dog barks" << endl;
}
};
Animal* ptr = new Dog();
ptr->speak(); // 输出：Dog barks（因为speak是虚函数）
虚函数的实现原理：虚函数表（vtable）
C++编译器通过虚函数表（vtable）和虚表指针（vptr）来实现动态多态：
立即学习“C++免费学习笔记（深入）”；
- 每个含有虚函数的类都有一个虚函数表，存储着该类所有虚函数的地址
- 该类的每个对象内部都包含一个隐藏的指针（vptr），指向其类的虚函数表
- 当调用虚函数时，程序通过对象的vptr找到vtable，再查表调用对应函数
- 派生类会继承基类的vtable，并将被重写的函数地址替换为自己的实现
这种机制使得即使通过基类指针访问，也能正确调用派生类函数。
纯虚函数与抽象类
虚函数还可以进一步定义为纯虚函数，语法如下：
virtual void func() = 0;
- 含有纯虚函数的类称为抽象类，不能实例化对象
- 派生类必须实现所有纯虚函数，否则仍是抽象类
- 用于定义接口规范，强制子类提供具体实现
例如设计图形类体系时，可以定义一个抽象的Shape类：
class Shape {
public:
virtual double area() = 0; // 纯虚函数
};
注意事项与常见问题
- 构造函数不能是虚函数（对象未完成构造，vptr未就绪）
- 析构函数通常应声明为虚函数，防止派生类对象被基类指针删除时资源泄漏
- 虚函数有轻微性能开销（查表操作），但大多数场景下可忽略
- 建议使用override关键字明确表示重写，提高代码可读性和安全性
基本上就这些。虚函数是C++面向对象编程的重要基石，理解其作用和底层机制对写出高效、可扩展的代码非常关键。
