一、核心概念与设计目标
抽象类与接口的关系
在 C++ 的面向对象设计中，抽象类与接口是定义契约和行为边界的核心工具。通过在一个类中声明一个或多个纯虚函数，即可将其转化为抽象类，从而禁止直接实例化并强制派生类实现约定的行为。理解两者的关系有助于实现接口定义和派生实现之间的明确分工。
通过把公共行为抽象成纯虚函数，派生类需要提供具体实现。接口定义就变成了一个契约，确保所有实现该接口的派生类都具备相同的行为入口。这也是实现多态的基础：通过基类指针或引用调用纯虚函数，实际执行的是派生对象上的实现。
在设计阶段，合理使用抽象类可以提升代码的可测试性、可维护性和可扩展性，同时避免暴露实现细节，将变化区域限定在派生实现内。
// 一个简单的抽象接口示例
class IShape {
public:virtual double area() const = 0; // 纯虚函数，定义契约virtual ~IShape() = default; // 虚析构确保子类正确清理
};
多态与契约
纯虚函数组合成的抽象接口，是实现多态的关键。通过基类指针/引用调用，可以在运行时动态绑定至正确的派生实现，从而实现对同一操作的不同实现行为。
设计契约时应确保接口的稳定性：接口只描述必要行为，避免引入对实现细节的依赖；这有助于后续替换实现或扩展新派生类，而不破坏现有客户端。
示例契约还包括：不强制返回特定类型、避免抛出异常的接口约束（或在文档中清晰规定），以及在需要时提供强制覆盖的注解（如 override）。
二、如何定义纯虚函数与抽象类
纯虚函数的语法与语义
纯虚函数采用语法“= 0”来标记，表示该函数在基类中没有实现，派生类必须提供实现以实例化对象。纯虚函数使得类成为不可实例化的抽象基类，不会为其分配对象。
在编译时，包含至少一个纯虚函数的类，编译器会把它识别为抽象类，这强制开发者在具体的派生类中实现相关行为，并通过多态暴露接口。
// 纯虚函数定义的抽象基类
class IShape {
public:virtual double area() const = 0; // 纯虚函数，必须在派生类实现virtual ~IShape() = default; // 虚析构，保证多态删除安全
};
实现细则与示例
在实际项目中，通常会把“接口”与“实现细节”分离开来，将纯虚函数放在基类中，将具体行为放在派生类中。这种分离有助于实现接口分离原则，并降低客户端对具体实现的依赖。
下面给出一个派生实现的示例：圆形的面积实现。
class Circle : public IShape {
public:explicit Circle(double r) : radius_(r) {}double area() const override { return 3.14159265358979323846 * radius_ * radius_; }private:double radius_;
};
三、派生实现的规范与最佳实践
实现约定：覆盖与覆盖声明
在派生类中实现纯虚函数时，应使用override关键字，明确表示对基类接口的覆盖，从而在编译期捕获签名不一致等问题，提升代码可维护性。
同时，虚析构函数在基类中常以默认实现或纯虚虚析构形式提供，确保通过基类指针删除派生对象时能正确调用析构流程，避免资源泄漏。
class Circle : public IShape {
public:Circle(double r) : radius_(r) {}double area() const override { return 3.14159 * radius_ * radius_; }~Circle() override = default;private:double radius_;
};
在使用场景中，尽量通过智能指针管理基类对象，以防止误用裸指针导致的资源管理问题。
#include <memory>
#include <vector>std::vector< std::unique_ptr< IShape > > shapes;
shapes.emplace_back(std::make_unique< Circle >(5.0));
接口分离原则与组合
当一个对象需要暴露多种行为时，接口分离原则建议将大的接口拆分成若干更小、职责单一的接口，避免让实现类为不相关的能力承载过多职责。
在 C++ 中，这通常通过多个纯虚类来组合实现，例如一个对象既要具备“形状面积计算”能力，又要具备“可序列化”能力，可以让 Circle 同时实现 IShape 和 ISerializable 等接口，而不是把所有能力塞进一个单一的接口。
class ISerializable {
public:virtual std::string serialize() const = 0;virtual ~ISerializable() = default;
};class Circle : public IShape, public ISerializable {
public:// area() 已实现std::string serialize() const override {return "Circle(radius=" + std::to_string(radius_) + ")";}
private:double radius_;
};
四、虚拟函数相关的设计细节与模式
虚析构与资源管理
为了资源安全与多态删除，抽象基类应始终提供一个虚析构函数，无论是默认实现还是纯虚虚析构，都能确保通过基类指针删除派生对象时，派生类的析构函数会被正确调用。
在实际工程中，建议使用默认实现的虚析构或用virtual ~Base() = default;的写法，避免手动管理虚拟表和析构过程的潜在错误。
class IResource {
public:virtual ~IResource() = default; // 虚析构，确保派生析构正确执行
};
对象生命周期与多态使用
通过基类指针/引用进行多态调用时，应避免对基类对象进行直接实例化，尽量使用智能指针（如 unique_ptr、shared_ptr）管理生命周期，以减少内存泄漏和悬空指针风险。
同时，要关注派生类的构造顺序及其对资源的管理约定，确保拷贝与移动语义的一致性，必要时显式地删除拷贝构造/赋值运算符以避免错误使用。
#include <memory>
#include <vector>class IShape { public: virtual double area() const = 0; virtual ~IShape() = default; };std::vector< std::unique_ptr< IShape > > shapes;
shapes.emplace_back(std::make_unique< Circle >(2.0)); // Circle 作为 IShape 的派生实现
