std::packaged_task通过构造函数接收可调用对象并自动绑定签名、捕获上下文,生成带std::future的可执行包装体;支持普通函数、lambda(需可移动且禁用引用捕获)和成员函数(需std::bind或lambda绑定this);封装后需移入线程、std::async或手动调用以触发执行;关联的future在任务执行后返回值或异常,且get_future()须在调用前获取。

直接把函数(或可调用对象)传给 std::packaged_task 的构造函数即可,它会自动绑定签名、捕获上下文,并生成一个带 std::future 的可执行包装体。
基本封装方式:支持普通函数、lambda 和成员函数
std::packaged_task 是一个模板类,需要显式指定返回类型和参数列表(即“签名”),例如 std::packaged_task 表示接受两个 int 参数、返回 int 的任务。
- 普通函数:直接传函数名(退化为函数指针)
- Lambda:支持带捕获的 lambda(必须是可移动的,不能含引用捕获到局部变量)
- 成员函数:需用
std::bind或 lambda 捕获对象,把this和参数一并绑定
封装后如何触发异步执行?
封装本身不执行函数,只是准备好了可调用对象。要启动异步操作,需把 std::packaged_task 移动到线程、线程池或 std::async 中:
- 传给
std::thread:注意移动语义,std::thread t(std::move(task)) - 用
std::async:更简洁,auto fut = std::async(std::launch::async, std::move(task), args...) - 手动调用
task(args...):会在当前线程同步执行,但依然能通过task.get_future()获取结果
获取执行结果:通过关联的 future
每个 std::packaged_task 构造时自动关联一个 std::future,调用 task.get_future() 即可拿到。该 future 在任务被调用(无论同步还是异步)后,会持有返回值或异常:
立即学习“C++免费学习笔记(深入)”;
- 任务未执行前,
future.wait()会阻塞;future.valid()返回 true - 任务已执行且无异常,
future.get()返回值(只可调用一次) - 若任务抛异常,
get()会重新抛出该异常
常见易错点
封装时容易忽略的细节:
- 签名必须完全匹配:参数类型、const/volatile、引用符都不能错
- 带捕获 lambda 必须可移动:避免使用
[&x]{...}捕获局部变量引用 - 不要拷贝
packaged_task:它不可拷贝,只能移动;多次 move 后原对象失效 - future 必须在 task 执行前获取:一旦 task 被调用,再调用
get_future()会抛std::future_error











