在C++面向对象编程中,抽象接口配合多态机制可以让上层代码通过统一的接口调用多种不同子类的对象,这是实现代码解耦和提升扩展性的常用手段。抽象接口本质是一个包含纯虚函数的抽象类,它只定义行为规范,不提供具体实现,子类必须重写这些纯虚函数才能被实例化。

抽象接口的定义
首先需要定义一个抽象类作为接口,类中包含至少一个纯虚函数,纯虚函数的语法是在虚函数声明后加上=0,抽象类不能被直接实例化,只能作为基类被继承。
// 定义抽象接口,包含纯虚函数
class Shape {
public:
// 纯虚函数,计算面积,子类必须实现
virtual double getArea() = 0;
// 纯虚函数,绘制图形,子类必须实现
virtual void draw() = 0;
// 虚析构函数,确保删除基类指针时能正确调用子类析构函数
virtual ~Shape() {}
};
子类实现抽象接口
不同的子类继承抽象接口类,并且必须重写接口中所有的纯虚函数,否则子类也会成为抽象类,无法被实例化。每个子类可以根据自身特性实现不同的业务逻辑。
// 圆形子类,继承Shape接口
class Circle : public Shape {
private:
double radius;
public:
Circle(double r) : radius(r) {}
// 实现getArea方法
double getArea() override {
return 3.14 * radius * radius;
}
// 实现draw方法
void draw() override {
// 模拟绘制圆形的逻辑
printf("绘制一个半径为%.2f的圆形n", radius);
}
};
// 矩形子类,继承Shape接口
class Rectangle : public Shape {
private:
double width;
double height;
public:
Rectangle(double w, double h) : width(w), height(h) {}
// 实现getArea方法
double getArea() override {
return width * height;
}
// 实现draw方法
void draw() override {
// 模拟绘制矩形的逻辑
printf("绘制一个宽为%.2f、高为%.2f的矩形n", width, height);
}
};
通过抽象接口调用多种子类对象
上层代码只需要持有抽象接口的指针或引用,就可以调用不同子类对象的实现,不需要关心对象的具体类型,这就是多态的特性。通常会将不同子类的对象指针存储到抽象类指针的容器中,遍历容器统一调用接口方法。
#include <stdio.h>
#include <vector>
int main() {
// 存储抽象接口指针的容器,可存放不同子类的对象
std::vector<Shape*> shapes;
// 添加圆形对象
shapes.push_back(new Circle(5.0));
// 添加矩形对象
shapes.push_back(new Rectangle(4.0, 6.0));
// 遍历容器,通过抽象接口调用子类方法
for (Shape* shape : shapes) {
shape->draw();
printf("面积: %.2fn", shape->getArea());
}
// 释放动态分配的内存,避免内存泄漏
for (Shape* shape : shapes) {
delete shape;
}
shapes.clear();
return 0;
}
注意事项
- 抽象类的析构函数建议定义为虚函数,否则当通过基类指针删除子类对象时,只会调用基类的析构函数,子类的析构函数不会被调用,可能导致内存泄漏。
- 子类重写纯虚函数时,函数的返回值、参数列表必须和基类中的声明完全一致,否则会被视为定义了新的函数,没有重写基类的纯虚函数,子类依然无法实例化。
- 如果不需要修改抽象接口的方法,可以将方法声明为
const成员函数,子类的重写版本也需要保持const属性。 - 使用智能指针管理抽象接口指针可以自动释放内存,避免手动delete的遗漏,比如使用
std::unique_ptr<Shape>来存储对象。
常见问题解答
为什么抽象接口不能有非纯虚函数的实现?
抽象接口的设计目的是定义统一的行为规范,不提供具体实现,所以通常只包含纯虚函数。不过C++允许抽象类包含有实现的普通成员函数,这些函数可以被子类继承调用,但是只要类中存在至少一个纯虚函数,这个类就是抽象类,不能被实例化。
如果子类没有重写所有纯虚函数会怎么样?
如果子类没有重写抽象基类中的所有纯虚函数,那么子类也会成为抽象类,无法被实例化,编译时会报错提示无法实例化抽象类。
可以用抽象接口的引用代替指针吗?
可以,抽象接口的引用同样支持多态调用,但是引用必须在定义时初始化,并且不能重新绑定到其他对象,使用场景和指针有所区别,比如作为函数参数时可以使用引用,避免指针的空指针问题。