模板的别名。谁是对的？

Question

下面的代码看似合理，但在两个主要编译器上都不起作用

#include <type_traits>

template<template<class> class Tmp>
struct S{
    template<class T>
    using tmp_t = Tmp<T>;

    static_assert(std::is_same_v< S<tmp_t>, S<Tmp> >,
        "Not same?? How come?");
};

template<class> struct Dummy{};

template struct S<Dummy>;

gcc 以 7.1 开头可以编译（https://godbolt.org/z/DjAcgP）

叮当（https://godbolt.org/z/ewBbZJ）
和
msvc (https://godbolt.org/z/6ZmQwj)
没有这样做

此代码符合标准吗？

Answer 1

GCC 是错误的。 tmp_t 声明了一个新模板（准确地说是别名模板）。而且这个新模板不同于任何其他模板。

[temp.alias]（强调我的）

1 一个模板声明，其中的声明是 alias-declaration 将标识符声明为别名模板。一个 别名模板是一系列类型的名称。 名称 别名模板是模板名称。

粗体字表示tmp_t 指的是新的别名模板，它不指代别名的特化可能被定义为的任何内容。因此S<tmp_t> 和S<Tmp> 是两个具有不同 参数的特化。

相比之下，有一些特殊规则使别名模板特化代表它们别名的确切内容

2 当模板 ID 指代别名的特化时 模板，就相当于得到的关联类型 用它的模板参数替换模板参数 别名模板的 type-id。

所以 while 模板 ID tmp_t<foo> 与 Tmp<foo> 的含义完全相同，tmp_t 本身（不带参数）不是模板 ID（它没有命名专业化）。相反，它将模板命名为不同的实体。