多线程应用中如何延迟C++/SEH异常崩溃？兼顾日志记录与异常原流程

针对你提出的需求——在多线程环境中先等待后台日志完成，再执行原生C++/SEH异常崩溃流程，同时能区分异常类型决定处理或崩溃，以下是几个可行的方案：

一、Windows SEH异常处理方案（适用于Windows平台） #

利用SEH的异常过滤器，先完成日志等待，再让系统继续处理崩溃流程，既保留原生崩溃的dump生成，又保证栈展开执行析构函数。

代码示例： #

#include <windows.h>
#include <chrono>
#include <thread>

// 替换为实际的日志等待逻辑，比如用条件变量等后台线程完成
void wait_for_logging() {
    // 模拟等待后台日志写入完成
    std::this_thread::sleep_for(std::chrono::seconds(3));
}

int main() {
    __try {
        // 模拟触发致命异常（如访问违例）
        *(int*)0 = 0;
    }
    __except (
        // 判断异常类型：如果是需要崩溃的类型，先等日志，再让系统继续处理崩溃
        GetExceptionCode() == EXCEPTION_ACCESS_VIOLATION ? 
            (wait_for_logging(), EXCEPTION_CONTINUE_SEARCH) : 
            EXCEPTION_EXECUTE_HANDLER
    ) {
        // 处理非致命异常的逻辑
        // ...
    }
    return 0;
}

说明： #

• 异常过滤器中先执行wait_for_logging()确保后台日志完成，再返回EXCEPTION_CONTINUE_SEARCH，让Windows系统继续处理该异常，触发原生崩溃流程（生成dump、调用系统崩溃处理机制）。
• 该方式会正常执行栈展开，局部对象的析构函数会被调用，避免资源泄漏。

二、C++标准异常处理方案（跨平台） #

通过try/catch捕获异常，判断类型后等待日志，再重新抛出异常让程序按原生C++异常流程崩溃，保证栈展开和正常崩溃诊断信息。

代码示例： #

#include <chrono>
#include <thread>
#include <stdexcept>
#include <string>

void wait_for_logging() {
    // 实际场景中用条件变量等待日志线程完成，而非固定sleep
    std::this_thread::sleep_for(std::chrono::seconds(3));
}

int main() {
    try {
        // 模拟抛出致命异常
        throw std::runtime_error("Fatal runtime error");
    } 
    catch (const std::runtime_error& e) {
        // 判断是否为需要崩溃的异常类型
        if (std::string(e.what()) == "Fatal runtime error") {
            wait_for_logging();
            // 重新抛出异常，让程序按原生流程崩溃
            throw;
        } else {
            // 处理非致命异常
            // ...
        }
    }
    catch (...) {
        // 捕获其他未知异常，等待日志后重新抛出
        wait_for_logging();
        throw;
    }
    return 0;
}

说明： #

• 重新抛出异常会触发正常的栈展开，所有局部对象的析构函数都会被执行，避免资源泄漏。
• 若没有上层catch块捕获该异常，程序会终止并生成符合C++标准的崩溃信息（配合系统dump工具可生成诊断文件）。

三、多线程日志等待的可靠实现 #

多线程场景下，避免用固定sleep等待日志，建议用条件变量+互斥锁同步后台日志线程，确保日志真正完成后再触发崩溃：

#include <condition_variable>
#include <mutex>
#include <thread>
#include <string>

std::mutex log_mtx;
std::condition_variable log_cv;
bool log_write_completed = false;

void background_logger(const std::string& log_msg) {
    // 模拟日志写入操作（如写入文件、远程日志服务）
    // ...
    
    // 日志完成后通知等待线程
    std::lock_guard<std::mutex> lock(log_mtx);
    log_write_completed = true;
    log_cv.notify_one();
}

void wait_for_logging() {
    std::unique_lock<std::mutex> lock(log_mtx);
    // 等待日志完成，设置超时防止死锁（如日志线程挂死）
    log_cv.wait_for(lock, std::chrono::seconds(5), []{ return log_write_completed; });
}

为什么不推荐用exit(1)？ #

• exit(1)会直接终止进程，不会触发栈展开，局部对象的析构函数无法执行，易导致资源泄漏（如未关闭的文件句柄、内存块）。
• exit(1)属于正常退出，不会生成崩溃dump文件，仅返回退出码，大幅增加崩溃原因的诊断难度。

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