17370845950

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 在任务被调用（无论同步还是异步）后，会持有返回值或异常：

• 任务未执行前，future.wait() 会阻塞；future.valid() 返回 true
• 任务已执行且无异常，future.get() 返回值（只可调用一次）
• 若任务抛异常，get() 会重新抛出该异常

常见易错点

封装时容易忽略的细节：

• 签名必须完全匹配：参数类型、const/volatile、引用符都不能错
• 带捕获 lambda 必须可移动：避免使用 [&x]{...} 捕获局部变量引用
• 不要拷贝 packaged_task：它不可拷贝，只能移动；多次 move 后原对象失效
• future 必须在 task 执行前获取：一旦 task 被调用，再调用 get_future() 会抛 std::future_error