类内声明friend function template后特化的编译器合规性判定

问题场景 #

以下代码在类内声明了友元函数模板，随后在类外直接定义其特化版本：

class A {
    template<typename T>
    friend T f();
};

template <>
int f<int>() {
    return 0;
}

使用-pedantic -std=c++2a编译时，不同编译器表现不同：

• Clang 16.0：可编译通过，但执行int main() { f<int>(); }时会报错
• GCC 13.1：直接编译报错，提示error: 'f' is not a function template；若在类外补充声明template<typename T> T f();，则可正常编译

标准合规性判断 #

GCC的行为符合C标准，原因如下：
C标准明确规定，类内的友元声明不会将模板名称引入外围作用域的常规名称查找范围。也就是说，在类外尝试特化f<int>时，常规名称查找无法找到f是一个函数模板，因此编译器报错是正确的。

Clang允许编译特化但拒绝调用的行为，本质上是它通过内部机制识别到了友元模板的存在，但当实际调用时，由于常规查找无法定位到模板，仍然会触发错误——这也符合标准中“友元声明的名称对外围作用域不可见”的要求。

关于“仅特化不调用是否合规” #

即使不调用该特化版本，直接编写类外特化也是不符合标准的。C++要求特化必须基于一个在当前作用域可见的主模板声明，而类内友元声明的模板并未在外围作用域可见，因此必须先在外围作用域声明该函数模板，才能合法地编写其特化。

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