3

标准中曾经有一段规定

除非在命名空间范围内显式声明，否则类模板特化的命名空间范围友元函数的名称在普通查找期间不可见。这些名称可以在关联类下找到。

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 中是否格式不正确。

4

1 回答 1

7

从P1787R6 开始：

将 [temp.inject] 合并到 [temp.friend]

（2021 年 3 月在N4885中采用）

当前草案 ( N4901 ) 为 ([temp.friend]p2)：

友元类、类模板、函数或函数模板可以在类模板中声明。当一个模板被实例化时，它的友元声明是通过名称查找找到的，就好像在它的实例化点已经显式声明了特化一样

这似乎涵盖了旧的 [temp.inject]p2

于 2022-02-17T10:23:00.923 回答