std::future::get() 调用崩溃与卡死问题深度解析：空 future 与异步策略陷阱
std::future::get() 调用崩溃或卡死的根本原因
许多 C++ 开发者在初次使用 std::future 时，常因直接声明一个未初始化的 std::future 对象而陷入困境。这正是程序崩溃的典型诱因。其核心问题在于，一个“空”的 future 对象内部缺乏有效的共享状态。此时调用 get() 或 wait() 成员函数，并不会阻塞等待，而是会立即抛出 std::future_error 异常，其错误码明确标识为 no_state。若未捕获此异常，将触发 std::terminate() 导致程序直接终止。
因此，唯一正确的初始化流程是：首先构造一个 std::promise 对象，然后通过其 get_future() 成员函数来获取一个合法的、具备共享状态的 future 对象。任何试图复用未初始化 future 或后期绑定的做法都是无效的。
std::future→ 这是一个无效对象，后续任何阻塞操作都会导致未定义行为。f; std::promise→ 这是获取有效 future 的标准方法。p; auto f = p.get_future(); - 一个关键的隐藏风险：如果关联的 promise 对象在析构前，既未调用
set_value()设置结果值，也未调用set_exception()设置异常，那么其析构函数将直接调用std::terminate()终止整个进程，没有提供任何错误恢复的机会。
std::promise 单次赋值限制与跨线程安全传递方案
std::promise 是一个仅支持移动语义（move-only）的类型，禁止拷贝构造与拷贝赋值。这引发了一个常见问题：如何将其安全地传递到另一个执行线程中？直接使用 std::ref 包装成引用传递给 std::thread 构造函数是不可行的，因为 std::thread 内部会尝试拷贝参数，而拷贝操作已被禁用。
以下是几种安全且推荐的跨线程传递方案：
立即学习“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 的便利性与默认延迟执行策略的陷阱
相较于手动组合 std::promise 和 std::future，std::async 确实简化了异步任务的创建与结果获取。然而，它存在一个至关重要的“默认陷阱”：其默认启动策略为 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()属于未定义行为。
如何安全地从 future 中获取 move-only 类型（如 std::unique_ptr）的值
当 future 持有的返回值类型为仅移动类型，例如 std::unique_ptr 时，取值操作需要遵循特定的规则。std::future 返回的是一个右值引用，其结果将通过移动语义转移出去。这意味着：
- 接收变量应使用
auto&&或直接使用目标类型来隐式移动接收。例如，std::unique_ptr是正确且安全的写法。p = fut.get(); - 避免使用
const std::unique_ptr。虽然 const 引用可以延长临时对象的生命周期，但此处& p = fut.get(); get()调用后原 future 内容已被移走，此引用可能指向一个已被销毁的对象，导致悬空引用。 - 在子线程中通过 promise 设置值时，必须使用
promise.set_value(std::move(ptr))来转移所有权。遗漏std::move将导致编译错误，因为类型不匹配。 - 与所有 future 对象一致，一旦调用了
get()，该 future 即失效，再次调用get()或wait()将抛出异常。
最后，再次强调一个至关重要的健壮性原则：如果与 future 关联的 std::promise 对象在析构之前，既未设置值（set_value），也未设置异常（set_exception），那么程序将直接调用 std::terminate() 终止。它不会返回错误码，也不会抛出可捕获的异常。因此，在所有使用 promise 的代码路径中，无论是正常执行还是异常退出，都必须确保至少调用一次 set_value 或 set_exception。这是编写健壮、可靠的 C++ 异步代码的关键所在。
