C++抽象基类（ABC）详解：纯虚函数与多态实现

抽象基类的引入场景

在实现继承关系时，通常要求派生类与基类之间存在严格的“is-a”关系。然而在某些场景下，直接继承可能导致逻辑混乱。以图形处理为例：

• 几何特征差异：椭圆包含中心点、半长轴、半短轴和方向角；而圆仅需圆心和半径。虽然圆是特殊的椭圆，但其属性更少，且部分方法（如旋转、缩放）的逻辑完全不同。
• 代码复用矛盾：若直接让Circle继承Ellipse，需填充无效参数或忽略特定逻辑；若不继承，则共性代码（如移动、面积计算接口）无法复用。

解决方案是将共性提取至一个抽象基类（Abstract Base Class, ABC）。该类定义通用接口，但不提供完整实现，由具体的子类（如Circle、Ellipse）分别实现各自的业务逻辑。

纯虚函数与抽象基类的定义

C++通过纯虚函数来定义抽象基类。纯虚函数是在基类中声明但未实现的虚函数，其目的是为派生类提供一个统一的调用接口。

第1步：声明纯虚函数

在类的方法签名后添加 = 0 即可将其声明为纯虚函数。此时，该函数在基类中没有默认实现（尽管技术上可以后续提供，但通常不推荐），且包含任何纯虚函数的类自动成为抽象基类。

class BaseEllipse {
private:
    double x;
    double y;
public:
    // 构造函数
    BaseEllipse(double x0 = 0, double y0 = 0) : x(x0), y(y0) {}
    
    // 析构函数建议设为虚函数，以便正确删除子类对象
    virtual ~BaseEllipse() {}
    
    // 普通成员函数：可直接实现，子类可继承也可覆盖
    void Move(double nx, double ny) {
        x = nx;
        y = ny;
    }
    
    // 纯虚函数：强制子类必须重写此接口
    virtual double Area() const = 0;
};

第2步：理解抽象基类的限制

一旦类中包含纯虚函数，编译器将禁止创建该类的对象。以下操作会导致编译错误：

// 错误：不能实例化抽象基类
BaseEllipse obj;

抽象基类只能作为基类被继承，用户只能通过基类指针或引用来操作其派生类对象，从而实现运行时多态。

派生类的实现与多态调用

要从抽象基类派生出具体类，必须重写（override）所有继承的纯虚函数，否则派生类依然保持抽象性质，无法实例化。

第3步：派生类重写纯虚函数

在子类中实现基类定义的纯虚函数接口。以Circle和Ellipse为例：

class Circle : public BaseEllipse {
private:
    double radius;
public:
    Circle(double cx, double cy, double r) : BaseEllipse(cx, cy), radius(r) {}
    
    // 必须实现基类的纯虚函数Area()
    double Area() const override {
        return 3.14159 * radius * radius;
    }
};

class Ellipse : public BaseEllipse {
private:
    double a; // 半长轴
    double b; // 半短轴
public:
    Ellipse(double cx, double cy, double a_val, double b_val) : BaseEllipse(cx, cy), a(a_val), b(b_val) {}
    
    // 实现基类的纯虚函数Area()
    double Area() const override {
        return 3.14159 * a * b;
    }
};

第4步：利用多态管理对象

由于Circle和Ellipse都继承了BaseEllipse，可以使用基类指针数组统一管理它们，调用相同的接口（如Move、Area）会执行各自子类的版本。

BaseEllipse* shapes[] = {
    new Circle(0, 0, 5),
    new Ellipse(1, 1, 3, 2)
};

// 多态调用
for (auto shape : shapes) {
    std::cout << "Area: " << shape->Area() << std::endl; // 调用对应子类的Area
    delete shape; // 需确保基类析构函数是virtual的
}

注意事项

• 析构函数：如果通过基类指针删除子类对象，基类的析构函数必须声明为 virtual，否则可能导致资源泄露或未定义行为。
• 纯虚函数的实现：虽然C++允许为纯虚函数提供外部实现（例如 void BaseEllipse::Move(...) { ... } 即使声明为纯虚亦可），但这通常用于提供缺省行为或解决复杂继承问题，初学者建议仅在子类中明确覆盖即可。
• 接口契约：纯虚函数的存在确立了基类与子类的契约，任何遗漏重写的子类都无法实例化，这有助于在编译阶段发现设计缺陷。

以上就是C++抽象基类与纯虚函数应用的详细内容，更多关于C++面向对象设计的资料请关注本站其它相关文章！