45

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

我最近看到一个类似于下面的例子。下面的完全限定名称是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()可以找到的方法吗？

诚然，这并非源于实际问题。我只是想获得更好的理解。

4

2 回答 2

35

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

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

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

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

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

于 2017-11-06T12:02:58.230 回答
7

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

在命名空间中首先声明的每个名称都是该命名空间的成员。如果非本地类中的友元声明首先声明了一个类或函数，则友元类或函数是最内层封闭命名空间的成员。 在该命名空间范围内（在授予友谊的类定义之前或之后）提供匹配声明之前，未通过非限定查找 (3.4.1) 或通过限定查找 (3.4.3) 找不到朋友的名称. 如果调用友元函数，则可以通过名称查找找到其名称，该名称查找考虑来自与函数参数类型相关联的命名空间和类的函数（3.4.2）。如果友元声明中的名称既不是限定词也不是模板ID，并且声明是函数或详细类型说明符，则确定实体是否先前已声明的查找不应考虑最内层封闭命名空间之外的任何范围.

于 2017-11-06T11:46:28.943 回答