C++ future与promise异步编程 _ 获取子线程返回值方法【详解】

std::future::get() 一调用就崩溃，主因是空 future（如 std::future f;）调用 get() 会抛出 std::future_error(no_state) 异常；若未捕获则触发 std::terminate() 导致程序崩溃。卡死通常源于 std::async 默认延迟执行策略（deferred），get() 时才同步运行函数，而非真异步。

std::future::get() 为什么一调用就崩溃或卡死

很多开发者遇到的第一个坑，就是直接声明一个 std::future 却不给它绑定任何 std::promise。这其实是程序崩溃的典型源头。为什么？因为这种“空”的 future 对象内部根本没有共享状态。这时候你调用 get() 或者 wait()，它不会卡在那里，而是会直接抛出一个 std::future_error 异常，错误码明确指向 no_state。

所以，正确的打开方式有且只有一种：必须先构造一个 std::promise，然后通过它的 get_future() 成员函数来获取一个合法的 future 对象。别想着走捷径，比如后期再绑定或者复用未初始化的 future，这条路是走不通的。

• std::future f; → 这是一个无效对象，后续任何阻塞操作都是非法的。
• std::promise p; auto f = p.get_future(); → 这才是合法的起点。
• 这里还有个隐藏陷阱：如果子线程在退出前，既没有调用 p.set_value() 设置值，也没有调用 p.set_exception() 设置异常，那么当 promise 对象析构时，它会直接调用 std::terminate() 终止整个程序，连补救的机会都不会给你。

std::promise 只能 set 一次，但怎么传给子线程

std::promise 是个只能移动（move-only）的类型，这意味着你不能按值拷贝它。那么问题来了，怎么把它安全地传递到另一个线程里去呢？直接用 std::ref 包装成引用传给 std::thread 构造函数行不行？答案是：不行。因为 std::thread 内部会尝试拷贝参数，而 std::promise 的拷贝构造是被禁用的。

安全的传参方式，其实主要就两种：

立即学习“C++免费学习笔记（深入）”；

• 使用 std::move() 移动传入（推荐）：写成 std::thread t(func, std::move(p));。同时，线程函数 func 的签名需要接收一个右值引用，比如 void func(std::promise&& p)。
• 使用指针或智能指针包装：比如用 std::shared_ptr> 来管理生命周期。但这种方式需要你格外小心，手动管理不好就容易引入悬空指针的问题。
• 绝对要避免的做法：std::thread t(func, std::ref(p)); —— 这行代码通常会导致编译失败，因为 std::ref 无法绕过 move-only 类型的限制。

std::async 比手动 promise/future 更省事？但有个默认陷阱

确实，std::async 封装了线程创建和结果传递的细节，用起来比手动组合 promise/future 要方便不少。但是，它有一个非常关键的“默认陷阱”：它的默认启动策略是 std::launch::async | std::launch::deferred。这意味着，编译器可以自由选择是立即异步执行，还是延迟到调用 get() 或 wait() 时才同步执行。尤其是在 MSVC 编译器下，它默认倾向于 deferred（延迟执行）。这就导致了一个现象：你以为的异步任务，实际上在 get() 调用时才在主线程上运行，完全破坏了异步的预期，看起来就像是“卡死”了。

所以，要确保真正的异步执行，必须显式指定启动策略：

• std::async(std::launch::async, func) → 强制在新线程中执行。
• std::async(std::launch::deferred, func) → 明确声明为延迟执行，get() 时才运行。
• 不写策略参数 → 行为不可移植，GCC/Clang 大多会异步执行，而 MSVC 则可能延迟执行。
• 另外请注意，std::async 返回的 future 在调用一次 get() 后也会变为无效（valid() == false），再次调用 get() 属于未定义行为。

move-only 类型（如 std::unique_ptr）怎么从 future 安全取值

当你的 future 持有像 std::unique_ptr 这样的只能移动的类型时，取值操作需要格外注意。std::future>::get() 返回的是一个右值引用，结果会被移动走。这意味着：

• 接收变量应该声明为 auto&& 或者直接用 std::unique_ptr 来隐式移动接收。写成 std::unique_ptr p = fut.get(); 是正确且安全的。
• 不能写成 const std::unique_ptr& p = fut.get();。虽然将临时量绑定到 const 引用可以延长生命周期，但这里 get() 移动后原 future 已经失效，而且这个引用很可能指向一个悬空的对象。
• 在子线程中设置值时，必须使用 promise.set_value(std::move(ptr)) 来转移所有权，如果漏掉了 std::move，会导致编译失败（类型不匹配）。
• 和所有 future 一样，一旦调用了 get()，这个 future 对象就不再可用，再次调用 get() 或 wait() 会抛出异常。

最后，再强调一个最容易被忽略的关键点：如果 promise 对象在析构之前，既没有设置值（set_value），也没有设置异常（set_exception），那么程序会直接终止（std::terminate）。它不会给你返回错误码，也不会抛出你能捕获的异常。因此，所有使用 promise 的代码路径，无论是正常返回还是异常退出，都必须保证至少调用一次 set_value 或 set_exception。这才是保证程序健壮性的关键所在。