未捕获异常时std::terminate的调用时机、线程与全局资源问询

1. std::terminate与全局资源析构的时机关系 #

当程序抛出未被捕获的异常时，会先执行栈展开：销毁当前线程栈上的所有局部对象，直到到达该线程的入口点（主线程是main函数，子线程是线程函数）。如果此时仍没有捕获异常，就会调用std::terminate。

重点：此时全局对象、静态存储期对象（包括函数内的static对象）的析构函数还未被调用，它们的资源完全可用。只有当程序正常退出（比如从main返回）或调用exit()时，才会触发全局对象的析构；而std::terminate的默认行为是调用abort()，直接终止程序，不会触发全局析构流程。即使你自定义了terminate_handler，只要handler在执行期间没有主动触发程序退出（比如调用abort()/exit()），全局资源就会保持可用状态。

2. std::terminate的调用线程 #

std::terminate始终在抛出未捕获异常的线程中被调用，并非固定主线程：

• 如果异常在主线程的main函数中抛出且未被捕获，std::terminate在主线程执行；
• 如果异常在子线程的函数中抛出且未被捕获，std::terminate就在该子线程中执行。

核心结论 #

在自定义的std::terminate_handler执行期间：

• 所有全局资源、静态存储期资源都是确定存在且可用的；
• 执行handler的线程是抛出未捕获异常的线程，该线程的栈局部对象已被销毁，但全局状态未被触动。

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