std::packaged_task 是用于包装可调用对象的异步任务类模板，通过与线程或线程池结合实现任务执行与结果获取的解耦；它关联 std::future 以获取返回值或异常，支持移动但不可复制，常用于高效管理异步任务的场景。
在C++中处理异步任务时，std::packaged_task 是一个非常实用的工具。它将可调用对象（如函数、lambda表达式或函数对象）包装成可以异步执行的任务，并通过 std::future 获取其返回结果。这种机制非常适合需要解耦任务执行与结果获取的场景。
什么是 std::packaged_task
std::packaged_task<T()> 是一个类模板，用于包装一个返回类型为 T 的函数或可调用对象。它本身不启动线程，但能与 std::thread、std::async 或线程池等配合使用，实现任务的异步执行。
每个 std::packaged_task 都关联一个 std::future，可通过 get_future() 获取。当任务执行完成后，可以通过该 future 获取返回值或捕获异常。
基本使用方法
下面是使用 std::packaged_task 的典型流程：
立即学习“C++免费学习笔记（深入）”；
- 定义一个函数或 lambda 表达式作为任务
- 用 std::packaged_task 包装该任务
- 调用 get_future() 获取对应的 future 对象
- 在另一个线程中执行任务（例如通过 std::thread）
- 在主线程或其他线程中通过 future 获取结果
#include <iostream>
#include <thread>
#include <future>
<p>int compute(int x) {
return x * x;
}</p><p>int main() {
// 包装任务
std::packaged_task<int(int)> task(compute);
// 获取 future
std::future<int> result = task.get_future();</p><pre class='brush:php;toolbar:false;'>// 在新线程中执行任务
std::thread t(std::move(task), 10);
// 等待并获取结果
std::cout << "Result: " << result.get() << std::endl;
t.join();
return 0;}
与线程池结合使用
在实际应用中，频繁创建线程开销较大。std::packaged_task 常用于线程池中，将任务放入队列，由工作线程取出并执行。
关键点在于：packaged_task 可以像普通对象一样传递和存储，且执行后会自动设置 future 的值。
- 任务队列通常使用 std::queue<std::packaged_task<...>>
- 工作线程从队列取出任务并调用()
- 外部代码通过之前获取的 future 等待结果
这种方式实现了任务提交与执行的完全解耦，是构建异步系统的基础组件之一。
注意事项与限制
std::packaged_task 不是线程安全的自身对象——不能多个线程同时调用同一个 task 的 operator()。但它生成的 future 可以被多个线程等待（只有第一个 get() 能取值）。
- task 必须被移动，不能复制
- 如果未执行任务就销毁 task，future 会持有异常（broken_promise）
- 适合一次性任务，不适合重复执行
基本上就这些。std::packaged_task 提供了灵活的任务封装能力，是实现自定义异步框架的重要工具。搭配线程池使用时，能有效管理资源并提升性能。
