析构函数中直接调用t.join()危险，因move后t可能不可join而抛std::system_error，且异常栈展开时再抛异常将导致程序终止；正确做法是先检查t.joinable()再调用，并推荐用raii封装或c++20 std::jthread确保安全。
析构函数里直接调用 t.join() 是危险的
不能在析构函数里无条件写 t.join()。如果对象被 move 构造或赋值过，t 可能已不持有线程，此时 t.joinable() 为 false，但若漏判就直接 join()，会抛 std::system_error（错误码 invalid_argument）。更糟的是，如果析构发生在异常传播途中（比如栈展开时），join() 内部再抛异常会导致程序直接终止。
std::thread 析构时自动 std::terminate() 的真正触发条件
当一个 std::thread 对象离开作用域、被销毁，且其 joinable() 返回 true，其析构函数会无条件调用 std::terminate() —— 这不是可捕获的异常，没有堆栈信息，进程静默退出。常见于：
- 局部
std::thread t{f}函数末尾没写if (t.joinable()) t.join(); -
std::vector<:thread></:thread>被清空或析构，其中某些 thread 未被显式join() - 类成员
std::thread m_thread在构造失败（如前几个成员初始化抛异常）后，该成员析构时仍joinable()
安全封装：用 RAII 类在析构中可控地 join()
推荐自己写一个轻量 scoped_thread，它只做一件事：在析构时检查并 join()，且不抛异常（即使 join() 失败也吞掉或 std::abort() 明确终止）。示例：
class scoped_thread {
std::thread t_;
public:
explicit scoped_thread(std::thread t) : t_(std::move(t)) {
if (!t_.joinable()) throw std::logic_error("scoped_thread: thread not joinable");
}
~scoped_thread() {
if (t_.joinable()) t_.join();
}
scoped_thread(const scoped_thread&) = delete;
scoped_thread& operator=(const scoped_thread&) = delete;
};
使用时：
void foo() { scoped_thread st{std::thread{[] { /* work */ }}; /* ... */ } // 离开作用域自动 join
注意点：
- 构造时强制要求传入
joinable()的 thread，避免空转 - 析构中不抛异常，符合 C++ 对析构函数的基本约束
- 不支持
detach()，专注解决“必须等完”的场景
为什么不用 std::jthread（C++20）？
如果你能用 C++20，std::jthread 就是标准答案：它在析构时自动 join()，且自带协作式取消（request_stop()）。但要注意：
- 它不是
std::thread的子类，不能隐式转换；旧代码需显式替换类型 - 自动
join()仅发生在析构且线程仍joinable()时 —— 如果你提前join()或detach()，它不会重复操作 - 若线程内部死锁或无限循环，
std::jthread析构仍会卡住，和std::thread::join()一样无超时机制
真正容易被忽略的是：RAII 封装或 std::jthread 都无法绕过「等待本身可能永远不返回」这个本质限制。是否需要 join()，取决于你的线程是否真有确定的结束边界；否则，得换设计 —— 比如用状态标志 + std::condition_variable 实现可中断等待。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
