虚函数提供可被重写的默认实现,允许派生类选择性覆盖,支持运行时多态;纯虚函数强制派生类实现接口,定义抽象类以规范行为契约。

在c++中,虚函数和纯虚函数是实现多态机制的核心工具,它们都用于支持运行时多态,但用途和语义有明显区别。理解它们的差异,有助于更好地进行面向对象设计和接口抽象。
虚函数:提供可被重写的默认实现
虚函数是在基类中使用virtual关键字声明的成员函数,它允许派生类根据需要重写(override)该函数。基类中的虚函数可以有具体实现,派生类可以选择是否覆盖它。
关键点:
示例:
立即学习“C++免费学习笔记(深入)”;
class Animal {
public:
virtual void speak() {
cout << “Animal makes a sound” << endl;
}
};
class Dog : public Animal {
public:
void speak() override {
cout << “Woof!” << endl;
}
};
纯虚函数:强制派生类实现接口
纯虚函数是一种特殊的虚函数,使用= 0语法声明,表示该函数在基类中没有实现,必须由派生类提供具体实现。
关键点:
示例:
立即学习“C++免费学习笔记(深入)”;
class Shape {
public:
virtual double area() = 0; // 纯虚函数
virtual ~Shape() = default;
};
class Circle : public Shape {
double r;
public:
Circle(double radius) : r(radius) {}
double area() override {
return 3.14159 * r * r;
}
};
多态机制与接口设计的实际意义
C++的多态依赖虚函数表(vtable)机制,在运行时通过指针或引用确定调用哪个函数版本。虚函数让基类接口具备扩展性,而纯虚函数则强化了接口契约的设计理念。
在大型系统设计中:
- 使用虚函数适合有通用默认行为的场景,比如日志记录、资源清理等。
- 使用纯虚函数适合构建清晰的接口规范,如图形绘制、数据序列化等模块。
- 抽象类结合纯虚函数,能有效隔离变化,提升代码可维护性和可测试性。
基本上就这些。掌握虚函数与纯虚函数的区别,不仅能写出更灵活的代码,还能更好理解C++中接口与实现分离的设计哲学。不复杂但容易忽略细节,比如析构函数应为虚函数以确保正确释放资源。