23.3 终止处理程序
23.3.1 程序的结构
（1）框架
__try{ //被保护的代码块 …… } __finally{ //终止处理 }
（2）__try/__finally的特点
①finally块总是保证，无论__try块中的代码有无异常，finally块总是被调用执行。
②try块后面只能跟一个finally块或except块，要跟多个时只能用嵌套，但__finally块不可以再嵌套SEH块，except块中可以嵌套SEH块。
③利用try/finally可以使代码的逻辑更清楚，在try块中完成正常的逻辑，finally块中完成清理工作，使代码可读性更强，更容易维护。
（3）__finally块
①当指令从__try块底部自然流出时，会执行finally块
②局部展开时：从try块中提前退出（由goto、longjump、continue、break、return等语句引发）将程序控制流强制转入finally块，这时就会进行局部展开（但ExitProcess、ExitThread、TerminateProcess、TerminateThread等原因导致的提前离开除外，因为这会直接终止线/进程，而不能展开）。说白了，局部展开就是将__finally块的代码提前到上述那几种语句之前执行。
③全局展开时也会引发finally块的执行。从Vista开始，须显示保护try/finally框架，以确保抛出异常时finally会被执行。即try/finally块外面的某层要使用try/except块保护且except中的过滤函数要返回EXCEPTION_EXECUTE_HANDLER。Vista以前的Windows，会在线程的入口点处用try/except加以保护，但Vista为了提高Windows错误报告（WER）记录的可靠性，将这个入口点的异常过滤程序返回为EXCEPTION_CONTINUE_SEARCH，最后进程会被终止，从而导致finally块没有机会被执行。（关于全局展开见第24章的相关的部分）。
④如果异常发生在异常过滤程序里，终止处理程序也不会被执行。
⑤finally块被执行的原因总是由以上三种情况之一引起。可以调用AbnormalTermination函数来查看原因。该函数是个内联函数，当正常流出时会返回FALSE，局部或全局展开时返回TRUE。
23.3.2 __leave关键字
①该关键字只能用在try/finally框架中，它会导致代码执行控制流跳转到到try块的结尾，也可以认为是try后的闭花括号处。
②这种情况下，代码执行是正常从try块进入finally，所以不会进行局部展开。
③但一般需定义一个布尔变量，指令离开try块时，函数执行的结果是成功还是失败，然后在finally块中可根据这个（或这些）变量以决定资源是否需要释放。
23.3.3 局部展开实例分析
//1、Funcenstein2:return引起的局部展开 DWORD Funcenstein2(){ DWORD dwTemp; //1.处理一些其他事情 //... _try{ //2. dwTemp = 5; //返回一个新的值。因执行return会提前结束try块会导致 //局部展开，此时会先保存dwTemp，然后局部展开，执行finally， //最后返回try块来执行return。即，将finally提前到return之前执行！ return (dwTemp); } __finally{ //3.清除工作，这里简单输出一行文本 printf("Finally块被执行！ "); } //继续处理——以下这些代码将永远不会被执行 dwTemp = 9; printf("dwTemp = %d ", dwTemp); } //2、Funcenstein3:goto引起的局部展开 DWORD Funcenstein3(){ DWORD dwTemp; //1.处理一些其他事情 //... _try{ //2. dwTemp = 5; //试图利用goto跳过finally。这也会导致局部展开。 //当遇到goto时，会先局部展开，先执行finally， //最后返回try块来执行goto语句。即，将finally提前到goto之前执行！ goto ReturnValue; } __finally{ //3.清除工作，这里简单输出一行文本 printf("Finally块被执行！ "); } //继续处理——以下这些代码将永远不会被执行 dwTemp = 9; //该行会被跳过 ReturnValue: printf("dwTemp = %d ", dwTemp); return (dwTemp); } //3.FuncaDoodleDoo：Continue、Break引起的局部展开 DWORD FuncaDoodleDoo(){ DWORD dwTemp = 0; while (dwTemp <10){ __try{ //第2次循环时，dwTemp会等于2。由于continue会导致局部展开， //所以在执行continue前先执行finally块，dwTemp增到3 //然后continue，进行第3次循环 if (dwTemp == 2) continue; //第3次循环，这时dwTemp等于3。由于break会导致提前离开try块 //所以进行局部展开，在break前先调用finally块，因此dwTemp增 //到4，然后break跳出循环，所以finally块外面的dwTemp++没被执行 if (dwTemp == 3) break; } __finally{ dwTemp++; } dwTemp++; } dwTemp += 0; return (dwTemp); } //4.Funcenstein4函数：finally块内执行return DWORD Funcenstein4(){ DWORD dwTemp; //1.处理一些其他事情 //... _try{ //2. dwTemp = 5; //返回一个新的值。因执行return会提前结束try块会导致 //局部展开，此时会先保存dwTemp，然后局部展开，执行finally， //最后返回try块来执行return。即，将finally提前到return之前执行！ return (dwTemp); } __finally{ //3.清除工作，这里简单输出一行文本 printf("Finally块被执行！ "); //return (103); //在finally块中提前return这种行为是未定义行为。 //VC编译器直接报错。但有些编译器会让通过。 //此时在局部展开时，因try块时将返回值复制到一个 //临时变量，在等待这里的finally块返回。但因finally //里面又要return，所以会将103写入那个临时变量。然后 //函数退出！注意，不再回到try块里了。 } //继续处理——以下这些代码将永远不会被执行 dwTemp = 9; printf("dwTemp = %d ", dwTemp); return (dwTemp); }
【SEHTerm程序】
//SEHTerm.cpp
/************************************************************************ Module： SEHTerm.cpp Notices：Copyright(c) 2008 Jeffrey Richter & Christophe Nasarre ************************************************************************/ //#include "../../CommonFiles/CmnHdr.h" #include <windows.h> #include <tchar.h> ////////////////////////////////////////////////////////////////////////// //判断操作系统是否是Vista及以上版本 BOOL IsWindowsVistaAbove(){ //第4章的代码 //准备一个OSVERSIONINFOEX结构 OSVERSIONINFOEX osver = { 0 }; osver.dwOSVersionInfoSize = sizeof(osver); osver.dwMajorVersion = 6; osver.dwMinorVersion = 0; osver.dwPlatformId = VER_PLATFORM_WIN32_NT; //准备条件掩码 DWORDLONG dwlConditionMask = 0; //必须初始化为0 VER_SET_CONDITION(dwlConditionMask, VER_MAJORVERSION, VER_GREATER_EQUAL); //Vista及以上 VER_SET_CONDITION(dwlConditionMask, VER_MINORVERSION, VER_EQUAL); VER_SET_CONDITION(dwlConditionMask, VER_PLATFORMID, VER_EQUAL); //测试,返回TRUE时表示正好是Vista，否则不是Vista return VerifyVersionInfo(&osver, VER_MAJORVERSION | VER_MINORVERSION | VER_PLATFORMID, dwlConditionMask); } ////////////////////////////////////////////////////////////////////////// void TriggerException(){ __try{ int n; int n = MessageBox(NULL, TEXT("执行非法内存访问吗？"), TEXT("SEHTerm：在try块内"), MB_YESNO); if (n == IDYES){ *(PBYTE)NULL = 5; //这将引发非法访问内存 } } __finally{ PCTSTR psz = AbnormalTermination() ?TEXT("异常结束") : TEXT("正常结束"); MessageBox(NULL, psz, TEXT("SEHTerm：在finally块内"), MB_OK); } MessageBox(NULL, TEXT("函数正常结束！"), TEXT("SEHTerm：在finally块之后"), MB_OK); } ////////////////////////////////////////////////////////////////////////// int WINAPI _tWinMain(HINSTANCE hInstance,HINSTANCE hPrevInstance, LPTSTR lpCmdLine, int nShowCmd){ //在Vista里，如果过滤函数返回EXCEPTION_EXECUTE_HANDLER时，会引发 //全局展开。如果有一个未处理异常发生，进程会简单地结束从而导致 //finally块不会被执行。 if (IsWindowsVistaAbove()){ DWORD n = MessageBox(NULL, TEXT("要用try/except保护吗？"), TEXT("SEHTerm：工作流"), MB_YESNO); //DWORD n = IDYES; if (n == IDYES){ //代码要保护 __try{ TriggerException(); } __except (EXCEPTION_EXECUTE_HANDLER){ //因为代码被保护，系统对话框不会显示 //所以弹出一个消息框 MessageBox(NULL, TEXT("进程异常结束"), TEXT("main函数try/except处理器"), MB_OK); //进程退出码 return (-1); } } else{ //代码不保护 TriggerException(); } } else{ TriggerException();//其中系统默认是保护的。 } MessageBox(NULL, TEXT("进程正常结束"), TEXT("SEHTerm：即将退出主线程！"),MB_OK); return 0; }
//resource.h
//{{NO_DEPENDENCIES}} // Microsoft Visual C++ 生成的包含文件。 // 供 23_SEHTerm.rc 使用 // #define IDI_SEHTERM 101 // Next default values for new objects // #ifdef APSTUDIO_INVOKED #ifndef APSTUDIO_READONLY_SYMBOLS #define _APS_NEXT_RESOURCE_VALUE 102 #define _APS_NEXT_COMMAND_VALUE 40001 #define _APS_NEXT_CONTROL_VALUE 1001 #define _APS_NEXT_SYMED_VALUE 101 #endif #endif
//SEHTerm.rc
// Microsoft Visual C++ generated resource script. // #include "resource.h" #define APSTUDIO_READONLY_SYMBOLS ///////////////////////////////////////////////////////////////////////////// // // Generated from the TEXTINCLUDE 2 resource. // #include "winres.h" ///////////////////////////////////////////////////////////////////////////// #undef APSTUDIO_READONLY_SYMBOLS ///////////////////////////////////////////////////////////////////////////// // 中文(简体，中国) resources #if !defined(AFX_RESOURCE_DLL) || defined(AFX_TARG_CHS) LANGUAGE LANG_CHINESE, SUBLANG_CHINESE_SIMPLIFIED #ifdef APSTUDIO_INVOKED ///////////////////////////////////////////////////////////////////////////// // // TEXTINCLUDE // 1 TEXTINCLUDE BEGIN "resource.h " END 2 TEXTINCLUDE BEGIN "#include ""winres.h"" " " " END 3 TEXTINCLUDE BEGIN " " " " END #endif // APSTUDIO_INVOKED ///////////////////////////////////////////////////////////////////////////// // // Icon // // Icon with lowest ID value placed first to ensure application icon // remains consistent on all systems. IDI_SEHTERM ICON "SEHTerm.ico" #endif // 中文(简体，中国) resources ///////////////////////////////////////////////////////////////////////////// #ifndef APSTUDIO_INVOKED ///////////////////////////////////////////////////////////////////////////// // // Generated from the TEXTINCLUDE 3 resource. // ///////////////////////////////////////////////////////////////////////////// #endif // not APSTUDIO_INVOKED