非抽象派生类N不重写基类B纯虚函数的方案及基类调用子类方法

算力阿峰

2026-7-20

解决方案

一、处理N类无法实现纯虚函数但需实例化的问题

1. 拆分基类（最优雅方案）

既然该纯虚函数原本只为M设计，说明它不属于所有B派生类的通用行为，建议重构继承体系：

创建通用基类BBase，包含M和N共有的成员；
创建带纯虚函数的基类BMixin，仅存放M需要实现的那个纯虚函数；
让M同时继承BBase和BMixin，N仅继承BBase。

这种方式让N完全不需要接触无法实现的纯虚函数，既符合单一职责原则，又避免了空实现带来的潜在风险。

2. 带异常的空实现（折中方案）

如果暂时无法重构继承体系，不要写无意义的空实现——这会导致调用N的该函数时静默失败，难以排查问题。更稳妥的方式是在N的重写函数里抛出异常，明确告知调用者该函数不可用：

#include <stdexcept>

class N : public B {
public:
    void target_func() override {
        throw std::logic_error("target_func is not implemented for class N");
    }
};

一旦误调用，程序会立刻报错，方便快速定位问题。

二、基类B调用M类专属的重写函数

1. 动态类型检查（临时过渡方案）

如果必须在B的成员函数里调用该函数，可以通过dynamic_cast判断当前对象是否为M类型，再安全调用：

class B {
public:
    virtual void target_func() = 0;
    void some_base_func() {
        // 检查当前对象是否是M类型
        if (M* m_obj = dynamic_cast<M*>(this)) {
            m_obj->target_func();
        } else {
            // 处理非M类型的情况，比如跳过或抛出异常
            throw std::logic_error("Only M objects support target_func");
        }
    }
};

但这种方式破坏了多态封装性，仅适合临时过渡，长期来看建议重构继承体系。