C++异常处理机制与崩溃防护实践

1. 理解C++异常处理的基本机制

在C++编程中，异常处理是一个非常重要的概念。try-catch机制是C++标准库提供的异常处理方式，但很多开发者对其工作原理存在误解。让我们先明确一个基本事实：try-catch只能捕获通过throw关键字显式抛出的异常。

当我们在代码中看到这样的结构：

cpp复制try {
    // 可能抛出异常的代码
} catch (const std::exception& e) {
    // 异常处理代码
}

这里的catch块只能捕获在try块中通过throw抛出的异常。这是C++异常处理的第一原则。

2. 未定义行为与系统级异常的区别

2.1 什么是未定义行为(UB)

未定义行为(Undefined Behavior)是指C++标准没有明确定义行为的情况。常见的UB包括：

• 空指针解引用
• 数组越界访问
• 使用已释放的内存
• 整数除以零
• 有符号整数溢出

这些操作不会抛出C++异常，而是直接导致程序行为不可预测，通常会导致程序崩溃。

2.2 系统级异常与C++异常的区别

系统级异常(如段错误、访问冲突)是由操作系统或硬件触发的，与C++语言层面的异常机制完全独立。当发生这类错误时：

1. 操作系统会向进程发送信号(如SIGSEGV)
2. 默认情况下进程会终止
3. 调试器可能会拦截这些信号以便调试

这与C++的异常处理机制是完全分离的两套系统。

3. 为什么try-catch无法捕获崩溃

3.1 异常处理机制的局限性

try-catch机制是C++语言层面的抽象，它只能处理：

1. 通过throw显式抛出的异常
2. 标准库中设计为抛出异常的操作(如std::vector::at越界访问)

它无法拦截：

1. 硬件异常(如除零、非法指令)
2. 操作系统信号(如段错误)
3. 未定义行为导致的崩溃

3.2 实际案例分析

考虑以下代码：

cpp复制void causeCrash() {
    int* ptr = nullptr;
    *ptr = 42;  // 空指针解引用
}

int main() {
    try {
        causeCrash();
    } catch (...) {