扒开 libstdc++ 源码：为什么 std::future

写 C++ 时，很多人把 std::future 当轻量句柄。可它析构时会悄悄卡住主线程。

默认启动策略是个暗坑。不传参数时，标准库可能把任务推迟到调用 get() 时才执行。一旦用 wait_for 轮询，就会陷入死循环；要是主线程等异步任务发信号，程序直接死锁。真要后台跑，必须显式传 std::launch::async。

就算显式指定了异步，析构阻塞依然会发生。只有 std::async 创建的共享状态会这样。底层实现里，最后一个 future 析构时会触发 join()。这会导致两个常见误用：一是把临时对象当“发后即忘”，分号处立刻析构，硬生生同步等待；二是在循环里丢临时句柄，并发彻底退化为串行。

更扎心的是异常和生命周期。工作线程抛出的异常，如果不调 get() 就会被静默吞掉。另外，set_value() 唤醒消费者时，工作线程还没真正退出。主线程若此时清理全局环境，就会引发崩溃。得换成 set_value_at_thread_exit，等线程彻底退完再通知。

所以核心就一条：把结果凭证和线程管理彻底解耦。核心业务别裸用 std::async，改用线程池加 packaged_task。或者干脆等 C++26 的结构化并发。