子线程中未捕获的异常会直接调用std::terminate()而非传播至主线程；应使用std::async+std::future或std::promise显式传递异常，并确保thread析构前join/detach。
子线程里 throw 的异常默认不会传播到主线程
这是最常被误解的一点：C++ 标准规定，std::thread 启动的子线程中未捕获的异常会直接调用 std::terminate()，而不是“抛回”主线程。你看到程序崩溃但没报具体异常信息，大概率就是这个原因。
根本原因在于线程栈独立，异常对象无法跨栈传递。所以不能依赖“自动捕获”，必须显式设计异常传递机制。
- 不要在
std::thread构造的裸线程函数里直接throw且不捕获 - 避免使用
std::thread([]{ throw std::runtime_error("oops"); });这类写法 - 若确实需要异常语义，优先考虑
std::async+std::future组合
用 std::async 和 std::future::get() 捕获异常最稳妥
std::async 是 C++11 提供的、专为异步任务+异常传播设计的工具。它内部自动把异常保存在关联的 std::future 对象中，调用 get() 时才重新抛出 —— 且抛出在线程上下文中（通常是主线程）。
auto fut = std::async(std::launch::async, []{
throw std::logic_error("from async");
return 42;
});
try {
auto res = fut.get(); // 这里才会抛出 logic_error
} catch (const std::logic_error& e) {
// ✅ 正确捕获
}
-
std::launch::async确保真正并发执行；省略该参数可能延迟执行或同步执行，影响异常触发时机 -
fut.get()是阻塞调用，且**只可调用一次**；重复调用会抛std::future_error - 如果异步函数返回
void，fut.get()仍会传播异常，只是不返回值
手动用 std::promise + std::future 控制异常传递
当需要更精细控制线程生命周期（比如复用线程、自定义线程池），或者必须用 std::thread 时，可以用 std::promise 显式存异常。
关键是在子线程中用 std::promise::set_exception()，而不是让异常逃逸：
std::promise<int> prom;
auto fut = prom.get_future();
std::thread t([&prom]{
try {
throw std::runtime_error("manual capture");
} catch (...) {
prom.set_exception(std::current_exception()); // ✅ 正确保存
}
});
t.detach(); // 或 join()
try {
auto x = fut.get(); // 抛出 runtime_error
} catch (const std::runtime_error& e) {
// 处理
}</int>
- 必须用
std::current_exception()获取当前异常对象，不能直接传catch参数（类型擦除后丢失） -
set_exception()只能调用一次；重复调用导致未定义行为 - 确保
std::promise在子线程写入前未被销毁（注意生命周期，建议用std::shared_ptr包裹或保证作用域）
别忽略 std::thread 析构时的异常安全陷阱
即使你没在子线程里 throw，如果 std::thread 对象在析构时仍处于 joinable() 状态，会直接调用 std::terminate() —— 这和异常无关，但常和异常处理逻辑混在一起出问题。
- 永远在
std::thread对象离开作用域前明确调用join()或detach() - 推荐用 RAII 封装，比如
struct scoped_thread { ~scoped_thread() { t.join(); } std::thread t; }; - 如果线程因异常提前退出，而你忘了
join，程序照样崩 —— 这和子线程异常捕获是两个独立问题，但容易一起发生
std::async，如果忘记调用 get()，异常就永远沉睡在 std::future 里，不会自动冒出来。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
