c++++ 中栈展开异常机制通过调用链向上传播异常。当函数中引发异常且当前函数没有处理程序时，运行时逐级向上检查调用函数是否存在处理程序，直到找到处理程序或到达调用链顶端。

C++ 栈展开异常：揭秘异常传播的幕后机制

在 C++ 中，栈展开异常是一种通过调用链上下传播异常的独特机制。理解这种机制至关重要，因为它有助于我们了解异常处理的工作原理。

栈展开的工作原理

立即学习“C++免费学习笔记（深入）”；

当在函数中引发异常时，C++ 运行时会：

1. 检查当前函数是否包含异常处理程序。
2. 如果存在，则将控制权转移到处理程序，并且异常继续传播到调用链中的下一个函数。

3. 如果当前函数不包含处理程序，则运行时会展开堆栈，即：

   • 逐级调用链向上移动。
   • 检查每个调用函数是否包含异常处理程序。
   • 将控制权转移到找到的第一个处理程序。

实战案例

考虑以下代码片段：

void func3() {
  throw runtime_error("异常来自 func3");
}

void func2() {
  func3();
}

void func1() {
  func2();
}

int main() {
  try {
    func1();
  }
  catch (runtime_error& e) {
    cout << e.what() << endl;
  }
  return 0;
}

在这个例子中：

• func3 中引发异常。
• func3 不包含异常处理程序，因此栈展开。
• 运行时检查 func2，它也没有异常处理程序。
• 栈展开继续向上，直到在 main 中找到处理程序。
• 异常消息通过异常对象传递到处理程序，打印在屏幕上。

结论

栈展开异常为 C++ 中的异常传播提供了一种强大的机制。它确保异常始终会传播到调用链中的某个处理程序，从而使程序能够优雅地处理错误和异常情况。