Question

我很难理解C ++模板模板参数的语法。我理解为什么它们很有用，根据优秀的描述here，我发现它们的语法难以理解。以上网站上的两个例子（还有其他）：

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;

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

2 个答案: