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

Can C++ struct static member variables shadow non type template parameters?(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-标志)看起来像是错误。

这篇关于C++结构静态成员变量可以隐藏非类型模板参数吗？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！