多线程程序如何避免单个线程除零等非法操作导致整个进程终止

可以实现，但除零操作属于硬件触发的进程级异常，不属于C++标准定义的可捕获异常，无法通过普通的try/catch处理，需要依赖平台相关的能力实现，且存在一定局限性。

整数除零会触发CPU层面的运算异常，操作系统内核会向所属进程发送对应信号：类Unix平台对应SIGFPE信号，Windows平台对应EXCEPTION_INT_DIVIDE_BY_ZERO结构化异常，这类异常的默认处理逻辑是终止整个进程，并不会局限于触发异常的单个线程。

• 方案1：前置校验（最推荐，跨平台无额外开销）
  直接在执行除法前判断除数是否为0，主动规避异常触发，这是成本最低、兼容性最好的方案，修改后的代码如下：

#include <iostream>
#include <thread>
#include <chrono>

void thread1() {
    std::this_thread::sleep_for(std::chrono::seconds(2));
    for (int i = 3; i >= 0; --i) {
        // 新增除数校验，从根源避免异常
        if (i == 0) {
            std::cout << "检测到除数为0，线程即将正常退出" << std::endl;
            break;
        }
        std::cout << (3 / i) << std::endl;
    }
    std::cout << "thread end" << std::endl;
}

int main() {
    std::thread t(thread1);
    t.detach();

    std::cout << "before sleep\n";
    std::this_thread::sleep_for(std::chrono::seconds(5));
    std::cout << "after sleep\n";
}

该方案不会触发任何系统异常，线程正常退出的同时整个程序也能正常运行。

• 方案2：类Unix平台信号捕获+跳转
  可以通过注册SIGFPE信号处理函数，配合setjmp/longjmp实现异常点跳转，避免进程终止。注意该方案会跳过栈帧析构逻辑，可能导致资源泄漏，仅可作为兜底方案使用。

• 方案3：Windows平台结构化异常处理（SEH）
  Windows下可以用__try/__except块包裹可能触发异常的代码，直接捕获除零异常后退出当前线程即可，示例代码如下：

void thread1() {
    std::this_thread::sleep_for(std::chrono::seconds(2));
    __try {
        for (int i = 3; i >= 0; --i)
            std::cout << (3 / i) << std::endl;
    } __except(EXCEPTION_EXECUTE_HANDLER) {
        std::cout << "线程触发除零异常，即将退出" << std::endl;
        return;
    }
    std::cout << "thread end" << std::endl;
}

• 平台相关的异常处理方案不具备可移植性，且会破坏C++的RAII机制，栈上创建的对象不会执行析构函数，可能出现内存泄漏、资源未释放等问题。
• 优先选择代码前置校验的方式从根源避免异常触发，不要依赖异常捕获处理这类未定义行为。

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