创建一个 class 模板，它可以将由其自身制成的 class 作为参数

Question

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

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

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

我尝试使用可变模板参数定义这样一个 class 模板，以避免陷入无限循环（模板必须定义一个模板模板参数，该模板参数本身也必须获取模板参数等等...)。

template<typename T, typename... OP>
class Operation{
    Operation(T pVal, OP... pOP);
    ...
};

typename... OP 应该可以拿 Operation<T> 甚至 Operation<T, Operation<T>>

这可能吗？

上下文：我正在尝试构建基于策略的仿函数，它们可以组合起来形成算术 "chain reactions"。一个操作使用 Function 策略 class 来确定它应该做什么，它还将两个 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

A template argument for a template template parameter must be an id-expression which names a class template or a template alias.

When the argument is a class template, only the primary template is considered when matching the parameter. The partial specializations, if any, are only considered when a specialization based on this template template parameter happens to be instantiated.

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

创建一个 class 模板，它可以将由其自身制成的 class 作为参数

Creating a class template which can take a class made from itself as an argument

c++

templates

policy-based-design

variadic-templates