Question

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

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

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

Answer 1

您可以使用：

template<typename T, typename... OP>
class Operation{
    // ...
};

但用法是

Operation<float> op1(0.3f);
Operation<float, Operation<float>> op2(0.5f, op1);

Answer 2

http://en.cppreference.com/w/cpp/language/template_parameters

模板模板参数的模板参数必须是id-expression，用于命名类模板或模板别名。

如果参数是类模板，则在匹配参数时仅考虑主模板。仅当基于此模板模板参数的特化实例化时，才考虑部分特化（如果有）。

我希望这对您的问题有所帮助。查找＆＃34;模板模板参数＆＃34;。

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

2 个答案: