将模板函数声明为友元

Declare a template function as friend

本文关键字：友元 声明 函数      更新时间：2023-10-16

我有一个这样的全局函数:

namespace X
{
namespace Y
{
template <R, ...T>
R foo(T&&... args)
{
    R r(args...);
    return r;
}
}
}

然后在另一个类A中，我想声明这个函数foo为A的友元。所以我做了:

class A
{
template <R, ...T>
friend R X::Y::foo(T&&... args);
A(int x, int y){}
};

现在，当我调用X::Y::foo<A>(4, 5)时，它编译失败，错误是foo不能访问A的私有构造函数。我无法理解这个错误，我如何正确地将foo声明为A的朋友?

修复了模板参数和参数包的语法问题后，这似乎可以工作了:

namespace X
{
    namespace Y
    {
        template <typename R, typename ...T>
        R foo(T&&... args)
        {
            R r(args...);
            return r;
        }
    }
}
class A
{
    template <typename R, typename ...T>
    friend R X::Y::foo(T&&... args);
    A(int x, int y){}
};
int main()
{
    X::Y::foo<A>(1, 2);
}
下面是上述代码编译的一个实例:
相关文章：