C++中的std::packaged_task是什么？C++异步任务封装详解【并发编程】

std::packaged_task是C++11引入的单次执行可调用对象包装器，封装函数并关联std::future以解耦执行与结果获取；需先调用get_future()再执行task，仅可移动不可拷贝，异常自动捕获至future。

std::packaged_task 是 C++11 引入的一个可调用对象包装器，用于把任意可调用对象（函数、lambda、绑定表达式等）封装成一个能“延迟执行 + 自动提供 future 结果”的任务。它本质是 任务与异步结果的桥梁：你给它一个函数，它就给你一个可执行的对象，以及一个关联的 std::future，用来获取该函数执行后的返回值或异常。

核心作用：解耦任务执行和结果获取

它不负责执行，只负责“打包”——把函数和它的预期结果绑定在一起。执行时机由你控制（比如在线程中、线程池里、延时调度器中调用 operator()），而结果通过 get_future() 拿到的 std::future 在任意位置等待或取用。

• 一个 std::packaged_task 实例只能被调用一次（调用后变为“空状态”，再次调用会抛 std::future_error）
• 它的模板参数是函数签名，例如 std::packaged_task<int int></int> 表示封装一个接受两个 int、返回 int 的函数
• 构造时传入可调用对象，内部会将其移动或拷贝保存；后续调用 task(1, 2) 就会执行该函数，并自动把结果（或异常）存入关联的 future

典型使用流程：三步走

① 定义并初始化 task：
std::packaged_task<int int> task([](int a, int b) { return a + b; });</int>

② 获取 future（必须在调用前！否则 future 无效）：
auto fut = task.get_future();

③ 执行任务（可在任何线程）：
task(10, 20); // 此时 fut 就 ready 了
int res = fut.get(); // 阻塞等待并取值 → 得到 30

注意：future 必须在 task 调用前获取，否则 get_future() 返回的 future 不关联任何共享状态，调用 get() 会抛异常。

为什么比直接用 std::async 更灵活？

std::async 是“立即启动 + 自动管理线程”的快捷方式，但缺乏调度控制权；而 std::packaged_task 是纯任务容器，天然适配自定义执行环境：

标签： c++ 并发编程 异步任务 为什么 red