为什么以下的模板声明是不正确的？

Question

为什么以下的模板声明是不正确的？

5

为什么以下声明无效？

template<template<typename> typename T>
struct S {};

我认为这是有效的，因为以下内容是有效的：

template<template<typename> class T>
struct S {};

根据[gram.temp]中的标准，我认为它是有效的。但是gcc给出了以下输出：

prog.cpp:4:38: error: expected 'class' before 'T'
 template<template<typename> typename T>
                                  ^

- Mathias Vorreiter Pedersen

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Angew is no longer proud of SO · Accepted Answer

基本上，这是因为“标准规定如此”。C++11 14.1/1列出了type-parameter的语法：

type-parameter：
  class ..._opt identifier_opt
  class identifier_opt = type-id
  typename ..._opt identifier_opt
  typename identifier_opt = type-id
  template < template-parameter-list > class ..._opt identifier_opt
  template < template-parameter-list > class identifier_opt = id-expression

如您所见，只有class可以用于模板模板参数。

我猜测这样做的原因是任何类型都可以用作类型参数，包括非类类型。但在C++11之前，没有“非类类型模板”这样的东西——唯一的类型模板是类模板。

这在C++11的别名模板中已经改变，但是模板模板参数语法显然没有跟上。尽管如此，在C++11（实际上是C++14）之后的草案N4296中，这个限制被取消了，template <class> typename是有效的模板模板参数语法。