std::thread对象析构前必须调用join()或detach()，否则触发std::terminate()静默终止；每个线程仅能join一次，重复调用或对已detach线程join属未定义行为；推荐作用域末尾显式join或用RAII封装。
std::thread 对象离开作用域前必须处理
不调用 join() 或 detach() 就让 std::thread 对象析构，程序会直接调用 std::terminate() —— 这不是异常，无法捕获，进程立刻退出。这是最常踩的坑，尤其在函数提前返回、异常抛出、或忘记写清理逻辑时。
典型错误现象：terminate called without an active exception（g++/Clang）或类似崩溃日志，且堆栈里看不到你自己的代码。
- 所有非空
std::thread对象（即t.joinable() == true）都必须在析构前明确选择：阻塞等待完成（join()），或彻底分离（detach()） - 判断是否可 join/detach 的唯一可靠方式是调用
t.joinable()；不要依赖t.id() != std::thread::id()，它不完全等价 - 一旦调用了
join()或detach()，该对象就变为不可 join 状态（joinable()返回false），再次调用会抛出std::system_error
join() 适合需要同步结果或确保资源安全释放的场景
join() 是阻塞调用，当前线程会挂起，直到目标线程执行完毕。它保证线程函数已返回、局部变量已析构、资源（如文件句柄、内存）已被释放——这对 RAII 资源管理至关重要。
常见使用场景：主线程需等待工作线程计算出结果、写入文件完成、或数据库连接关闭后再继续；或者线程内持有独占资源（如唯一 std::ofstream），不能被其他线程并发访问。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 必须在同一线程中调用
join()；不能在线程 A 中对线程 B 调用join()后，又在线程 C 中再调用一次 - 如果线程函数可能长时间运行或死循环，
join()会导致调用方无限等待；此时应配合超时机制（但std::thread本身不支持超时join，需用std::condition_variable或std::future替代） - 示例：
std::thread t([]{ std::this_thread::sleep_for(1s); }); t.join(); // 主线程停在这儿，1 秒后继续
detach() 适合“发射即忘”且无共享资源依赖的后台任务
detach() 把线程和 std::thread 对象解绑，系统接管其生命周期。之后不能再对它做任何操作（join()、joinable() 都失效），也不能获取其返回值或异常状态。
典型适用：日志异步刷盘、心跳上报、监控采样等不需反馈、不修改主线程数据、也不依赖主线程生存期的轻量后台任务。
- 被
detach()的线程仍能访问主线程中static变量、全局变量、以及通过值捕获的 lambda 变量；但绝不能访问主线程栈上局部变量的指针或引用（主线程函数返回后这些地址就无效了） - 如果线程函数内部抛出未捕获异常，
std::terminate()仍会被调用 ——detach()不改变异常传播规则 - 无法知道 detached 线程何时结束，也无法回收其
std::thread::id或系统线程资源（除非它自己退出）；大量频繁detach()可能导致线程数失控
避免隐式析构 + 推荐 RAII 封装模式
手动管理 join()/detach() 容易漏，尤其在分支多、异常路径复杂的函数中。最稳妥的方式是用 RAII 包装：
- 定义一个简单结构体，在构造时接受
std::thread，析构时自动join()（默认行为）或按策略detach() - 更推荐使用现成方案：C++17 起标准库虽未提供，但 Boost.Thread 有
boost::thread_guard；或直接用std::jthread（C++20）——它在析构时自动join()，且支持协作中断 - 若只能用 C++11/14，自行封装时注意：移动构造/赋值后原对象应置为不可 join 状态（
std::move(t)后t.joinable()为false），否则析构时仍可能误触发terminate()
复杂点在于：join() 和 detach() 不是互斥的“设置选项”，而是不可逆的一次性操作，且语义截然不同；选错意味着要么卡死、要么悬空指针、要么资源泄漏 —— 没有中间态可回退。
