可变模板结构，递归类型声明，有可能吗？

Question

那里！

有没有办法递归地声明一个类型？我快到了，但出现编译错误。

我正在设计一个简单的模板来确定用于存储操作混合类型内容的结果的最佳类型。

OP_T<> 用例示例：

typename OP_T<char, float, int>::M var //var is actually a float

代码

template <typename ...T>
struct OP_T{};

template <typename T0, typename T1>
struct OP_T<T0, T1> {
    using M = typename x_traits<T0, T1>::MULT_T;
};

template <typename T0, typename ...Ts>
struct OP_T<T0, Ts...> {
    using M = typename OP_T<T0, Ts...>::M; // error: 'M' is not a member of 'OP_T' 
};

这是简化的 x_traits

template<typename T>
struct x_traits_default {
    typedef T MULT_T;
};

template<typename T1, typename T2>
struct x_traits {};

template<typename T2>
struct x_traits<double, T2> : public x_traits_default<double> {};

template<typename T1>
struct x_traits<T1, double> : public x_traits_default<double> {};

在这里您可以找到更详细的用例示例（但仍然简化）：https : //godbolt.org/z/jbcahq

Answer 1

我猜你的意思是这样的：

template <typename T0, typename... Ts>
struct OP_T<T0, Ts...> {
    using M = typename OP_T<T0, typename OP_T<Ts...>::M>::M;
};

现在OP_T<T1, T2, ...>::M将是T1, T2, ...通过应用“归约”二进制元函数从包中获得的类型x_traits<S, T>::MULT_T，在精神上类似于std::accumulate自定义二进制操作所做的。