C++中向异步任务传递大对象的疑问：传值还是传引用？

你的判断完全正确，静态代码分析的建议属于误报，必须通过传值拷贝的方式将MyLargeObject传入异步任务，原因如下：

• 原对象生命周期不受控：回调函数中的const MyLargeObject &由外部调用库管理，你无法确保该对象在std::async启动的异步任务执行完毕前始终存活。如果异步任务用const引用接收对象，一旦库在回调返回后立即销毁原对象，异步任务中对引用的访问会触发未定义行为（比如内存访问错误）。

• std::async的执行特性：std::async的任务可能在后台线程异步执行，也可能延迟到调用get()/wait()时才执行，无论哪种情况，只要原对象的生命周期无法覆盖任务的整个执行周期，引用就会失效。

如果想在保证安全的前提下优化拷贝开销，可以考虑这些方案：

• 利用移动语义：如果MyLargeObject实现了移动构造函数，你可以在回调中先拷贝出临时对象，再通过std::move传递给异步任务，减少一次拷贝开销：

  std::async(std::launch::async, on_message_async_task, std::move(MyLargeObject(my_large_object)));
  

• 使用智能指针托管对象：如果允许修改回调逻辑或对象的创建方式，可以将MyLargeObject封装到std::shared_ptr中，回调和异步任务都传递std::shared_ptr<const MyLargeObject>，通过引用计数保证对象在任务执行期间存活。不过这种方式需要调整回调的参数类型，或者在回调内部将拷贝的对象放入智能指针。

内容的提问来源于stack exchange，提问作者TheAG