C++中如何正确实现派生类自定义嵌套结构体返回类型

我有一个抽象模板类，希望为其定义专属返回类型InferenceData。

template <typename StateType>
class Model {
public:
    struct InferenceData;
    virtual InferenceData inference () = 0;
};

以下是我编写的派生类实现尝试：

template <typename StateType>
class MonteCarlo : public Model<StateType> {
public:
    
    // struct InferenceData {};
    
    typename MonteCarlo::InferenceData inference () {
        typename MonteCarlo::InferenceData x;
        return x;
    }
};

上述代码仅在MonteCarlo::InferenceData的定义被注释时可正常编译，若取消注释则会触发「无效协变返回类型」编译错误。我希望每个ModelDerivation<StateType>::InferenceData都是独立类型，拥有专属的结构体实现，请问该如何实现该需求？

编译报错的核心是违反了C++虚函数重写的返回值规则：

1. C++仅对指针/引用类型的返回值支持协变，值类型返回不允许协变，哪怕两个类型存在继承关系也不满足语法要求。
2. 派生类中自定义的MonteCarlo::InferenceData和基类的Model<StateType>::InferenceData是完全无关的独立类型，不满足协变返回要求的「派生类返回类型是基类返回类型的公有派生类」前提。

根据是否需要运行时多态二选一即可：

方案1：运行时多态（智能指针+协变返回） #

适合需要通过基类指针/引用统一调用不同派生类inference方法的场景，完全符合C++虚函数多态规则：

1. 给基类的InferenceData添加虚析构函数，作为所有派生类返回类型的公共基类，保证多态析构安全
2. 把虚函数的返回值改为std::unique_ptr智能指针（自动管理内存，避免泄漏）
3. 每个派生类的专属InferenceData公有继承基类的InferenceData，重写inference时返回派生类类型的智能指针，自动满足协变规则

代码示例：

#include <memory>

template <typename StateType>
class Model {
public:
    struct InferenceData {
        virtual ~InferenceData() = default;
    };
    virtual std::unique_ptr<InferenceData> inference() = 0;
};

template <typename StateType>
class MonteCarlo : public Model<StateType> {
public:
    // 派生类专属InferenceData，继承基类公共接口
    struct InferenceData : Model<StateType>::InferenceData {
        // 可自由定义专属成员
        double confidence = 0.0;
        size_t sample_count = 0;
    };

    // 合法协变重写
    std::unique_ptr<MonteCarlo::InferenceData> inference() override {
        auto res = std::make_unique<MonteCarlo::InferenceData>();
        res->confidence = 0.97;
        res->sample_count = 10000;
        return res;
    }
};

方案2：编译期静态多态（CRTP，值返回） #

如果不需要运行时多态，所有调用方在编译期就能确定派生类类型，可以用CRTP（奇异递归模板模式）实现静态分发，不需要指针，直接返回值类型，每个派生类的InferenceData完全独立，不需要继承公共基类：

// CRTP基类
template <typename Derived, typename StateType>
class Model {
public:
    // 对外统一接口，编译期转发到派生类实现
    auto inference() {
        return static_cast<Derived*>(this)->inference_impl();
    }
};

template <typename StateType>
class MonteCarlo : public Model<MonteCarlo<StateType>, StateType> {
    friend class Model<MonteCarlo<StateType>, StateType>;
public:
    // 完全独立的InferenceData，和其他派生类无关联
    struct InferenceData {
        double confidence = 0.0;
        size_t sample_count = 0;
    };
private:
    InferenceData inference_impl() {
        InferenceData res;
        res.confidence = 0.97;
        res.sample_count = 10000;
        return res;
    }
};

// 其他派生类可定义结构完全不同的InferenceData
template <typename StateType>
class AnalyticalModel : public Model<AnalyticalModel<StateType>, StateType> {
    friend class Model<AnalyticalModel<StateType>, StateType>;
public:
    struct InferenceData {
        double exact_result = 0.0;
        bool is_converged = true;
    };
private:
    InferenceData inference_impl() {
        InferenceData res;
        res.exact_result = 3.14159;
        return res;
    }
};

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