C++中promise/future相对传引用返回的优势有哪些？

你提到的传引用方式确实能实现线程返回结果的需求，但promise/future提供了很多传引用无法替代的优势，具体来说：

1. 更灵活的同步等待逻辑 #

传引用的方式必须显式调用thread::join()等待线程完成，否则访问引用变量会有数据竞争。而future::get()会自动阻塞直到结果就绪，你可以在主线程先处理其他逻辑，等真正需要结果的时候再调用get()，不用提前阻塞等待线程结束，灵活性高很多。而且future内部已经处理了内存可见性，不用手动加锁或内存屏障。

2. 原生支持异常传递 #

异步线程中如果抛出异常，传引用的方式几乎没法优雅地把异常传递到主线程——总不能专门传一个std::exception_ptr的引用吧？但promise可以通过set_exception()把异常封装进去，主线程调用future::get()时会重新抛出这个异常，让你能像处理同步函数异常一样处理异步任务的错误。

3. 支持多结果与更清晰的语义 #

如果要让线程返回多个结果，传引用得逐个添加输出参数，代码会变得杂乱。而promise/future可以返回任意类型（包括结构体、tuple），直接封装所有结果。另外，传引用的参数是“输入输出”型，阅读代码时得仔细看函数逻辑才知道它是用来返回结果的；promise/future的语义则非常明确：异步任务通过promise产出结果，主线程通过future获取结果，代码意图一目了然。

4. 无缝集成标准库异步工具 #

C++标准库的std::async、std::packaged_task都是直接和future配合使用的，用传引用的方式根本没法对接这些工具。而且future还能配合std::when_all、std::when_any实现多任务等待（比如等待多个异步任务全部完成，或者任意一个完成），构建复杂的异步工作流，这是传引用方式完全做不到的。

5. 更低的安全风险 #

传引用的方式容易出现悬空引用问题：比如不小心把引用绑定到了已经销毁的变量，或者线程里的引用在主线程访问前失效，会直接导致未定义行为。而promise/future是通过内部机制传递值（或状态），不存在悬空引用的风险，安全性更高。

你提供的传引用示例代码： #

#include <iostream>
#include <thread>

void f(int& x)
{
    x += 1;
}

int main()
{
    int a = 1;
    std::thread t(f, std::ref(a));
    t.join();
    std::cout << a << '\n';
}

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