虚函数是C++实现运行时多态的关键机制，允许基类指针调用派生类重写的函数。通过virtual关键字在基类中声明，派生类使用override重写，实现动态绑定。例如Shape基类的virtual void draw()在Circle类中被重写，Shape* ptr = new Circle(); ptr->draw(); 调用Circle的版本。纯虚函数（virtual void draw() = 0;）使类成为抽象类，不能实例化，强制派生类实现该函数。如Rectangle继承Shape并实现draw()。虚析构函数确保通过基类指针删除对象时正确调用派生类析构函数，防止资源泄漏，应始终将基类析构函数设为虚函数。注意虚函数仅适用于非静态成员函数，构造函数不能为虚函数，且虚函数有vtable开销，需谨慎使用。
在C++中，虚函数（virtual function）是实现多态的核心机制。通过虚函数，基类指针或引用可以调用派生类中重写的函数，从而实现“同一个接口，多种行为”。
什么是虚函数？
虚函数是在基类中使用 virtual 关键字声明的成员函数，它允许在派生类中被重写（override）。当通过基类指针或引用调用该函数时，程序会根据对象的实际类型决定调用哪个版本的函数——这就是动态绑定（运行时多态）。
示例：
定义一个基类 Shape，包含一个虚函数 draw()：
立即学习“C++免费学习笔记（深入）”；
class Shape {
public:
virtual void draw() {
cout << "Drawing a shape." << endl;
}
};
再定义一个派生类 Circle，重写 draw() 函数：
class Circle : public Shape {
public:
void draw() override {
cout << "Drawing a circle." << endl;
}
};
使用基类指针调用 draw()：
Shape* ptr = new Circle(); ptr->draw(); // 输出：Drawing a circle.
尽管指针类型是 Shape*，但实际调用的是 Circle 的 draw()，因为 draw() 是虚函数。
纯虚函数与抽象类
如果希望某个函数必须在派生类中实现，可以在基类中将其定义为纯虚函数，语法为：virtual 返回类型 函数名() = 0;
包含纯虚函数的类称为抽象类，不能实例化对象。
示例：
class Shape {
public:
virtual void draw() = 0; // 纯虚函数
};
class Rectangle : public Shape {
public:
void draw() override {
cout << "Drawing a rectangle." << endl;
}
};
此时无法创建 Shape 对象：
// Shape s; // 错误！抽象类不能实例化
只能用派生类对象：
Shape* ptr = new Rectangle(); ptr->draw(); // 正确，输出：Drawing a rectangle.
虚析构函数的重要性
当通过基类指针删除派生类对象时，如果不将析构函数设为虚函数，可能导致派生类的析构函数不被调用，造成资源泄漏。
解决方法：将基类的析构函数声明为虚函数。
示例：
class Shape {
public:
virtual void draw() = 0;
virtual ~Shape() {
cout << "Shape destroyed." << endl;
}
};
class Triangle : public Shape {
public:
~Triangle() {
cout << "Triangle destroyed." << endl;
}
void draw() override {
cout << "Drawing a triangle." << endl;
}
};
现在删除对象时能正确调用派生类析构函数：
Shape* ptr = new Triangle(); delete ptr; // 输出顺序： // Triangle destroyed. // Shape destroyed.
注意事项与常见误区
使用虚函数时需注意以下几点：
- 只有成员函数才能声明为虚函数，全局函数和静态函数不行。
- 构造函数不能是虚函数（对象还没构造完成，无法建立虚函数表）。
- 析构函数通常应为虚函数，尤其是作为基类时。
- 建议使用 override 关键字明确表示重写，提高代码可读性和安全性。
- 虚函数依赖虚函数表（vtable），有一定内存和性能开销，非必要不滥用。
基本上就这些。掌握虚函数的使用，是理解C++面向对象多态特性的关键一步。正确使用虚函数、纯虚函数和虚析构函数，能让程序结构更清晰、扩展性更强。
