如何解决可变参数模板结构,递归类型声明,可能吗?
有!
有什么方法可以递归地声明类型?我快到了,但是出现了编译错误。
我正在设计一个简单的模板,以确定用于存储混合类型物料操作结果的最佳类型。
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,...
从包x_traits<S,T>::MULT_T
中获得的类型,其本质类似于std::accumulate
具有{自定义二进制操作。
我怀疑由于您需要某种链式操作的结果类型,因此可能看起来像这样(使用C++17
折叠表达式):
template<typename ...Ts>
using mutiplication_result_t = decltype((std::declval<Ts>() * ...));
与C ++ 11相同:
template<typename T1,typename ...Ts>
struct mutiplication_result
{
using type = decltype(std::declval<T1>() * std::declval<typename mutiplication_result<Ts ...>::type>());
};
template<typename T>
struct mutiplication_result<T>
{
using type = typename std::decay<T>::type;
};
template<typename ...Ts>
using mutiplication_result_t = typename mutiplication_result<Ts...>::type;
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。