子类重写抽象虚函数用自身指针参数致类抽象，如何解决？

问题根源 #

你的代码中，B::foo(B*)并未重写基类A的纯虚函数foo(A*)——C++中函数参数类型不同属于重载而非重写，因此B仍继承了未实现的foo(A*)，被判定为抽象类无法实例化。

可行修正方案 #

方案一：重写基类接口+重载自身类型版本

既保留基类的多态性，又实现仅处理B*的需求：

// main.cpp
#include <stdexcept>

class A {
public:
    virtual void foo(A* a) = 0;
};

class B : public A {
public:
    // 严格重写基类纯虚函数，用override确保正确性
    void foo(A* a) override {
        // 类型校验，确保传入的是B*
        if (B* b = dynamic_cast<B*>(a)) {
            foo(b); // 调用针对B*的重载逻辑
        } else {
            throw std::invalid_argument("参数必须是B类型指针");
        }
    }

    // 针对B*的重载版本，满足业务需求
    void foo(B* b) {
        // 编写处理B*的具体逻辑
    }
};

int main() {
    B object; // 可正常实例化
}

方案二：CRTP（奇异递归模板模式）

直接让基类适配派生类类型，无需类型转换，但会失去基类的统一多态性：

// main.cpp
template<typename Derived>
class A {
public:
    virtual void foo(Derived* d) = 0;
};

class B : public A<B> {
public:
    void foo(B* b) override {
        // 编写处理B*的具体逻辑
    }
};

int main() {
    B object; // 可正常实例化
}

方案选择建议 #

• 若需要用A*统一指向不同派生类对象，优先选方案一；
• 若不需要基类多态性，仅需派生类自身的类型约束，选方案二更简洁。

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