为什么以下模板声明格式不正确？ [复制]

Question

为什么下面的声明无效？

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>
                                  ^

Answer 1

基本上，“因为标准是这样说的。” C++11 14.1/1 列出了 type-parameter:

的语法

类型参数：
class..._opt标识符_opt
class 标识符_opt= type-id
typename..._opt标识符_opt
typename 标识符_opt= type-id
template < 模板参数列表 > class ..._opt标识符 _选择
template < 模板参数列表 > class 标识符_opt= id 表达式

如您所见，模板模板参数只允许使用class。

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

这已经随着 C++11 的别名模板而改变，但模板模板参数语法显然没有跟上。然而，在 C++11 后（实际上是 C++14 后）draft N4296 中，这个限制实际上被解除了，template <class> typename 是有效的模板模板参数语法。