访问类中定义的友元函数

Question

有这样的代码：

#include <iostream>

class A{

public:
    friend void fun(A a){std::cout << "Im here" << std::endl;}
    friend void fun2(){ std::cout << "Im here2" << std::endl; }
    friend void fun3();
};

void fun3(){
    std::cout << "Im here3" << std::endl;
}

int main() 
{  
    fun(A()); // works ok
    //fun2(); error: 'fun2' was not declared in this scope
    //A::fun2(); error: 'fun2' is not a member of 'A'
    fun3(); // works ok
} 

How to access function fun2()?

Answer 1

class A{

public:
    friend void fun(A a){std::cout << "Im here" << std::endl;}
    friend void fun2(){ std::cout << "Im here2" << std::endl; }
    friend void fun3();
};

尽管您对 fun2 的定义确实定义了一个“全局”函数而不是成员，并使其成为 A 的 friend code> 同时，您仍然缺少全局范围本身中同一函数的声明。

这意味着该范围内的任何代码都不知道 fun2 存在。

fun 也会出现同样的问题，只不过参数相关查找可以接管并查找该函数，因为有一个 A 类型的参数。

我建议您以通常的方式定义您的函数：

class A {
   friend void fun(A a);
   friend void fun2();
   friend void fun3();
};

void fun(A a) { std::cout << "I'm here"  << std::endl; }
void fun2()   { std::cout << "I'm here2" << std::endl; }
void fun3();

现在请注意，一切都可以工作（除了fun3 因为我从未定义过它）。

Answer 2

您可以调用 fun 的原因是类 A 内的友元声明使其仅通过参数相关查找可见。否则，友元声明不会使它们声明的函数在出现的类范围之外自动可见。

您需要在命名空间范围或 main 内部添加声明，以使 fun2 在 main 中可见。

例如，

void fun2();

fun3 在 main 内部可见，因为它的定义（在类外部）也是一个声明，使其在 main 中可见。

ISO/IEC 14882:2011 7.3.1.2：

在该命名空间范围内（在授予友谊的类定义之前或之后）提供匹配声明之前，通过非限定查找 (3.4.1) 或限定查找 (3.4.3) 无法找到好友的名称。

3.4.2（依赖于参数的名称查找）/4：

关联类中声明的任何名称空间范围的友元函数或友元函数模板在其各自的名称空间内都是可见的，即使它们在普通查找期间不可见 (11.3)。