在C++面向对象编程中，抽象类与纯虚函数是构建可扩展系统的重要基石。抽象类指包含至少一个纯虚函数的类，它描述了某一类对象的通用接口，却不为这些接口提供完整实现。纯虚函数则是一种特殊的虚函数，用于强制派生类给出具体行为。借助这两者，开发者可以在不依赖具体类型的情况下编写通用逻辑，从而降低模块间的耦合度。
一、纯虚函数的定义方式
纯虚函数的语法形式是在虚函数声明末尾写上= 0，这表明该函数没有实现体，仅作为接口存在。包含纯虚函数的类自动成为抽象类，编译器禁止其实例化。下面是一段典型的声明代码：
#include <iostream>
using namespace std;
// 抽象类：图形基类
class Shape {
public:
// 纯虚函数，没有实现
virtual void draw() = 0;
virtual double area() = 0;
virtual ~Shape() {}
};
// 具体类：圆形
class Circle : public Shape {
public:
void draw() override {
cout << "绘制圆形" << endl;
}
double area() override {
return 3.14 * 1.0 * 1.0;
}
};
在上面代码中，Shape类因为拥有draw和area两个纯虚函数，所以无法直接创建Shape对象。如果写Shape s;，编译器会提示不能实例化抽象类。只有像Circle这样把纯虚函数全部实现后，才能生成实例。
需要注意的是，抽象类的析构函数通常应声明为虚函数，这样通过基类指针删除派生类对象时，才能正确调用派生类的析构逻辑，避免资源泄漏。纯虚函数本身也可以有定义，但即便提供了定义，子类仍必须重写它，这种用法较为少见，多用于需要共享默认行为但又强制覆盖的场景。
二、抽象类与纯虚函数的核心作用
抽象类本质上是一种“接口契约”。它规定了派生类必须做什么，而不关心怎么做。这种设计把变化限制在子类内部，使上层代码可以面向基类编程。例如一个渲染引擎只需调用Shape::draw()，无需知道背后是圆形还是矩形。
从架构角度看，纯虚函数消除了对具体类型的依赖。假设系统中新增一种Triangle类，只要它继承自Shape并实现纯虚函数，原有渲染循环就无需修改。这种开放封闭特性，是大型C++项目保持稳定性的关键手段。
三、典型使用场景
第一个常见场景是框架或库的基础接口设计。比如游戏引擎中的组件系统，往往定义一个Component抽象类，纯虚函数update和render由具体组件实现。引擎主循环只持有Component*数组，实现统一调度。
class Component {
public:
virtual void update(float dt) = 0;
virtual void render() = 0;
virtual ~Component() {}
};
class HealthBar : public Component {
public:
void update(float dt) override {
// 更新血量逻辑
}
void render() override {
// 绘制血条
}
};
第二个场景是插件式架构。主程序定义一组抽象接口，第三方模块以动态库形式提供实现。主程序通过工厂函数拿到抽象类指针，完全不关心插件内部细节。这样既能保证安全性，也方便独立替换模块。
第三个场景是算法策略的抽象。例如定义SortStrategy抽象类，纯虚函数sort由快速排序、归并排序等具体类实现。调用方在运行时切换策略对象，即可改变行为，而不必写复杂的分支判断。
四、与普通虚函数的对比
普通虚函数提供默认实现，派生类可选择重写或不重写；纯虚函数没有默认实现，派生类必须重写，否则派生类也会变成抽象类。下面的表格说明了二者区别：
| 对比项 | 普通虚函数 | 纯虚函数 |
|---|---|---|
| 是否有默认实现 | 有 | 无（或可选） |
| 派生类是否必须重写 | 否 | 是 |
| 类是否可实例化 | 可以 | 包含则不可 |
| 主要目的 | 允许扩展默认行为 | 强制定义接口 |
如果错误地用普通虚函数代替纯虚函数，可能导致派生类忘记重写关键方法，程序运行时出现逻辑缺失却难以察觉。而纯虚函数在编译期就拦截了这类问题，提升代码可靠性。
不过，抽象类也并非越多越好。过度抽象会让类层级膨胀，增加理解成本。实践中应仅在真正存在“多种实现、统一调用”需求时引入纯虚函数，避免为了模式而模式。
五、编写时的注意事项
在多重继承场景下，若两个基类都有同名纯虚函数，派生类只需实现一次即可同时满足两者。但若签名不同，则需分别实现，否则仍属抽象类。此外，C++11引入override关键字，建议在重写纯虚函数时标注，让编译器帮忙检查签名是否匹配。
class BaseA {
public:
virtual void foo() = 0;
};
class BaseB {
public:
virtual void foo(int x) = 0;
};
class Derived : public BaseA, public BaseB {
public:
void foo() override { } // 实现BaseA
void foo(int x) override { } // 实现BaseB
};
另一个易错点是对抽象类使用值传递。由于不能实例化，函数参数或返回值应避免写Shape s这种值类型，而应改用指针或引用，如void process(Shape& s)。这样既能通过编译，也符合多态的使用习惯。
总体来看，C++抽象类与纯虚函数为接口抽象提供了语言级支持。掌握它们的定义规则与适用边界，能帮助你设计出清晰、灵活且易维护的系统结构。