C++结构体静态成员变量能否遮蔽非类型模板参数？

首先直接给结论：你遇到的情况是MSVC不符合标准的行为（可视为bug），C++标准对此场景有明确、无歧义的规定，GCC和Clang的编译结果才是符合标准的。

让我们拆解问题的核心：

名字查找的关键规则 #

你的代码里，模板参数val和类内静态成员val同名了，问题出在静态成员的初始化表达式val上：

template<auto val> struct S{
    static constexpr auto val = val; // 右边的`val`指的是谁？
};

根据C++标准的类作用域查找规则：在类成员的初始化器中，名字会优先在当前类的作用域内查找，只有当类里找不到这个名字时，才会去外围作用域（比如模板参数所在的作用域）寻找。

这里类内已经声明了static constexpr auto val，所以右边的val会被解析为类的成员自身，而不是模板参数的val。

为什么GCC/Clang编译失败？ #

constexpr静态成员要求初始化器必须是合法的常量表达式。用未初始化的类成员自身来初始化自己，显然不满足常量表达式的要求——此时成员的存储值还未确定，属于无效的自引用，因此编译器会拒绝编译，这完全符合标准。

为什么MSVC能通过编译？ #

MSVC在这里违反了标准的名字查找规则，错误地将右边的val解析为模板参数的val，而非类内的成员。哪怕你启用了/permissive-（强制严格标准模式），这个行为依然不符合C++标准，属于编译器实现的bug。

修复代码的正确方式 #

要让类内静态成员正确引用模板参数的值，最简单的方法就是避免名字冲突，比如给模板参数或类成员改名：

// 推荐：给模板参数换个名字，避免混淆
template<auto TemplateVal> struct S{
    static constexpr auto val = TemplateVal;
};

int main() {
    return S<4>::val; // 正常编译，返回4
}

内容的提问来源于stack exchange，提问作者NoSenseEtAl