C++结构静态成员变量可以隐藏非类型模板参数吗？

msvc编译以下代码(带/PERMISSIVE-COMPILER开关)，clang和GCCdo not：

template<auto val>
struct S{
    static constexpr auto val = val;
};
int main() {
    return S<4>::val;
}

我假设这只是一个msvc错误，但我很好奇标准在这里是否有歧义。

---

解决方案

标准在这一点上是明确的，模板参数无论如何都不能重新声明，参见[temp.local]/6：

模板参数不得在其作用域(包括嵌套作用域)内重新声明。模板参数不能与模板名称同名。

[?示例：

template<class T, int i> class Y {
  int T;            // error: template-parameter redeclared
  void f() {
    char T;         // error: template-parameter redeclared
  }
};

template<class X> class X;      // error: template-parameter redeclared

?-?最终示例?]

因此MSVC行为(给定/permissive-标志)看起来像是错误。