C++异常机制核心：栈展开、异常传播与异常安全

C++异常（Exception）是一种错误处理机制，允许函数在遇到无法继续执行的情况时“抛出”异常，由调用链上层的函数来“捕获”并处理。它依赖编译器和运行时库（RTTI、异常表等）来实现。

1. 异常抛出与传播（Exception Propagation）

当代码执行到 throw expr; 时：

• expr 被用于构造异常对象（通常是临时对象，按值抛出时会复制/移动）。
• 控制权立即离开当前函数，异常开始向上传播（propagate）。
• 传播路径是调用栈（call stack）：从当前函数 → 调用者 → 调用者的调用者 … 直到找到匹配的 catch 子句或到达 main() 之外（导致 std::terminate）。

传播规则：

• 异常对象在传播过程中保持存活，直到被 catch 完全处理完毕。
• 如果 catch 参数是按值接收，会再次发生复制/移动（推荐按 const reference 捕获以避免不必要的复制）。
• 异常可以跨多个函数、甚至跨模块传播（只要异常类型可见）。

void deepest() {
    throw std::runtime_error("出错啦！");  // 抛出
}

void middle() {
    deepest();   // 异常从这里开始向上传播
}

void top() {
    try {
        middle();
    } catch (const std::exception& e) {  // 捕获
        std::cout << e.what();
    }
}

2. 栈展开（Stack Unwinding）

这是异常机制最关键的部分，也是它与 setjmp/longjmp 的本质区别。

过程：

1. 抛出异常后，运行时系统查找当前函数的异常表（编译器生成的）。
2. 如果当前函数没有匹配的 catch，则开始栈展开：
   • 调用当前栈帧中所有已构造但尚未析构的自动（局部）对象的析构函数。
   • 释放该栈帧。
   • 回到上一层调用者，重复上述过程。
3. 直到找到匹配的 catch 子句，进入 catch 块执行。
4. catch 块执行完毕后，异常对象被销毁，程序从 catch 之后的语句继续正常执行。

重要特性：

• RAII 友好的：所有遵循 RAII 的资源（智能指针、锁、文件句柄等）在栈展开时会自动释放，因为析构函数会被调用。
• 析构函数中抛出异常是致命的（通常导致 std::terminate）。因此析构函数必须是 noexcept（C++11 起默认是 noexcept）。
• 栈展开期间如果发生第二次异常（例如某个局部对象的析构函数抛出），程序会立即调用 std::terminate。

示例演示栈展开：

class Resource {
public:
    ~Resource() { std::cout << "资源释放\n"; }  // 栈展开时自动调用
};

void func() {
    Resource r;
    throw std::runtime_error("error");
    // r 的析构函数会在展开时被调用
}

int main() {
    try {
        func();
    } catch (...) {
        std::cout << "已捕获\n";
    }
}

输出会显示“资源释放”然后“已捕获”。

3. 异常安全保证（Exception Safety）

这是库作者和健壮代码必须考虑的问题。异常安全有四个经典等级（由 Herb Sutter 和 David Abrahams 提出）：

实现强异常安全的常用技巧：

// Copy-and-Swap idiom（强异常安全赋值）
class Widget {
    std::vector<int> data;
public:
    Widget& operator=(const Widget& other) {
        Widget tmp(other);        // 可能抛出，但*this不变
        tmp.swap(*this);          // swap 是 noexcept
        return *this;
    }
    void swap(Widget& other) noexcept {
        data.swap(other.data);
    }
};

4. 现代 C++ 中的最佳实践

• 优先使用 noexcept：告诉编译器函数不会抛出，能优化栈展开表、启用 move 语义等。
• 按 const std::exception& 或 const auto& 捕获。
• 不要用异常做控制流（性能开销、代码可读性差）。
• 异常规范：
  • C++11 前：throw(type1, type2) 已废弃。
  • C++11 起：noexcept / noexcept(true/false)。
• std::exception_ptr、std::current_exception()、std::rethrow_exception() 用于跨线程传播异常。
• 性能：异常路径通常被优化为“零开销”（正常路径几乎无额外代价），但抛出/展开本身仍有成本。

5. 常见陷阱

1. 析构函数抛出 → terminate。
2. 异常从构造函数中抛出 → 对象未完全构造，析构函数不会被调用（只有已构造的子对象/成员会被析构）。
3. catch(...) 后忘记 rethrow（throw;）会导致异常被“吞掉”。
4. 多线程中异常未传播到主线程。

掌握栈展开 + RAII 是写出异常安全代码的核心。一旦理解了“抛出 → 展开析构 → 找到 catch → 继续执行”这个流程，你就能自然地写出健壮的 C++ 代码。

如果你需要更深入的某个部分（比如异常表实现原理、与协程的交互、std::expected / std::variant 替代方案等），随时告诉我！