抽象类是含纯虚函数、不可实例化但可被继承的类,用于定义接口规范和实现多态;它强制派生类实现纯虚函数,支持统一调用、解耦类型,并需声明虚析构函数以防止资源泄漏。

抽象类在C++中不是用来直接创建对象的,而是作为接口规范和行为契约的载体——它强制派生类实现特定功能,从而统一调用方式、支持多态,是面向对象设计中“封装变化”和“依赖抽象”的核心支撑。
抽象类的核心特征:含纯虚函数
一个类只要声明了至少一个纯虚函数(virtual 返回类型 函数名() = 0;),它就是抽象类。这类类不能实例化,只能被继承:
- 纯虚函数没有函数体,只提供接口声明,派生类必须重写才能实例化
- 可以包含普通成员函数、成员变量、构造/析构函数(注意:抽象类的析构函数建议设为 virtual)
- 抽象类可多重继承,也可作为其他抽象类的基类
用抽象类定义统一接口(类似“接口”语义)
C++没有 interface 关键字,但通过只含纯虚函数的抽象类,就能模拟接口行为。例如定义图形绘制规范:
class Shape {public:
virtual double area() const = 0;
virtual void draw() const = 0;
virtual ~Shape() = default; // 建议虚析构
};
所有具体图形(Circle、Rect 等)都继承 Shape 并实现 area() 和 draw(),上层代码只需面向 Shape* 或 Shape& 编程,完全解耦具体类型。
立即学习“C++免费学习笔记(深入)”;
抽象类与具体类协作:运行时多态的关键
抽象类本身不干活,价值体现在指针或引用的多态调用中:
- 用 Shape* 指向 Circle 或 Triangle 对象,调用 draw() 会自动执行对应子类版本
- 容器可存储不同具体类型的指针(如 vector
>),统一管理异构对象 - 函数参数接收 Shape& 或 Shape*,即可接受任意子类对象,无需模板或重载爆炸
常见误区提醒
别把抽象类当成“高级基类”随意加实现;也别因无法实例化就回避它:
- 抽象类中可以有非纯虚函数(提供默认行为),但至少一个 = 0 是硬性门槛
- 派生类若未实现全部纯虚函数,它自己也变成抽象类,仍不可实例化
- 构造函数不能是虚函数,但析构函数强烈建议声明为 virtual,防止 delete 基类指针时资源泄漏
基本上就这些。抽象类不是语法糖,它是用编译器帮你守住设计边界的方式——让不该被绕过的契约,在编译期就亮红灯。










