c++ - 创建一个类模板，该模板可以将由其自身创建的类作为参数

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

这可能吗？

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

Answer 1

您可以使用:

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

但用法是

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