使用非类型模板参数时GCC、Clang与MSVC的编译差异及标准合规性判定

这是个很典型的编译器行为差异问题，我们一步步结合C++标准来拆解：

首先看你的代码：

template<typename T, T a> void f() {
    decltype(a) p; // 争议语句
}
int main() {
    f<const int,0>();
}

核心问题：decltype(a) p;是否合法？ #

当调用f<const int, 0>()时，模板参数T被实例化为const int，因此非类型模板参数a的类型是const int，值为0：

• 根据C++标准，decltype(a)会返回a的实际类型，也就是const int。
• 对于内置类型的const变量，C++标准明确要求必须显式初始化——因为默认初始化会让const内置变量处于未定义状态，而后续又无法修改它，这是标准禁止的行为。

所以const int p;这条默认初始化的语句，本质上是违反C++标准的。

各编译器行为的正确性 #

• GCC的行为是符合标准的：它严格执行了标准对const内置变量初始化的要求，因此编译失败是正确的。
• MSVC和Clang的行为是非标准的：这两款编译器做了宽松处理（属于非标准扩展），允许未初始化的const内置变量通过编译，但这并不符合C++标准的规定。

修复代码的建议 #

如果要让代码在所有编译器下都符合标准并编译通过，只需要给变量p显式初始化即可：

template<typename T, T a> void f() {
    decltype(a) p = a; // 显式初始化const变量
}
int main() {
    f<const int,0>();
}

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