标签：name-lookup c friend namespaces fully-qualified-naming

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

我最近看到了一个类似于以下的例子.以下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)中找到.

标签：name-lookup,c,friend,namespaces,fully-qualified-naming
来源： https://codeday.me/bug/20190930/1835442.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。