std::async是带结果的异步任务启动器,返回std::future支持结果获取与异常传播;std::thread仅管理线程生命周期,无结果传递机制,需手动同步。

std::async 本质是带结果的异步任务启动器
std::async 不是线程的直接封装,而是对「异步可调用对象」的高层抽象。它默认可能延迟执行(std::launch::deferred),也可能立即派生线程(std::launch::async),甚至复用线程池(取决于实现,但标准不保证线程池)。关键在于它返回 std::future,天然支持结果获取、等待、超时和异常传播。
常见错误现象:没显式指定 launch policy,结果在 std::future 析构时才同步执行(deferred 模式下),导致意外阻塞主线程。
- 必须用
std::launch::async强制启用新线程,否则行为不可控 - 若函数无返回值,
std::future仍可用于等待完成,但不能.get()取值 - 异常会在
.get()时重新抛出,无需手动捕获线程内异常
std::thread 是纯线程生命周期管理工具
std::thread 只负责创建、分离或连接 OS 线程,不提供任何结果传递机制。你得自己用 std::promise/std::future、共享变量加锁、或回调函数来传递数据或信号。
使用场景:需要精细控制线程生命周期(如长时间运行的工作线程)、避免拷贝大对象(用 std::move 传参)、或与 C 风格线程 API 交互。
立即学习“C++免费学习笔记(深入)”;
- 忘记
.join()或.detach()会导致程序终止(std::thread析构时调用std::terminate) - 传参默认按值拷贝;要传引用需用
std::ref(x),否则静默变成拷贝 - 无法直接知道线程是否结束,除非额外同步原语(如
std::atomic_bool或条件变量)
性能与资源开销差异明显
每次调用 std::async(尤其带 std::launch::async)都可能触发系统线程创建/销毁,频繁调用比复用 std::thread 对象更重。而 std::thread 一旦启动,可循环处理任务(配合队列),避免反复开销。
但 std::async 的 std::future 自带状态机,省去了手写同步逻辑的出错风险;std::thread 则更轻量、更底层,适合对延迟和资源敏感的场景。
- 短时、独立、有返回值的任务:优先用
std::async(std::launch::async, ...) - 长时运行、需复用、或要精确控制栈大小/亲和性:用
std::thread+ 手动同步 - 大量小任务?别直接用二者——考虑
std::jthread(C++20)或第三方线程池
异常处理路径完全不同
std::async 内部自动捕获未处理异常,并将其存储在关联的 std::future 中;调用 .get() 时才重新抛出。这是它“更高层”的核心体现之一。
std::thread 中未捕获异常会直接调用 std::terminate,没有任何缓冲或转发机制——你必须在线程函数内部 try/catch,再通过 std::promise 或其他方式传出错误信息。
auto fut = std::async(std::launch::async, []{ throw std::runtime_error("boom"); });
// 下面这行才会抛出异常,且可被外层 catch
try {
fut.get();
} catch (const std::exception& e) {
// 处理 boom
}
真正容易被忽略的是:std::async 返回的 std::future 必须被移动或销毁前调用 .wait() / .get(),否则析构时可能隐式等待(尤其在 async 模式下),造成难以察觉的阻塞点。










