标准中曾经有一段规定
除非在命名空间范围内显式声明，否则类模板特化的命名空间范围友元函数的名称在普通查找期间不可见。这些名称可以在关联类下找到。
template <typename T> struct number {
number(int);
friend number gcd(number x, number y) { return 0; }
};
void g() {
number<double> a(3), b(4);
a = gcd(a, b); // finds gcd becuase numer<double> is an associated class,
// making gcd visible in its namespace (global scope)
b = gcd(3, 4); // error: gcd is not visible
}
此功能已用于在编译时捕获和检索元编程状态。
template <int X>
struct flag {
friend consteval int f(flag<X>);
};
template <int X, int N>
struct injecter {
friend consteval int f(flag<X>) { return N; }
};
template <int N = 0, auto = []{}>
consteval auto inject() {
if constexpr (requires { f(flag<X>{}); }) {
return inject<N+1>();
} else {
void(injecter<X>{});
return f(flag<X>{});
}
}
static_assert(inject() == 0);
static_assert(inject() == 1);
static_assert(inject() == 2);
static_assert(inject() == 3);
// ...
据我所知，CWG 提出了一个问题，旨在使此类行为不正常，尽管禁止此类行为的机制尚未确定。但是，由于最新草案中似乎没有该段落，我想知道朋友注入在 C++23 中是否格式不正确。