类模板中可见的友元函数名称

Question

考虑以下示例：

template <typename T>
class C
{
    public:
        friend void f() {}
        friend void f(C<T>) {}
};

C<int> c;

void g(C<int>* p)
{
     f(); 
     f(*p);
}

使用GCC 5.2编译会引发以下编译错误：

no matching function for call to 'f()'

但是标准在14.6.5中说：

友元类或函数可以在类模板中声明。当模板被实例化时，其朋友的名称被视为在实例化点显式声明了专门化。

为什么编译失败？在GCC 3.4中，通过。

Answer 1

对f（）的调用与类C无关，因此在重载解析中不使用它的朋友。

在另一个调用f（*p）中，参数是类类型的，因此会检查类和类的命名空间是否可能的候选者。这样编译器就会找到两个f函数并使用重载解析来选择正确的一个。

Answer 2

只有通过参数相关名称查找（ADL）才能找到f。第二个调用是编译的，因为作为参数传递的p的pointee类型是C

只需在您的[临时注入]后立即查看报价/2：

与非模板类一样，类模板专门化的命名空间作用域友元函数的名称在普通查找过程中不可见，除非在命名空间作用域中显式声明（11.3）。此类名称可在关联类规则（3.4.2）下找到¹⁴¹

无论是在声明模板还是在实例化模板时，友元声明都不会将新名称引入任何作用域。