C++异常处理包含哪三种基本操作？

Question

在C++异常处理中，常见的一个技术误区是混淆“抛出（throw）、捕获（catch）和传播（exception specification / noexcept 与栈展开）”三者的职责。典型问题如下： “为什么我在函数中使用 `throw std::runtime_error("msg")` 后，程序直接调用 `std::terminate()` 而未进入任何 `catch` 块？是否漏写了 `try`？还是 `catch(...)` 不起作用？” 该问题往往源于对异常处理三要素理解不完整：① **throw**——主动抛出异常对象；② **try-catch** 结构（含 `catch` 子句的匹配与处理）——实现异常捕获；③ **栈展开（stack unwinding）**——自动调用局部对象析构函数并逐层向上传播异常（若未被捕获，则触发 `std::terminate`）。尤其易忽略的是：`catch` 必须位于对应 `try` 作用域内，且异常类型需可匹配（考虑 cv 限定、继承关系与切片风险）；而 `noexcept` 或异常规范违规也会绕过正常传播路径。正确掌握这三种基本操作，是写出健壮异常安全代码的前提。

Answer 1

```html

一、现象层：为什么 throw 后直接调用 std::terminate()？

这是最表层的困惑：代码中明确写了 throw std::runtime_error("msg");，但既无编译错误，也未进入任何 catch 块，程序却在抛出后瞬间终止。典型错误日志为：

terminate called after throwing an instance of 'std::runtime_error'
  what():  msg
Aborted (core dumped)

初学者常归因于“漏写 try”，但真相远不止于此——throw 本身不负责捕获，它只启动异常传播机制；若传播路径上无匹配的 catch，或传播被 noexcept 阻断，则必然触发 std::terminate()。

二、机制层：C++ 异常处理三要素的职责解耦

异常处理不是单一流程，而是三个正交职责的协作：

1. 抛出（throw）：构造异常对象并启动栈展开，不关心是否被捕获；
2. 捕获（try-catch）：仅在 try 作用域内、且类型匹配时生效，不具备跨函数/跨作用域穿透能力；
3. 传播（propagation）：依赖栈展开（stack unwinding）逐帧回溯，受 noexcept、异常规范（deprecated）、析构函数异常（noexcept(true) 默认）严格约束。

三、诊断层：五类高频传播中断场景

中断类型	触发条件	典型代码示例
① 无 try 包裹	抛出点不在任何 try 块内	void foo() { throw std::logic_error(""); } // 调用者未用 try 包裹
② noexcept 违规	从声明为 noexcept 的函数中抛出异常	void bar() noexcept { throw 42; } // 立即 terminate
③ 析构函数抛异常	栈展开期间析构函数抛出新异常（违反 noexcept）	struct BadDtor { ~BadDtor() { throw "boom"; } };

四、匹配层：为什么 catch(...) 有时“失效”？

看似万能的 catch(...) 实际受限于传播路径完整性：

• 若异常在传播途中被 noexcept 函数拦截，catch(...) 永远不会执行；
• 若 catch 位于不同线程（如异步任务），而抛出发生在另一线程，catch 完全不可见；
• CV 限定与继承关系导致隐式转换失败：catch(const std::exception&) 可捕获 std::runtime_error，但 catch(std::exception)（值传递）会切片，且可能因移动语义引发未定义行为。

五、实践层：健壮异常安全代码的三层防御

针对资深开发者（5+ 年经验），需构建系统性防御：

1. 静态防御：用 noexcept 显式标注不抛异常的函数（如析构、移动操作），启用编译器检查（-fexceptions + -Wnoexcept-type）；
2. 动态防御：在关键入口（如线程主函数、回调函数）强制包裹 try/catch(...) 并记录 std::current_exception()；
3. 架构防御：避免在析构函数、noexcept 函数、信号处理函数中抛出异常；优先使用 std::optional/std::expected 替代异常进行预期错误传递。

六、可视化：异常传播生命周期流程图

flowchart TD
  A[throw 表达式] --> B[构造异常对象]
  B --> C{是否在 try 块内？}
  C -- 否 --> D[启动栈展开]
  C -- 是 --> E[查找匹配 catch]
  E -- 找到 --> F[执行 catch 处理]
  E -- 未找到 --> D
  D --> G{每帧：调用局部对象析构函数}
  G --> H{当前函数是否 noexcept？}
  H -- 是 --> I[调用 std::terminate]
  H -- 否 --> J[继续向上帧传播]
  J --> C

```