创建一个类模板,可以将自己创建的类作为参数

时间:2017-10-16 12:03:09

标签: c++ templates variadic-templates policy-based-design

有没有办法创建一个类模板,可以将自身实例化为模板参数?

我希望能够在我的代码中说出这些内容:

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()。最终目标是通过调用这些函子在运行时在运行时执行这些算术运算。

2 个答案:

答案 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;。