C++ 的语法模板 模板参数

Question

我很难理解 C++ 模板模板参数的语法。我理解它们为什么有用，根据此处的精彩描述，我只是发现它们的语法很难去理解。取自上述网站的两个示例（还有其他网站）：

template <typename T, template <typename> class Cont>
class Stack;

如果

template <template <typename,typename> class Cont>
class Wrapper3;

不了解此语法背后的基本原理，就不可能清楚地概括此类声明。记忆比较困难，而且似乎没有多大帮助。

编辑： 我意识到我对一个问题的尝试就像一次观察。我要求的是有关如何解释日常用语中的模板参数语法的帮助。我可以使用 C++ 语法和我学到的所有其他编程语言来完成此任务。然而，我很难向自己“解释”C++ 模板模板参数的语法。我得到了一本书，《C++ 模板：完整指南》，作者是 David Vandevoorde 和 Nicolai M. Josuttis，虽然这是一本好书，但我确信它对我理解这种语法没有太大帮助许多人都会同意这充其量是古怪的。

Answer 1

我不确定你的问题到底是什么，但这是对你给出的两个例子的解释。

template <typename T, template <typename> class Cont>
class Stack;

Stack 是一个具有两个模板参数的类模板。第一个参数T可以是任何类型（包括内置类型、用户定义类型、模板实例化等）。第二个参数 Cont 必须是带有一个参数的类模板。该参数未命名，因为它没有多大意义（该参数永远不会绑定到任何东西）。

template <template <typename,typename> class Cont>
class Wrapper3;

Wrapper3 是一个具有单个参数Cont 的类模板。 Cont 必须是具有两个参数的类模板。

定义模板模板参数的语法与定义类模板的语法相同（templateclass Name），因此我真的不明白你的问题是什么。

但是，我同意，当您开始“嵌套”模板模板参数时，语法可能会变得有点尴尬：

// class template whose parameter must be a class template whose parameter
// must be a class template
template <template <template <typename> class > class C >
struct Wow {};

不过，这种情况并不经常发生......

Answer 2

没有什么那么神秘的。只需从原始模板中取出模板模板参数：

template <typename> class Cont

任何具有单个类型参数的类模板都适合，例如

template <typename T>
class A {
public:
  A(T t) : t_(t) {}
  T get() { return t_; }
private:
  T t_;
};

您将使用原始模板作为

Stack<int, A> s;