C++如何将函数封装到std::packaged_task中?(异步编程)

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