在C++面向对象编程中,纯虚函数是一种特殊的虚函数。它在基类中只给出声明,并不提供函数体,目的是强制派生类去实现这个函数。含有纯虚函数的类被称为抽象类,不能直接用来创建对象,只能作为接口或基类被继承。通过纯虚函数,我们可以把“做什么”和“怎么做”分开,让代码更具扩展性与维护性。

纯虚函数的语法形式
纯虚函数的声明方式是在虚函数后面加上 = 0,这表示该函数没有实现。下面是一个最简单的例子:
#include <iostream>
using namespace std;
// 抽象类
class Shape {
public:
// 纯虚函数
virtual double area() = 0;
};
class Circle : public Shape {
private:
double r;
public:
Circle(double radius) : r(radius) {}
// 重写纯虚函数
double area() override {
return 3.14 * r * r;
}
};
int main() {
// Shape s; // 错误:不能实例化抽象类
Circle c(2.0);
cout << c.area() << endl;
return 0;
}
纯虚函数的作用
纯虚函数主要有以下几方面作用:
- 定义统一的接口规范,让不同派生类以各自方式实现同一行为。
- 阻止基类被直接实例化,保证程序通过派生类使用对象。
- 配合指针或引用实现运行时多态,提升系统灵活性。
抽象类与纯虚函数
只要类中存在至少一个纯虚函数,这个类就是抽象类。抽象类可以包含普通成员函数和成员变量,但纯虚函数必须在派生类中被重写,否则派生类也会变成抽象类。
注意:如果派生类没有实现基类的所有纯虚函数,那么该派生类依然不能实例化。
带有部分实现的纯虚函数
虽然纯虚函数一般没有函数体,但C++允许我们为纯虚函数提供默认实现,不过仍然需要派生类显式重写它:
#include <iostream>
using namespace std;
class Base {
public:
virtual void show() = 0;
};
// 纯虚函数也可以有默认实现
void Base::show() {
cout << "Base show" << endl;
}
class Derived : public Base {
public:
void show() override {
Base::show(); // 调用默认实现
cout << "Derived show" << endl;
}
};
int main() {
Derived d;
d.show();
return 0;
}
使用时的注意点
| 注意项 | 说明 |
|---|---|
| 析构函数 | 若类中有纯虚函数,通常应将析构函数声明为虚函数,避免资源泄漏。 |
| override关键字 | C++11后建议使用override明确重写,减少拼写错误。 |
| 多重继承 | 多个基类有同名纯虚函数时,派生类只需实现一次即可。 |
总的来说,C++中的纯虚函数是构建抽象接口和多态机制的核心工具。合理使用它能让程序结构更清晰,也更容易应对需求变化。