在类中定义的友元函数的完全限定名称是什么？

我最近看到了一个类似于以下的例子.以下val()的完全限定名称是什么？

#include <iostream>

namespace foo {
    class A {
        int x;
    public:
        A(int x = 0) : x(x) { }

        friend int val(const A &a) { return a.x; }
    };
}

int main() {
    foo::A a(42);

    // val() found using ADL:
    std::cout << val(a) << std::endl;

    // foo::val(a); // error: 'val' is not a member of 'foo'
    // foo::A::val(a); // error: 'val' is not a member of 'foo::A'

    return 0;   
}

依赖于参数的查找是否可以找到val()的唯一方法？

不可否认,这并非源于实际问题.我只是希望获得更好的理解.

解决方法:

Is argument-dependent lookup the only way val() can be found?

是的,这是唯一的方法.在[namespace.memdef]/3引用神圣的标准：

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 or qualified lookup.

因此,虽然val是foo的成员,但仅从友元声明中查找它是不可见的.要使其可见,需要使用类外定义(也是声明).对于内联定义(并且没有类外声明),这意味着ADL是调用该函数的唯一方法.

作为一个额外的奖励,C曾经有一个“朋友姓名注入”的概念.然而,这已被删除,并且ADL的规则被调整为替代.更详细的概述可以在WG21论文N0777(pdf)中找到.