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必须是具有两个参数的类模板。

定义模板模板参数的语法与定义类模板（ template <typename [param1], typename [param2], ...> class 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;