C++结构静态成员变量可以隐藏非类型模板参数吗? [英] Can C++ struct static member variables shadow non type template parameters?

查看:19
本文介绍了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++结构静态成员变量可以隐藏非类型模板参数吗?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!

查看全文
登录 关闭
扫码关注1秒登录
发送“验证码”获取 | 15天全站免登陆