线程句柄的析构逻辑差异

std::thread 和 std::future 均可视作系统线程的句柄，但析构行为存在本质差异：可结合的 std::thread 析构会直接终止程序，而 std::future 析构永不终止程序，其行为完全由关联的 “共享状态” 决定。

共享状态（shared state）的作用

异步任务的结果既不存储在调用者的 future 中，也不存储在被调用者的 std::promise 中（两者生命周期均不满足需求），而是存储在独立的堆上对象 —— 共享状态中；该状态由引用计数管理生命周期，future 的析构行为完全依赖其关联的共享状态类型。

future 析构的两种行为

1. 正常行为（绝大多数场景）

直接销毁 future 自身的数据成员，仅递减共享状态的引用计数，既不隐式 join 也不隐式 detach。

典型场景：由 std::packaged_task 创建的 future（非 std::async 关联的共享状态），析构均遵循此逻辑；此时线程管理（join/detach）需开发者手动处理对应的 std::thread。

2. 特殊例外行为（仅满足 3 个条件）

仅当同时满足以下所有条件时，future 析构会阻塞至异步任务完成（等效隐式 join）：

  • 关联的是 std::async 创建的共享状态；
  • 任务启动策略为 std::launch::async（异步执行、非延迟）；
  • 该 future 是最后一个引用此共享状态的 future（std::future 必然满足，std::shared_future 仅无其他引用时满足）。

特殊行为的设计原因

标准委员会的妥协方案：为规避 std::thread 隐式 detach 的风险，又不想像 thread 那样直接终止程序，最终对 std::async 异步任务的最后一个 future 采用 “隐式 join” 的析构逻辑（该行为在 C++11/C++14 中保持一致）。

实际开发的潜在隐患与明确场景

1. 潜在隐患

无法通过 API 判断一个 future 是否触发特殊析构行为，因此容器（如 std::vector<std::future<T>>）或类成员（如 std::shared_future）存储 future 时，析构可能莫名阻塞。

2. 明确的安全场景

若 future 关联的是 std::packaged_task 创建的共享状态（非 std::async），可 100% 确定其析构仅执行正常行为，无需担心阻塞问题。

总结

  1. future 的正常析构行为是销毁自身数据成员，仅递减共享状态引用计数，不隐式 join/detach；
  2. 仅当 future 是 “std::async 异步任务创建的共享状态” 的最后一个引用时，析构会阻塞至任务完成（等效隐式 join）；
  3. 存储 future 的容器 / 类可能因特殊析构行为莫名阻塞，需明确其关联的共享状态类型（std::async vs 其他）。