GCC中友元函数的范围

Question

按照标准：

在类中定义的友元函数在定义它的类的（词法）范围内。

那为什么这不起作用（测试了多个 GCC 版本）？

#include <iostream>
using namespace std;

class A
{
  friend void function() { cout << "text" << endl; };
};

// void function();

int main()
{
  function();
  return 0;
}

取消注释当然可以解决问题。

编辑（gcc 输出）：

(xterm) $ g++ -ansi -pedantic -Wall -Wextra test.cpp 
test.cpp: In function ‘int main()’:
test.cpp:13:11: error: ‘function’ was not declared in this scope

Answer 1

引号表示以下工作 - 代码在类的词法范围内，因此非限定名称查找将表现特殊

class A
{
  typedef int type;

  friend void function() { 
    type foo; /* type is visible */ 
  };
};

如果您在命名空间范围内定义了“function”，那么“type”将不可见 - 您必须说“A::type”。这就是为什么它在下一句中说“在类外定义的友元函数不是。”。类内定义的非限定名称查找表示为

在类中内联定义的友元函数 (11.4) 定义中使用的名称查找名称 授予友谊应按照在成员函数定义中查找的描述进行。如果朋友 授予友谊的类中未定义函数，在朋友函数定义中查找名称 应按照在命名空间成员函数定义中查找的描述进行。

因此，您引用的文本并不一定是规范性的 - 非限定名称查找规范已经涵盖了它。