那里！
有什么方法可以递归地声明类型？我快到了，但是出现了编译错误。
我正在设计一个简单的模板，以确定用于存储混合类型填充结果的最佳类型。
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
我猜你的意思是这样的：
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自定义二进制操作所执行的操作。
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句