C++异常处理：异常与SEH的差异解析

"这篇文章主要探讨了C++异常处理机制与Windows特定的结构化异常处理（SEH）之间的差异，以及它们各自的特点和用法。通过示例代码展示了如何使用C++的`try-catch`以及Windows特有的`__try/__except/__finally`块，并解答了为何C++没有内置`finally`关键字的问题。" 在编程语言中，异常处理是处理程序运行时错误的关键机制。C++和Windows平台提供了两种不同的异常处理方式：C++的异常处理和Windows结构化异常处理（SEH）。了解这两种机制的区别有助于我们编写更健壮的代码。 C++异常处理基于一个称为“异常规范”的概念，它允许程序员在代码中指定可能抛出异常的函数。C++的异常处理由`try`, `catch`, 和 `throw`关键字组成。以下是一个简单的C++异常处理例子： ```cpp try { // 可能抛出异常的代码 // ... throw std::runtime_error("An error occurred"); // 抛出异常 } catch (std::exception& e) { // 捕获并处理标准异常 // ... } catch (...) { // 捕获所有其他类型的异常 // ... } ``` 在这个例子中，`try`块包含可能抛出异常的代码。如果在`try`块内抛出异常，控制流将立即跳转到相应的`catch`块。`catch`块定义了如何处理特定类型的异常。`catch(...)`则捕获所有未被前面的`catch`块捕获的异常。 相比之下，Windows SEH使用`__try`, `__except`, 和 `__finally`关键字。下面是一个使用SEH的例子： ```cpp __try { // 可能引发结构化异常的代码 // ... int* p = 0x00000000; // 指向NULL *p = 13; // 引发访问冲突异常 } __except(puts("infilter"), 1) { // 处理异常 puts("inexcept"); } __finally { // 总是执行的清理代码 puts("infinally"); } ``` 在这个例子中，`__try`块内的代码如果引发结构化异常，控制流会进入`__except`块。`__finally`块的代码无论是否发生异常都会执行。SEH处理所有类型的异常，包括硬件和系统级的异常，而不仅仅是C++的异常。 C++不提供内置的`finally`关键字，但可以通过`try`-`catch`结合`noexcept`来模拟这个功能。例如： ```cpp void cleanup() { // 清理代码 } void function() noexcept { try { // 可能抛出异常的代码 // ... } catch (...) { // 如果抛出异常，执行清理 cleanup(); throw; // 重新抛出异常，让调用者处理 } cleanup(); // 如果没有抛出异常，仍然执行清理 } ``` 这种做法确保了无论是否发生异常，`cleanup()`函数总会被调用。 总结来说，C++异常处理提供了一种面向对象的方式来处理程序异常，而Windows SEH更偏向于底层和系统级的异常处理。两者各有优缺点，具体使用哪种取决于项目需求和目标平台。理解这两种机制的差异可以帮助开发者选择更适合他们情况的异常处理策略。