无法实例化抽象类：派生类重写虚函数时参数类型不匹配

兄弟，你的代码里有两个关键问题导致编译器抛出“Cannot Instantiate abstract class”的错误，我给你一步步拆解：

先看你的原始代码：

class BaseArg { } ; 
class DerivedArg :public BaseArg{ } ; 
class BaseHandler{ 
public: 
    virtual void handle(BaseArg* arg) = 0; 
} ; 
DerivedHandler { 
    void handle(DerivedArg* arg) {} 
} ; 
auto x = new DerivedHandler() ; 

问题1：DerivedHandler的定义有语法错误且未继承BaseHandler #

你写的DerivedHandler前面漏了class关键字，而且根本没有继承BaseHandler——这时候它和你定义的抽象基类完全没关系，不过就算补上继承，还有个更核心的问题导致无法实例化。

问题2：你没有正确重写基类的纯虚函数 #

基类BaseHandler里的纯虚函数是virtual void handle(BaseArg* arg) = 0;，而你在DerivedHandler里写的void handle(DerivedArg* arg) {}不是重写，而是重载了一个全新的函数。

C++里要求重写虚函数必须满足函数签名完全匹配（只有返回值支持协变规则，参数不支持）。基类要求子类必须实现接受BaseArg*的handle方法，而你提供的是接受DerivedArg*的版本，编译器会判定基类的纯虚函数依然未被实现，所以DerivedHandler依然是抽象类，自然没法创建实例。

怎么修复？ #

如果你的需求是让DerivedHandler只处理DerivedArg类型的参数，正确的做法是在重写的handle方法里做类型校验，比如用dynamic_cast：

class BaseArg { } ; 
class DerivedArg :public BaseArg{ } ; 
class BaseHandler{ 
public: 
    virtual void handle(BaseArg* arg) = 0; 
} ; 
class DerivedHandler : public BaseHandler { // 补上继承关系
    void handle(BaseArg* arg) override { // 用override确保是重写基类函数
        // 尝试把BaseArg*转为DerivedArg*
        if (DerivedArg* derivedArg = dynamic_cast<DerivedArg*>(arg)) {
            // 这里写处理DerivedArg的逻辑
        } else {
            // 可以选择处理其他类型，或者抛出异常、忽略等
        }
    } 
} ; 
auto x = new DerivedHandler() ; 

这里的override关键字非常关键，它能让编译器帮你检查函数签名是否匹配基类的虚函数，避免不小心写出重载而非重写的代码。

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