1

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

我希望能够在我的代码中这样说：

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>>

这可能吗？

背景：我正在尝试构建基于策略的函子，这些函子可以组合起来形成算术“连锁反应”。一个操作使用一个Function策略类来确定它应该做什么，它还将使用两个 Source 对象作为参数。源对象可能是Function策略或其他对象Operation，因为这两者都定义了函数T execute()。最终目标是通过调用这些函子在运行时根据命令执行这些算术运算。

4

2 回答 2

3

您可以使用：

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

但用法会是

Operation<float> op1(0.3f);
Operation<float, Operation<float>> op2(0.5f, op1);
于 2017-10-16T12:06:28.190 回答
1

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

模板模板参数的模板参数必须是命名类模板或模板别名的 id 表达式。

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

我希望这对您的问题有所帮助。查找“模板模板参数”。

于 2017-10-16T12:28:48.663 回答