异常处理(五、结构化异常处理)

结构化异常处理(Structured Exception Handling,简称SEH)是微软针对Windows程序异常处理进行的扩展,在Visual C++中,它同时支持C和C++语言。SEH不宜与标准C++异常处理和MFC异常处理混用,对于C++程序,微软建议使用标准C++的异常处理。

  为了支持SEH,Visual C++中定义了四个关键字(由于这些关键字是非标准关键字,其它编译器不一定支持),用以扩展C 和C++语言:

  (1)__except

  (2)__finally

  (3)__leave

  (4)__try

  其基本语法为:
CODE: 
__try
{
...//可能导致异常的被监控代码块
}
__except(filter-expression)
{
...//异常处理函数
}
  或:
CODE: 
__try
{
...
}
__finally
{
...//终止
}
其执行的步骤如下:

  (1)__try块被执行;

  (2)如果__try块没有出现异常,则执行到__except块之后;否则,执行到__except块,根据filter-expression的值决定异常处理方法:

  a. filter-expression的值为EXCEPTION_CONTINUE_EXECUTION (-1)

  恢复异常,从发生异常处下面开始执行,异常处理函数本身不被执行;

  b. filter-expression的值为EXCEPTION_CONTINUE_SEARCH (0)

  异常不被识别,拒绝捕获异常,继续搜索下一个异常处理函数;

  c. filter-expression的值为EXCEPTION_EXECUTE_HANDLER (1)

  异常被识别,终止异常,从异常发生处开始退栈,一路上遇到的终止函数都被执行。

  看看这个例子:
CODE: 
#include "stdio.h"

void main()
{
 int* p = NULL; // 定义一个空指针
 puts("SEH begin");
 __try
 {
  puts("in try");
  __try
  {
   puts("in try");
   *p = 0; // 引发一个内存访问异常
  }
  __finally
  {
   puts("in finally");
  }
 }
 __except(puts("in filter"), 1)
 {
  puts("in except");
 }
 puts("SEH end");
}

  程序的输出为:

SEH begin
in try //执行__try块
in try //执行嵌入的__try块
in filter //执行filter-expression,返回EXCEPTION_EXECUTE_HANDLER
in finally //展开嵌入的__finally
in except //执行对应的__except块
SEH end //处理完毕
  如果我们把__except(puts("in filter"), 1)改为__except(puts("in filter"), 0),程序的输出将变为:
CODE:  
SEH begin
in try //执行__try块
in try //执行嵌入的__try块
in filter //执行filter-expression,返回EXCEPTION_CONTINUE_SEARCH
in finally //展开嵌入的__finally
  程序的执行也告崩溃,弹出对话框。

要想这个程序能正确地执行,我们可以在第一个__try块的外面再套一个__try块和一个接收filter-expression返回值为EXCEPTION_EXECUTE_HANDLER的__except块,程序改为:
CODE:  
#include "stdio.h"

void main()
{
 int* p = NULL; // 定义一个空指针
 puts("SEH begin");
 __try
 {
  __try
  {
   puts("in try");
   __try
   {
    puts("in try");
    *p = 0; // 引发一个内存访问异常
   }
   __finally
   {
    puts("in finally");
   }
  }
  __except(puts("in filter"), 0)
  {
   puts("in except");
  }
 }
 __except(puts("in filter"), 1)
 {
  puts("in except");
 }
 puts("SEH end");
}

  程序输出:

SEH begin
in try //执行__try块
in try //执行嵌入的__try块
in filter1 //执行filter-expression,返回EXCEPTION_CONTINUE_SEARCH
in filter2 //执行filter-expression,返回EXCEPTION_EXECUTE_HANDLER
in finally //展开嵌入的__finally
in except2 //执行对应的__except块
SEH end //处理完毕
  由此可以看出,因为第一个__except的filter-expression返回EXCEPTION_CONTINUE_SEARCH 的原因,"in except1"没有被输出。程序之所以没有崩溃,是因为最终碰到了接收EXCEPTION_EXECUTE_HANDLER的第2个__except。

  SEH使用复杂的地方在于较难控制异常处理的流动方向,弄不好程序就"挂"了。如果把例4-1中的__except(puts("in filter"), 1)改为__except(puts("in filter"), -1),程序会进入一个死循环,输出:
CODE:  
SEH begin
in try //执行__try块
in try //执行嵌入的__try块
in filter //执行filter-expression,返回EXCEPTION_CONTINUE_EXECUTION
in filter
in filter
in filter
in filter
…//疯狂输出"in filter"
  最后疯狂地输出"in filter",我们把断点设置在__except(puts("in filter"), -1)语句之前,按F5会不断进入此断点。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值