有没有办法创建一个类模板,可以将自身实例化为模板参数?
我希望能够在我的代码中说出这些内容:
Operation<float> op1(0.3f);
Operation<float, Operation> op2(0.5f, op1);
我尝试使用可变参数模板参数定义这样的类模板,以避免在无限循环中结束(模板必须定义模板模板参数,该模板参数本身也需要模板参数,因此必须采用模板参数等等上...)。
template<typename T, typename... OP>
class Operation{
Operation(T pVal, OP... pOP);
...
};
typename... OP
应该可以Operation<T>
甚至Operation<T, Operation<T>>
这可能吗?
背景:我正在尝试构建基于策略的仿函数,这些仿函数可以组合起来形成算术&#34;连锁反应&#34;。一个操作使用Function
策略类来确定它应该做什么,它还将两个Source对象作为参数。源对象可以是Function
策略或其他Operation
,因为它们都定义了函数T execute()
。最终目标是通过调用这些函子在运行时在运行时执行这些算术运算。
答案 0 :(得分:3)
您可以使用:
template<typename T, typename... OP>
class Operation{
// ...
};
但用法是
Operation<float> op1(0.3f);
Operation<float, Operation<float>> op2(0.5f, op1);
答案 1 :(得分:1)
http://en.cppreference.com/w/cpp/language/template_parameters
模板模板参数的模板参数必须是id-expression,用于命名类模板或模板别名。
如果参数是类模板,则在匹配参数时仅考虑主模板。仅当基于此模板模板参数的特化实例化时,才考虑部分特化(如果有)。
我希望这对您的问题有所帮助。查找&#34;模板模板参数&#34;。