C++中const int&模板参数自动推导的编译器差异：GCC与Clang谁符合标准？

先看我们的核心代码场景：

template<int> struct A {};
template<const int & I> void f(A<I>) {}
int main() {
    const static int a = 0;
    f<a>(A<a>{}); // GCC/Clang均正常运行
    f(A<a>{}); // GCC正常，Clang报错
}

为什么GCC的行为才是符合标准的？我们结合C++标准的模板参数推导规则来解释：

关键规则：引用类型的非类型模板参数推导 #

根据C++标准中[temp.deduct.type]的相关条款，当推导引用类型的非类型模板参数时：

• 当实参是类模板实例（这里是A<a>），而类模板的非类型参数是int类型时，函数模板的const int& I需要绑定到a这个具体对象上。
• a是const static int类型的常量表达式，完全满足非类型模板参数的要求，而且作为const int左值，能够合法绑定到const int&引用。

Clang的错误提示是"could not match 'const int' against 'int'"，这是因为它错误地将推导逻辑局限在了单纯的基础类型匹配上，忽略了我们推导的是引用类型的模板参数——我们需要的是绑定到a这个const int对象，而不是生硬匹配int和const int这两个基础类型。

简单来说：GCC正确实现了标准中关于引用类型非类型模板参数的推导规则，而Clang在这里存在实现bug，不符合C++规范。

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