解析CRTP初始化顺序

Question

我有一些CRTP依赖，我不确定如何解决。理想情况下，我希望在基类中放入尽可能多的东西，比如函数，这样我就不必为继承这些函数的每个类重新定义这些函数。这似乎导致了初始化顺序的问题，在初始化顺序中，result_type依赖于尚未初始化的类型。下面是一个示例：https://godbolt.org/z/YpfcPB

下面是代码：

template<typename T>
struct CRTP_Derived;

template<typename Derived>
struct CRTP
{
    using result_type = typename Derived::result_type;

};

template<typename T>
struct CRTP_Derived : public CRTP<CRTP_Derived<T>>
{
    using result_type = T;
};

int main()
{
    CRTP_Derived<int> a;
    return 0;
}

Answer 1

对于这样的问题，我也使用了单独的特征类型。如果您将特征设为第二个模板参数，则可以稍微减少所需的样板，而不是要求用户专门使用单独的模板：

template<typename Derived, typename Traits>
struct CRTP
{
    using result_type = typename Traits::result_type;
};

template<typename T>
struct CRTP_Derived_Traits
{
    using result_type = T;
};

template<typename T>
struct CRTP_Derived : public CRTP<CRTP_Derived<T>, CRTP_Derived_Traits<T>>
{
};

int main()
{
    CRTP_Derived<int> a;
    return 0;
}

Answer 2

我发现的一种解决方法是在一个单独的类中删除typedef，但我仍然很高兴看到其他解决方案。https://godbolt.org/z/a7NCE2

template<typename T>
struct CRTP_Derived;

template<typename Derived>
struct traits;

template<typename T>
struct traits<CRTP_Derived<T>>
{
    using result_type = T;
};

template<typename Derived>
struct CRTP
{
    using result_type = typename traits<Derived>::result_type;
};

template<typename T>
struct CRTP_Derived : public CRTP<CRTP_Derived<T>>
{
    using result_type = T;
};

int main()
{
    CRTP_Derived<int> a;
    return 0;
}