如何修正C++推导指南，实现std::packaged_task返回值自动推导

问题根源 #

你的代码推导失败主要有两个核心原因：

1. 推导指南中的std::convertible_to<std::packaged_task<U()>>约束形成循环依赖：U需要从decltype(fn())推导，但约束本身又依赖未确定的std::packaged_task<U()>，编译器无法完成这个约束的验证。
2. 类构造函数的std::convertible_to<std::packaged_task<R>>约束无法参与类模板参数推导——此时R是未知的类模板参数，编译器没法用这个约束来推导R的值。

改进方案 #

方案一：构造可构造性约束+直接推导返回值 #

调整构造函数的约束为检查传入的函子能否构造对应的std::packaged_task<R()>，同时推导指南直接从函子返回值推导R，既保证类型安全，又解决推导问题：

#include <utility>
#include <future>
#include <concepts>
#include <cstdio>

template <typename R>
struct entity
{
    template <typename Cb>
    requires std::constructible_from<std::packaged_task<R()>, Cb>
    entity(Cb&& fn)
        : fn_{ std::forward<Cb>(fn) }
    { }

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

// 直接从函子的返回值推导R，构造函数的约束会验证兼容性
template <typename Cb>
entity(Cb&& fn) -> entity<decltype(std::invoke(std::forward<Cb>(fn)))>;

int main()
{
    entity e([]{ return 10; }); // 成功推导R为int
}

方案二：简化版（依赖packaged_task自身构造检查） #

如果不需要提前的约束检查，也可以去掉构造函数的requires子句，让std::packaged_task的构造函数自行验证兼容性，代码更简洁：

#include <utility>
#include <future>
#include <cstdio>

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

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

template <typename Cb>
entity(Cb&& fn) -> entity<decltype(fn())>;

int main()
{
    entity e([]{ return 10; }); // 同样可以正确推导
}

关键改进点 #

• 推导指南不再依赖未确定的std::packaged_task<U()>约束，直接从函子的返回值推导R，彻底避免循环推导问题。
• 构造函数的约束（或packaged_task的构造逻辑）负责验证传入的函子能否被包装为目标类型的std::packaged_task，确保类型安全。

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