Question

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

我最近看到了一个类似于以下的例子。以下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()的唯一方法？

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

Answer 1

依赖于参数的查找是否可以找到val（）？

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

如果非本地类中的朋友声明首先声明一个类，朋友是其成员的函数，类模板或函数模板最里面的封闭命名空间。朋友声明没有本身使名称对非限定查找或限定查找可见。

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

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

Answer 2

C ++标准[7.3.1.2/3（ISO / IEC 14882：2011）]：

首先在名称空间中声明的每个名称都是其中的一员命名空间。 如果非本地类中的朋友声明首先声明朋友类或函数所属的类或函数最里面的封闭命名空间。 找不到朋友的名字非限定查找（3.4.1）或通过限定查找（3.4.3）直到a 在该命名空间范围内提供匹配声明（或者在授予友谊的班级定义之前或之后）。如果是朋友函数被调用，其名称可以通过名称查找找到考虑来自名称空间和与之关联的类的函数函数参数的类型（3.4.2）。如果是朋友的名字声明既不是合格的，也不是模板ID和声明是一个函数或一个精心设计的类型说明符，用于确定的查找该实体是否先前已被宣布不得考虑任何实体最里面的封闭命名空间之外的范围。

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

2 个答案: