如何声明依赖类模板与自定义模板参数的友元模板函数？

你的问题出在友元声明中错误地使用了模板显式特化的语法create_entity<R>，而实际上我们需要匹配的是带有两个模板参数（R和Cb）的函数模板，而不是某个特化版本。

错误原因分析 #

原代码中的友元声明：

template<invocable_r<R> Cb>
friend auto create_entity<R>(Cb&& fn) -> std::shared_ptr<entity<R>>;

这里的create_entity<R>试图将一个特化后的函数声明为友元，但外部的create_entity是一个通用函数模板（包含R和Cb两个模板参数），这种写法不符合C++友元声明的语法规则，因此编译器报错"invalid use of template-id"。

正确的友元声明写法 #

我们需要在entity<R>内部声明匹配外部函数模板签名的友元，不需要显式指定R（因为当前类的模板参数R已经是上下文的一部分）。修改后的友元声明如下：

template <invocable_r<R> Cb>
friend auto create_entity(Cb&& fn) -> std::shared_ptr<entity<R>>;

这个声明会告诉编译器：对于所有满足invocable_r<R>约束的Cb，create_entity<R, Cb>函数是当前entity<R>类的友元，完美匹配外部的函数模板签名。

修改后的完整代码 #

#include <memory>
#include <future>
#include <cstdio>

template <typename Fn, typename R, typename... Args>
concept invocable_r = std::is_invocable_r<R, Fn, Args...>::value;

/* header.hpp */

template <typename T>
class entity;

template <typename R, invocable_r<R> Cb>
auto create_entity(Cb&& fn) -> std::shared_ptr<entity<R>>;

template <typename R>
struct entity
{
    template <invocable_r<R> Cb>
    entity(Cb&& fn)
        : fn_{ std::move(fn) }
    {}

    // 修正后的友元声明
    template <invocable_r<R> Cb>
    friend auto create_entity(Cb&& fn) -> std::shared_ptr<entity<R>>;

    std::packaged_task<R()> fn_;
};

/* impl.cpp */

template <typename R, invocable_r<R> Cb>
auto create_entity(Cb&& fn) -> std::shared_ptr<entity<R>> {
    return std::make_shared<entity<R>>(std::forward<Cb>(fn));
}

int main()
{
    create_entity<int>([]{ printf("Hello"); return 10; });
}

补充说明：限制友元范围（可选） #

如果你希望更严格地限制友元，只让对应当前R的create_entity实例成为友元（而不是所有R的版本），上面的写法已经满足需求——因为友元声明中的R是当前类模板的参数，所以只有create_entity<R, Cb>会被授予友元权限，其他R' != R的create_entity<R', Cb>不会访问当前entity<R>的私有成员。

内容的提问来源于stack exchange，提问作者glades