C++中的std::async和std::thread有什么区别？(更高层的异步任务封装)

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 交互。

• 忘记 .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 模式下），造成难以察觉的阻塞点。