纯虚函数通过=0声明,要求派生类重写;含纯虚函数的抽象类不能实例化,用于定义接口、实现多态,如Shape类中virtual void draw()=0,由Circle等子类实现,支持基类指针调用对应方法。

在C++中,纯虚函数和抽象类是实现多态和接口设计的重要机制。它们用于定义不能被实例化的类,并强制派生类实现特定的接口。
纯虚函数的定义
纯虚函数是一种在基类中声明但不提供实现的虚函数,要求派生类必须重写该函数。它通过在函数声明后加上 = 0 来标识。
语法格式如下:
virtual 返回类型 函数名(参数列表) = 0;
立即学习“C++免费学习笔记(深入)”;
例如:
virtual void draw() = 0;
这表示 draw() 是一个纯虚函数,任何继承该类的子类都必须提供自己的 draw() 实现。
抽象类的特征与作用
包含至少一个纯虚函数的类被称为抽象类。抽象类不能直接创建对象(即不能实例化),只能作为基类被继承。
抽象类的主要用途包括:
- 定义统一的接口,供多个派生类遵循
- 实现运行时多态,通过基类指针或引用调用派生类的方法
- 封装公共操作,同时保留部分行为由子类决定
示例:
class Shape {
public:
virtual void draw() = 0; // 纯虚函数
virtual ~Shape() = default;
};
class Circle : public Shape {
public:
void draw() override {
// 具体实现
}
};
这里 Shape 是抽象类,Circle 继承自 Shape 并实现了 draw() 方法,因此可以实例化。
设计抽象类的建议
使用抽象类时应注意以下几点:
- 通常将析构函数设为虚函数,确保通过基类指针删除对象时正确调用派生类的析构函数
- 纯虚函数可以有实现,但很少见。如果需要默认行为,可在类外定义函数体
- 抽象类可以包含普通成员函数、数据成员和其他非纯虚函数
- 一个类即使没有纯虚函数,但如果设计目的是作为基类使用,也可考虑将其构造函数设为保护(protected)以防止实例化
基本上就这些。掌握纯虚函数和抽象类的使用,有助于构建清晰、可扩展的面向对象程序结构。











