为什么找到 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++ primer 复制过来的，唯一的区别是 C++ primer 调用 f2() 没有命名空间前缀。第二块是我的补充。我现在想知道 f1 和 f2 隐含地是命名空间 A 的成员，为什么 A::f2() 仍然是错误的，而 f1(obj) 可以通过 ADL 找到？

Answer 1

在第一段代码中，f2在A::C的词法范围内，即名字在A::C的范围内可见。在 A::C.

之外是不可见的

要使 f2 在 A::C 范围之外可见，您需要在 A.

中声明或定义它

Answer 2

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

If a friend declaration in a non-local class first declares a class, function, class template or function template the friend is a member of the innermost enclosing namespace. The friend declaration does not by itself make the name visible to unqualified lookup (3.4.1) or qualified lookup (3.4.3).

为什么找到 f1 但找不到 f2？

Why f1 is found but f2 not?

c++

friend-function