C++11子线程抛出异常导致主线程崩溃的原因咨询

我原本认为子线程的执行状态（成功或失败）不应导致主线程崩溃，于是进行了如下测试：

#include <thread>
#include <iostream>
#include <exception>
using namespace std;
using namespace std::chrono;
void th_function() {
    this_thread::sleep_for(chrono::seconds(2));
    throw 1; // 问题根源！
}
int main() {
    auto th = thread{ th_function };
    this_thread::sleep_for(chrono::seconds(1));
    cout << "1" << endl;
    th.join();
    cout << "2" << endl;
    return 0;
}

运行结果：

1
Program stderr
terminate called after throwing an instance of 'int'

看起来throw 1导致了主线程崩溃。我认为C++中每个线程都有独立的运行栈和异常处理链，那为何本例中子线程的异常会终止主线程？

核心原因：未捕获异常触发进程全局终止 #

C++标准明确规定：当线程执行结束时若存在未被捕获的异常，系统会直接调用std::terminate()，这个函数的作用是终止整个进程，而非仅终止出错的子线程。

你提到的“每个线程有独立运行栈和异常处理链”是对的，但异常处理链仅负责处理本线程内部捕获的异常。如果子线程抛出的异常没有被自身的try-catch块捕获，就属于未捕获异常，此时C++没有默认的跨线程异常传递机制，直接触发进程终止。

解决方案 #

• 子线程内部捕获异常：在子线程的执行函数中用try-catch包裹所有可能抛出异常的代码，处理或记录后正常退出。
• 传递异常到主线程：若需要让主线程处理异常，可在子线程中捕获异常并存储到std::exception_ptr，然后在主线程中取出并重新抛出处理。

示例修改后的子线程代码：

void th_function() {
    try {
        this_thread::sleep_for(chrono::seconds(2));
        throw 1;
    } catch (...) {
        cerr << "子线程捕获到异常" << endl;
        // 若需传递异常，可保存到全局或共享的std::exception_ptr
        // global_exception = current_exception();
    }
}

这样修改后，程序会正常执行到输出2，不会触发进程终止。

内容的提问来源于stack exchange，提问作者gongliming7