重新声明相同名称的嵌套别名模板是否有效？

问题描述

给出一些类模板：

template <typename> struct T {};

不允许使用这样的类型别名声明来更改名称T的含义：

struct S {
    using T = T<void>;  // ill formed no diagnostic required
};

here有一种解释，说明为什么会出现这种情况，并提出了解决方法：

struct S {
    using T = ::T<void>;  // ok
};

---

所以我的问题是，在这种情况下别名模板如何？

struct S {
    template <typename> using T = T<void>;  // ok ?
};

这格式是否正确？类型别名是不同于别名模板的另一种实体，因此我不知道链接答案中的推理是否适用。

就其价值而言，别名模板示例不会发出gcc（有效地）在类型别名示例中发出的诊断。

这里是code可以玩的。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）