C++中部分派生类未实现基类虚函数的合理设计问询

代码示例 #

class Shape
{
    public:
      Shape() {};
      virtual void fun1();

};

class Rectangle : public Shape
{
public:
   Rectangle(int width) {width=width;} // 注：此处存在自我赋值问题，应修正为 this->width = width; 或使用成员初始化列表
   double width;
};
class Circle : public Shape
{
public:
   Circle(int radius) {radius=radius;} // 同样存在自我赋值问题
   double radius;
   void fun1() {...} override;
};

// 运行时执行代码
std::shared_ptr<Shape> ptr = std::make_shared<Rectangle>(width);

当前场景中，基类Shape声明了虚函数fun1()，但派生类Rectangle未实现该函数，仅Circle完成了重写。这种设计会引发潜在风险：若通过Shape指针调用Rectangle实例的fun1()，由于Shape的fun1()无实现，会触发未定义行为（通常表现为链接错误或程序崩溃）。

以下是几种合理的设计方案：

方案1：将fun1()设为纯虚函数 #

修改基类Shape，把fun1()声明为纯虚函数，强制所有派生类必须实现该函数，否则编译阶段直接报错，从根源避免未实现的问题：

class Shape
{
public:
    Shape() {};
    virtual void fun1() = 0; // 纯虚函数，无默认实现
};

该方案适用于fun1()是所有形状必须具备的核心行为的场景。

方案2：为fun1()提供默认实现 #

如果fun1()并非所有派生类都需要重写，可为基类的fun1()添加默认实现，未重写的派生类会自动继承该逻辑：

class Shape
{
public:
    Shape() {};
    virtual void fun1() {
        // 默认实现逻辑，比如空操作或通用提示
    };
};

例如，若fun1()代表“绘制形状”，Rectangle可使用默认的“绘制占位图形”逻辑，无需单独实现。

方案3：拆分基类接口 #

如果fun1()只是部分形状的专属行为，没必要让所有形状都继承该接口，可拆分基类以遵循接口隔离原则：

// 基础形状接口，仅包含通用方法
class Shape
{
public:
    Shape() {};
};

// 拥有fun1行为的形状子接口
class ShapeWithFun1 : public Shape
{
public:
    virtual void fun1() = 0;
};

class Rectangle : public Shape
{
    // 仅继承基础Shape，无需处理fun1
};

class Circle : public ShapeWithFun1
{
public:
    void fun1() override {...}
};

这种设计避免派生类被迫继承不需要的接口，让结构更清晰。

另外，代码中的构造函数存在自我赋值问题，需修正为Rectangle(int width) : width(width) {}或Rectangle(int width) { this->width = width; }，否则成员变量无法被正确赋值。

内容的提问来源于stack exchange，提问作者SolidMechanicsFan