为什么找到f1但是f2没有？

Question

以下代码包含在两个源文件中。

第一：

namespace A {
    // two friends; neither is declared apart from a friend declaration
    // these functions implicitly are members of namespace A
    class C {
        friend void f2();           // won’t be found, unless otherwise declared
        friend void f1(const C&);   // found by argument-dependent lookup
    };
}
int main()
{
    A::C obj;
    f1(obj);        // ok: find A::f through the friend declaration in A::C
    A::f2();        // no member named f2 in namespace A
}

第二个：

#include <iostream>
namespace A {
    class C;
    void f1(const C&) {
        std::cout << 1;
    }
    void f2() {
        std::cout << 2;
    }
}

第一段代码是从C ++入门复制而来的，唯一的区别是C ++引用调用f2（）而没有前缀命名空间。 第二部分是我的补充。 我现在想知道f1和f2隐含地是命名空间A的成员，为什么A :: f2（）仍然是错误的，而ADL可以找到f1（obj） ？

Answer 1

这是7.3.1.2中的规则，导致A::f2()失败：

如果非本地类中的友元声明首先声明了类，函数，类模板或函数模板，则该友元是最内部封闭命名空间的成员。 友元声明本身不会使名称对非限定查找（3.4.1）或限定查找（3.4.3）可见。

Answer 2

在第一个代码块中， f2位于A::C的词法范围内，即该名称在A::C的范围内可见。 它在A::C外部不可见。

要使f2在A::C范围之外可见，您需要在A声明或定义它。