C++异常机制详解：堆栈展开过程与throw/noexcept规范

堆栈展开的执行逻辑

C++异常机制的核心在于当控制流离开 try 块时发生的“堆栈展开”过程。一旦在 try 块内部或其调用的函数中引发异常：

1. 查找处理器：编译器会按照 catch 子句的定义顺序，从内向外搜索能够处理该异常类型的 handler。如果未找到匹配的 handler，将调用 terminate() 终止程序。
2. 局部对象销毁：在跳转到匹配的 catch 块之前，所有在 throw 语句点与 catch 块入口之间构造的自动变量（非静态局部对象）会被按构造逆序销毁。这是资源管理的关键环节。
3. 恢复执行：一旦异常被 catch 块接收并初始化了参数，控制流将继续执行 catch 块内的代码，随后进入 catch 块之后的正常流程。

如果在展开过程中再次抛出异常，或者在未找到匹配处理器前发生其他问题，程序同样会终止。因此，确保在异常路径上不会泄露资源是良好的实践。

第1步：观察堆栈展开的实际效果

以下示例展示了对象在不同函数层级中被抛出异常时的构造与析构顺序。请注意输出日志中标记的 “Created/Copy/Destroyed”，这直观地反映了调用栈的回退过程。

#include <string>
#include <iostream>
using namespace std;

class MyException{};
class Dummy {
 public:
  Dummy(string s) : MyName(s) { PrintMsg("Created Dummy:"); }
  Dummy(const Dummy& other) : MyName(other.MyName) { PrintMsg("Copy created Dummy:"); }
  ~Dummy(){ PrintMsg("Destroyed Dummy:"); }
  void PrintMsg(string s) { cout << s << MyName << endl; }
  string MyName; 
};

void C(Dummy d, int i) {
  cout << "Entering FunctionC" << endl;
  throw MyException(); // 抛出异常，不会执行后续代码
}

void B(Dummy d, int i) {
  cout << "Entering FunctionB" << endl;
  C(d, i + 1); // 调用C并抛出异常
  cout << "Exiting FunctionB" << endl; // 不可达
}

void A(Dummy d, int i) {
  cout << "Entering FunctionA" << endl;
  B(d, i + 1); // 调用B
  cout << "Exiting FunctionA" << endl; // 不可达
}

int main() {
  cout << "Entering main" << endl;
  try {
    Dummy d(" M");
    A(d, 1);
  } catch (MyException& e) {
    cout << "Caught an exception of type: " << typeid(e).name() << endl;
  }
  cout << "Exiting main." << endl;
  return 0;
}

预期输出分析：
程序进入 main，创建对象 “M”。进入 A、B、C 的过程中会经历对象拷贝或移动。当在 C 中抛出异常时，堆栈开始展开： - C 和 B 中构造的对象首先被销毁。 - 回到 main 的 catch 块后，main 中的对象 “M” 被销毁。 - 最终打印捕获信息并退出。

throw() 异常规范解析

throw() 是一种旧式的异常规范，用于声明一个函数不抛出任何 C++ 异常。虽然它在 C++11 中被标记为“已弃用”，但其概念在现代 noexcept 的出现背景下仍具参考价值。

语义与行为约束

• 声明含义：void f() throw(); 告诉编译器和调用者，f() 内部不会抛出异常。如果违反了此约定（即抛出了异常），标准库通常会调用 unexpected()，进而导致程序终止。
• 编译器优化：Visual C++ 等编译器在遇到 throw() 时会假设该函数无异常风险，从而生成更高效的代码（例如省略不必要的异常保存和恢复开销）。但如果该函数实际抛出了异常，可能导致未定义行为或崩溃。
• 混合类型兼容：throw(...) 表示可能抛出任何类型；而具体的 throw(type) 在 Visual C++ 中通常被简化视为 throw(...)，因为精确的类型捕获对运行时性能影响有限且实现复杂。

Visual C++ 与传统 C++ 的差异

在使用 /EHs 编译选项时，代码可以更清晰地控制哪些函数必须处理异常以及如何传递。例如：

void f5(void) throw() {
  try {
    f1(); // 如果 f1 抛出，这里必须捕获！
  } catch(...) {
    handler(); // 安全地吞噬异常，满足 throw() 契约
  }
}

如果直接在 throw() 函数中调用 throw 而不捕获，如 f3 所示，将违反规范并导致程序意外终止。

现代C++推荐：使用 noexcept

随着 C++11 标准的引入，noexcept 关键字取代了 throw() 的大部分用途。noexcept 提供了比 throw() 更强的保证和优化空间：

• 确定性更高：noexcept 明确指示函数不会抛出异常，编译器可以据此进行更激进的内联和代码布局优化。
• 语义清晰：它与异常安全级别紧密绑定。在设计 API 时，明确标注 noexcept 有助于使用者理解代码的鲁棒性。
• 避免运行时开销：相比旧的 throw() 机制，noexcept 在违背承诺时的行为更加明确且易于调试（直接调用 std::terminate）。

在实际开发中，对于不需要处理异常的成员函数或操作符，建议优先使用 noexcept。仅在极少数需要保留旧代码兼容性时，才考虑使用已弃用的 throw() 语法。

以上就是C++中异常相关堆栈展开和throw规范的详细内容，更多关于C++异常处理的资料请关注本站其它相关文章！