SEH之旅深入理解异常处理机制
SEH的基本原理
SEH（Structured Exception Handling）是一种用于Windows操作系统中异常处理的机制。它提供了一种结构化的方式来捕获、处理和转发程序中的异常。SEH通过在执行过程中设置一系列的Exception Frames，记录当前执行点以及下一个可能要跳转到的位置，并且为每个函数调用建立一个独立的内存区域，以便在发生异常时能够正确地恢复上下文。
SEH与C++异常
在C++语言中，使用try-catch块进行错误处理是非常常见的一种做法。而实际上，这些try-catch块最终会被编译器转换成对应于SEH框架下的代码。这意味着，当你的程序运行到某个try块时，它会创建一个新的Exception Frame，并将其作为当前顶层frame。在这个frame中包含了指向下一个可能要跳转到的位置（即catch句柄）的指针，以及其他需要保存以便后续使用的信息。
异常传播与过滤
当发生任何类型的问题，比如访问违规、算术运算溢出等时，CPU都会产生一个特定的信号码，然后根据这个信号码查找相应的一个Exception Frame。如果找到，就从该Frame开始向上查找，如果没有找到，则进程会终止。此外，在这些Frame之间，还可以通过安装“过滤器”(Filter)来进一步控制哪些错误应该被捕获并由用户代码处理，而哪些则直接导致进程崩溃。
SEH表和EXCEPTION_DISPOSITION
每当你尝试捕捉或抛出某个例外的时候，你实际上是在操作称为"SEH表"的一个数据结构。这个表是一个链式结构，其中包含了所有可用的exception handlers。当你在你的代码里写__except或者__try/__except/finally语句的时候，你其实是在修改这个链条。你还可以通过调用API函数，如SetUnhandledExceptionFilter()，来指定全局未经处理的未handled exception 的行为，即如何回调给应用程序接收这样的事件。
使用实例分析
例如，我们有这样一段简单的C++代码：
#include <windows.h>
int main() {
__try {
int* p = NULL;
*p = 10; // 这里将触发访问-violation异常，因为p是空指针。
}
__except (EXCEPTION_EXECUTE_HANDLER) {
OutputDebugStringA("Access Violation caught!\n");
return 0;
}
}
这里我们用到了 EXCEPTION_EXECUTE_HANDLER, 它是一个预定义值，用来表示用户想直接从他的 except 块继续执行而不是让系统默认行为。这种情况下，该例子就不会导致程序崩溃，而是输出一条消息然后退出。在真实场景中，这样的构造可以帮助我们更安全地管理资源和避免潜在危险的情况出现。
