将类型声明为类型模板参数的模板参数的一部分是否合法？

Question

_{以下所有标准参考均指N4659：2017 年 3 月后 Kona 工作草案/C++17 DIS。}

---

以下代码段成功为 Clang 和 GCC 的所有标准版本⁽¹⁾编译。

template<typename Tag>
struct Tagged {};

Tagged<struct Tag1> t1;
Tagged<struct Tag2> t2;

[temp.arg.type]/1要求

作为类型的模板参数的模板参数应为type-id。

和[temp.arg.type]/2包含注释

[? 注意：模板类型参数可能是不完整的类型 ([basic.types])。？——？尾注？]

因此，我将访问模板参数和类型 ID的语法，以了解前者是否也允许声明（不完整的）类类型；换句话说，如果类头可以用作模板参数的一部分；来自[class]/1：

class-head:
    class-key attribute-specifier-seq_opt class-head-name class-virt-specifier_opt base-clause_opt
    class-key attribute-specifier-seq_opt base-clause_opt

...

class-key:
  class
  struct
  union

然而，下降为的语法兔子洞一个模板参数，一个类型-ID，一个ID-表达，最终的标识符不导致，AFAICT，语法接受类头。

我可能正在寻找错误的语法（class-head）来解释上面的代码片段是否实际上合法。

题

• 难道法律声明一个类型为部分模板参数的类型模板参数？如果是这样，标准的哪一部分（比如 C++17）管理这个？

---

_{(1) 请注意，如果我们将Tagged<struct Tag1> t1;eg 放在函数的范围内，则代码在 C++03 中的格式不正确，因为当时不允许将本地类型作为类型模板参数的模板参数。}

Answer 1

_{（看来OP（我自己）最初并没有深入研究 type-id 语法兔子洞）}

将类型声明为类型模板参数的模板参数的一部分是否合法？

是的，这是合法的。

如果是这样，标准的哪一部分（例如 C++17）对此进行管理？

类键和标识符语法序列，例如struct Tag1，是一个有效的详细类型说明符，

elaborated-type-specifier:
    class-key attribute-specifier-seq_opt nested-name-specifier_opt identifier
    ...

这又是一个有效的类型说明符，

type-specifier:
    elaborated-type-specifier
    ...

这又是type -specifier-seq的有效单个条目，

type-specifier-seq:
    type-specifier attribute-specifier-seq_opt

这又是一个有效的type-id，

type-id:
    type-specifier-seq abstract-declarator_opt
    ...

正如OP中所指出的，根据[temp.arg.type]/1 ， type-id是类型template-parameter的有效模板参数；

作为类型的模板参数的模板参数应为type-id。

因此，片段

template<typename Tag>
struct Tagged {};

Tagged<struct Tag1> t1;
Tagged<struct Tag2> t2;

是格式良好的。