C++模板派生类重载基类虚函数实现多类型访问的编译问题

直接编译报错原因 #

C++的函数重载规则不将返回值类型作为重载判定的依据，仅靠参数列表的差异才能构成合法重载。你在Base类中声明的两个get_value()没有任何参数差异，仅返回值分别为int和double，编译器直接判定这是对同一函数的重复声明，因此抛出无法重载的编译错误。

深层设计缺陷 #

你原有的设计逻辑存在两个无法落地的硬伤：

• 扩展性缺失：在非模板基类中穷举所有可能存储的数据类型对应的虚函数，需要随支持的类型不断修改基类代码，完全不具备通用容器的扩展性。如果后续要存string、自定义类型，还要在基类里堆无数个无意义的纯虚函数。
• 抽象类无法实例化：即使通过加差异化参数绕过编译错误，模板派生类在继承时必须实现基类所有的纯虚函数才能成为可实例化的具体类。比如实例化Derived<int>时，你只会实现返回int的get_value()，基类中返回double的纯虚函数没有对应实现，最终Derived<int>依然是无法创建对象的抽象类。

可落地的正确实现 #

针对“通过基类指针统一访问存储任意类型值的容器”的需求，最简洁的实现是利用C++的类型擦除机制（如std::any），让基类仅暴露统一的取值出口，不需要在基类中绑定具体值类型：

#include <any>
#include <memory>
#include <vector>
#include <string>

class Base
{
public:
    // 必须加虚析构，保证基类指针释放派生类对象时无未定义行为
    virtual ~Base() = default;
    // 统一取值接口，返回可承载任意类型的std::any
    virtual std::any get_value() const = 0;
};

template <typename T>
class Derived : public Base
{
private:
    T m_value;
public:
    Derived(T val): m_value(std::move(val)) {}
    // 重写统一取值接口，将内部存储的T类型值封装为any返回
    std::any get_value() const override {
        return m_value;
    }
};

使用示例 #

int main() {
    // 构建统一指针表存储不同类型的数据容器
    std::vector<std::unique_ptr<Base>> data_table;
    data_table.push_back(std::make_unique<Derived<int>>(42));
    data_table.push_back(std::make_unique<Derived<double>>(3.14));
    data_table.push_back(std::make_unique<Derived<std::string>>("test"));

    // 读取值时通过any_cast安全转换为实际类型即可
    int val_int = std::any_cast<int>(data_table[0]->get_value());
    double val_double = std::any_cast<double>(data_table[1]->get_value());
    std::string val_str = std::any_cast<std::string>(data_table[2]->get_value());
}

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