SEH模型主要包括try-except异常处理机制和try-finally结束处理机制，而且这两者能够很好地有机统一起来，它们结合使用时，能够提供给程序员非常强大、非常灵活的控制手段。其实这在上一篇文章中的几个例子中已经使用到，这里将继续进行系统的介绍，特别是try-except和try-finally结合使用时的一些细节问题。try-except和try-finally组合使用　　try-except和try-finally可以组合起来使用，它们可以是平行线性的关系，也可以是嵌套的关系。而且不仅是try-except语句中可以嵌套try-finally语句；同时try-finally语句中也可以嵌套try-except语句。所以它们的使用起来非常灵活，请看下面的代码： // 例程1，try-except语句与try-finally语句平行关系#include <stdio.h>void main(){puts("hello"); __try{int* p;puts("__try块中"); // 下面抛出一个异常p = 0;*p = 25;}__except(1){puts("__except块中");}__try{}__finally{puts("__finally块中");} puts("world");} // 例程2，try-except语句中嵌套try-finally#include <stdio.h> void main(){puts("hello");__try{__try{int* p;puts("__try块中"); // 下面抛出一个异常p = 0;*p = 25;}__finally{// 这里会被执行吗puts("__finally块中");}}__except(1){puts("__except块中");} puts("world");} // 例程3，try-finally语句中嵌套try-except#include <stdio.h> void main(){puts("hello");__try{__try{int* p;puts("__try块中"); // 下面抛出一个异常p = 0;*p = 25;}__except(1){puts("__except块中");}}__finally{puts("__finally块中");} puts("world");}try-except和try-finally组合使用时，需注意的事情　　在C++异常模型中，一个try block块可以拥有多个catch block块相对应，但是在SEH模型中，一个__try块只能是拥有一个__except块或一个__finally块相对应，例如下面的程序代码片断是存在语法错误的。 // 例程1，一个__try块，两个__except块#include <stdio.h>void main(){puts("hello"); __try{int* p;puts("__try块中"); // 下面抛出一个异常p = 0;*p = 25;}__except(1){puts("__except块中");}// 这里有语法错误__except(1){puts("__except块中");}puts("world");} // 例程2，一个__try块，两个__finally块#include <stdio.h>void main(){puts("hello"); __try{puts("__try块中");}__finally{puts("__finally块中");}// 这里有语法错误__finally{puts("__finally块中");} puts("world");} // 例程3，一个__try块，对应一个__finally块和一个__except块#include <stdio.h>void main(){puts("hello"); __try{int* p;puts("__try块中"); // 下面抛出一个异常p = 0;*p = 25;}__finally{puts("__finally块中");}// 这里有语法错误__except(1){puts("__except块中");}puts("world");}温过而知新　　这里给出最后一个简单的try-except和try-finally相结合的例子，让我们温过而知新。代码如下（这是MSDN中的例程）： #include "stdio.h" void test(){int* p = 0x00000000; // pointer to NULL __try{puts("in try");__try{puts("in try"); // causes an access violation exception;// 导致一个存储异常*p = 13; // 呵呵，注意这条语句puts("这里不会被执行到");}__finally{puts("in finally");} // 呵呵，注意这条语句puts("这里也不会被执行到");}__except(puts("in filter 1"), 0){puts("in except 1");}} void main(){puts("hello");__try{test();}__except(puts("in filter 2"), 1){puts("in except 2");}puts("world");} 上面的程序运行结果如下：helloin tryin tryin filter 1in filter 2in finallyin except 2worldPress any key to continue 下面用图表描述一下上面例程运行时的执行流程，如下图所示。 总结　　（1） try-except和try-finally可以组合起来使用，它们可以是平行线性的关系，也可以是嵌套的关系。而且不仅是try-except语句中可以嵌套try-finally语句；同时try-finally语句中也可以嵌套try-except语句。　　 （2） 一个__try块只能是拥有一个__except块或一个__finally块相对应。 　　至此，关于SEH的__try、__except、__finally、__leave模型已经基本阐述完毕，但是主人公阿愚认为，有关SEH模型机制，还有一个非常关键的内容没有阐述到，那就是SEH与C++异常处理模型可以结合使用吗？如果可以的话？它们组合使用时，有什么限制吗？或带来什么不良后果吗？　　大家知道，Windows平台提供的SEH机制虽然主要是应用于C语言的程序，以便第三厂商开发出高效的设备驱动程序来。但是__try、__except、__finally、__leave模型同样也可以在C++程序中使用，这在MSDN中已经提到，虽然微软还是建议，在C++程序中尽量采用C++的异常处理模型。　　但是对于广大程序员而言，大家有必要知道，__try、__except、__finally、__leave模型在C++程序中使用时的一些限制。下一篇文章中，阿愚将把自己总结的一些经验和体会与大家一块分享。去看看吧！GO！

评论