朋友名字注入的问题

Question

我试图让朋友姓名注入与以下 sn-p 一起工作：

struct foo
{
  friend foo f() { return {}; }
};

int main()
{
  auto x = f();
  return 0;
}

编译失败：

test.cc:8:10: error: use of undeclared identifier 'f'
  auto x = f();
           ^
1 error generated.

我必须在外部命名空间中声明 f 才能使错误消失。

该标准在 §7.3.1.2 的第 3 段中有解释：

如果一个朋友声明在一个 非本地类首先声明一个类、函数、类模板或函数模板97，友元是最内层封闭命名空间的成员。友元声明本身并不使名称对非限定查找 (3.4.1) 或限定查找 (3.4.3) 可见。 [注意：朋友的名字将在其命名空间中可见如果在命名空间范围内提供了匹配的声明（在授予友谊的类定义之前或之后）。 ——尾注]

我的问题：为什么我们需要在命名空间范围内额外声明 f 才能编译？跟ADL有关系吗？是否有解决此要求的（hacky）方法？

Answer 1

您可以强制 ADL：

struct foo {
  friend foo f(foo *) { return {}; }
};

int main()
{
  auto x = f((foo *) 0);
  return 0;
}

使用 g++ 4.9.0 和 clang++ 3.4 编译。当然，可能不太实用。

附录：感谢 Richard Hodges，这是另一种可能的解决方法，但它可能是 g++ 4.9.0 的错误。 clang++ 和 g++ 是有区别的。如果我有时间，我会尝试研究标准的内容。如果 OP 想将此作为一个新问题发布，询问哪个编译器错误，请这样做。

struct foo {
  friend foo f1() { return {}; }
  friend foo f2(foo *) { return {}; }
  template<typename T = void>
  friend foo f3() { return {}; }
};

int main()
{
  auto x1 = f1(); // Error, f1() not visible.
  auto x2 = f2((foo *) 0); // Force ADL.
  auto x3 = f3<void>(); // Use template, okay with g++, fails with clang++.
  auto x4 = f3(); // Use template with default param, okay with g++, fails with clang++.
  return 0;
}

Answer 2

friend 致力于声明，而不是定义。

struct foo
{
  friend foo f();
};

foo f() { return {}; }

int main()
{
  auto x = f();
  return 0;
}

编译