C++基类虚函数返回基类类型，子类重写时能否返回子类类型？

你遇到的编译错误是因为C++标准只支持指针/引用类型的协变返回，不支持值类型的协变，所以直接修改基类虚函数的返回类型为指针或引用，就能合法实现子类返回对应派生类类型的需求，不需要修改现有类的继承结构。

方案1：直接使用协变返回类型（最高效推荐） #

只需要将基类RecoverData的getData返回类型修改为Data*或者Data&，子类就可以合法重写为对应派生类的指针/引用返回：

class RecoverData{
protected:
    std::string ip;
    int commTimeout;
public:
    // 返回基类指针，也可以替换为Data&
    virtual Data* getData() = 0;
    virtual ~RecoverData() = default; // 涉及多态记得加虚析构
};

class RecoverTreeData: public RecoverData{
public:
    // 完全符合C++语法规则，协变返回合法
    TreeData* getData() override;
};

class RecoverPlantData: public RecoverData{
public:
    // 完全符合C++语法规则，协变返回合法
    PlantData* getData() override;
};

注意：如果要使用智能指针作为返回值，需要升级到C++20及以上标准，才支持std::unique_ptr/std::shared_ptr的协变特性。低版本标准下可以用原始指针搭配显式内存管理，或者用第二种方案。

方案2：双接口实现（适配必须返回值的场景） #

如果业务逻辑要求必须返回值对象，不能用指针/引用，可以采用「底层虚函数实现通用逻辑+上层非虚接口提供类型安全返回」的设计，完全保留原有类结构：

class RecoverData{
protected:
    std::string ip;
    int commTimeout;
    // 内部实现用的虚函数，返回基类值
    virtual Data getDataImpl() = 0;
public:
    // 通用对外接口，兼容多态场景调用
    Data getData() {
        return getDataImpl();
    }
    virtual ~RecoverData() = default;
};

class RecoverTreeData: public RecoverData{
protected:
    Data getDataImpl() override {
        // 内部构造TreeData对象返回，会切片保留基类部分
        TreeData res;
        // 填充数据逻辑
        return res;
    }
public:
    // 子类专属接口，直接返回类型匹配的TreeData值
    TreeData getTreeData() {
        return static_cast<TreeData&&>(getDataImpl());
    }
};

class RecoverPlantData: public RecoverData{
protected:
    Data getDataImpl() override {
        PlantData res;
        // 填充数据逻辑
        return res;
    }
public:
    // 子类专属接口，直接返回类型匹配的PlantData值
    PlantData getPlantData() {
        return static_cast<PlantData&&>(getDataImpl());
    }
};

这种方案下，多态场景可以用基类指针调用getData()拿到基类对象，持有子类实例的场景可以直接调用子类的专属接口拿到对应派生类的值，不需要手动做类型转换。

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