本文主要是介绍SEH(structured exception handling)中__try __except异常处理模型,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
SEH(structured exception handling)中__try __except异常处理模型
一、SEH 的工作原理
Windows 程序设计中最重要的理念就是消息传递,事件驱动。当GUI应用程序触发一个消息时,系统将把该消息放入消息队列,然后去查找并调用窗体的消息处理函数(CALLBACK),传递的参数当然就是这个消息。我们同样可以把异常也当作是一种消息,应用程序发生异常时就触发了该消息并告知系统。系统接收后同样会找它的“回调函数”,也就是我们的异常处理例程。当然,如果我们在程序中没有做异常处理的话,系统也不会置之不理,它将弹出我们常见的应用程序错误框,然后结束该程序。所以,当我们改变思维方式,以CALLBACK 的思想来看待 SEH,SEH 将不再神秘。
SEH 是 Windows 系统提供的功能,跟开发工具无关。值得一提的是,VC 将 SEH 进行了封装 try catch finally,c++中也可以用c的封装 __try {}__except () {} 和 __try {} __finally {}.所以当你建立一个C++ try块时,编译器就生成一个SEH __try块。一个C++ catch测试变成一个SEH异常过滤器,并且catch中的代码变成SEH __except块中的代码。实际上,当你写一条C++ throw语句时,编译器就生成一个对Windows的RaiseException函数的调用。用于throw语句的变量传递给RaiseException作为附加的参数。
二、__try __except用法
try except是windows 系统独有的异常处理模型,windows的异常处理模式,称为SEH(structured exception handling),SEH的异常处理模型主要由try - except语句来完成,与标准的try catch相似。C++异常处理模型使用catch关键字来定义异常处理模块,而SEH是采用__except关键字来定义。并且,catch关键字后面往往好像接受一个函数参数一样,可以是各种类型的异常数据对象;但是__except关键字则不同,它后面跟的却是一个表达式.我们知道,函数调用也是一个表达式。如下是一个小例子:
char* RobustStrCpy(char* strDestination, const char* strSource)
{__try{strcpy(strDestination,strSource);}__except (EXCEPTION_EXECUTE_HANDLER){// Nothing to do here }return (strDestination);
}
调用者对这些参数中的某一个传递NULL(或任何无效的地址),strcpy就引起一个存取异常,并且导致整个进程结束。
使用SEH,就可以建立一个完全强壮的strcpy函数这个函数所做的一切就是将对strcpy的调用置于一个结构化的异常处理框架中。如果strcpy执行成功,函数就返回。如果strcpy引起一个存取异常,异常过滤器返回EXCEPTION_EXECUTE_HANDLER,导致该线程执行异常处理程序代码。在这个函数中,处理程序代码什么也不做,RobustStrCpy只是返回到它的调用者,根本不会造成进程结束
三、__except 参数的值(使用这些宏需要包含Windows.h头文件)
EXCEPTION_CONTINUE_EXECUTION(-1) 异常被忽略,控制流将在异常出现的点之后,继续恢复运行。
EXCEPTION_CONTINUE_SEARCH(0) 异常不被识别,也即当前的这个__except模块不是这个异常错误所对应的正确的异常处理模块。 系统将继续到上个__try - __except域中继续查找一个恰当的__except模块。
EXCEPTION_EXECUTE_HANDLER(1) 异常已经被识别,控制流将进入到__except模块中运行异常处理代码
四、Windows提供了两个获取异常信息的API函数
LPEXCEPTION_POINTERS GetExceptionInformation(VOID); //取得异常相关信息DWORD GetExceptionCode(VOID); // 取得异常编号
GetExceptionCode()返回异常编号,而GetExceptionInformation()返回更丰富的信息,EXCEPTION_POINTERS结构如下:
typedef struct _EXCEPTION_POINTERS
{PEXCEPTION_RECORD ExceptionRecord; //其中EXCEPTION_RECORD类型,它记录了一些与异常相关的信息(前面的P或者LP代表是指针类型)PCONTEXT ContextRecord; //而CONTEXT数据结构体中记录了异常发生时,线程当时的上下文环境,主要包括寄存器的值(前面的P或者LP代表是指针类型)
} EXCEPTION_POINTERS, *PEXCEPTION_POINTERS;
有了这些信息,__except模块便可以对异常错误进行很好的分类和恢复处理,通常我们需要一个过滤函数来辅助。
一般称为是filterfunction.过滤函数只过滤需要处理的异常
int exception_access_violation_filter(LPEXCEPTION_POINTERS p_exinfo)
{if (p_exinfo->ExceptionRecord->ExceptionCode == EXCEPTION_ACCESS_VIOLATION) //此宏表示此异常为违反异常访问{MessageBox("access vialation exception"); //需包含Windows.h头文件使用return EXCEPTION_EXECUTE_HANDLER; //告诉except处理这个异常}else return EXCEPTION_CONTINUE_SEARCH; //不告诉except处理这个异常
}int exception_int_divide_by_zero_filter(LPEXCEPTION_POINTERS p_exinfo)
{if (p_exinfo->ExceptionRecord->ExceptionCode == EXCEPTION_INT_DIVIDE_BY_ZERO){MessageBox("int divide by zero exception");return EXCEPTION_EXECUTE_HANDLER; //告诉except处理这个异常}else return EXCEPTION_CONTINUE_SEARCH; //不告诉except处理这个异常
}
于是,可以这样写这段异常处理代码,根据异常筛选函数,在相应位置处理某个特定类型的异常
__try
{// guarded code
}__except (exception_access_violation_filter(GetExceptionInformation())) //或者为exception_int_divide_by_zero_filter
{//处理经过筛选后某个异常
}
五、抛出异常RaiseException
SEH异常处理模型中,也可以抛出一个异常。对应的WindowsAPI函数是RaiseException,通常,后三个参数基本不用
VOID RaiseException(DWORD dwExceptionCode, // 异常的编号DWORD dwExceptionFlags, // 异常标记DWORD nNumberOfArguments, // 参数个数CONST DWORD *lpArguments // 参数数组首地址);
六、相关总结
(1)SEH异常处理还有try - finally.类似于java里的try - catch - finally.但是SEH的try只能和except和finally两者之间的一个搭配,不能有try - except - finnaly.
(2)C++异常模型用try - catch语法定义,而SEH异常模型则用try - except语法, 与C++异常模型相似,try - except也支持多层的try - except嵌套。
(3)try - except模型中,一个try块只能是有一个except块;而C++异常模型中,一个try块可以有多个catch块。
(4)C++异常模型是按照异常对象的类型来进行匹配查找的;而try - except模型则不同,它通过一个表达式的值来进行判断.
(5)__except关键字后面跟的表达式,它可以是各种类型的表达式,例如,它可以是一个函数调用,或是一个条件表达式,或是一个逗号表达式,或干脆就是一个整型常量等等。最常用的是一个函数表达式,并且通过利用GetExceptionCode()或GetExceptionInformation()函数来获取当前的异常错误信息,便于程序员有效控制异常错误的分类处理。
(6)SEH异常处理模型中,异常通过RaiseException()函数抛出。RaiseException()函数的作用类似于C++异常模型中的throw。
(7)在C程序中使用 __try __except 和 __try __finally 而C++程序则应该使用 try catch,MSDN不建议俩者混合使用,前者一般主要运用在提高和保证产品的可靠性上(也即在顶层函数中使用 try - except 语句来 catch 任何异常)
(8)VC实现的异常处理机制中,不管是 try - except 模型,还是 try - catch 模型,它们都是以函数作为一个最基本“分析和控制”的目标,也即一个函数中只能采用一种形式的异常处理规则。否则,编译这一关就会被“卡壳”(与错误C2713有关)。
(9)__try块中不允许进行C ++异常处理
七、相关异常类型
算术异常类:ArithmeticExecption
空指针异常类:NullPointerException
类型强制转换异常:ClassCastException
数组负下标异常:NegativeArrayException
数组下标越界异常:ArrayIndexOutOfBoundsException
违背安全原则异常:SecturityException
文件已结束异常:EOFException
文件未找到异常:FileNotFoundException
字符串转换为数字异常:NumberFormatException
操作数据库异常:SQLException
输入输出异常:IOException
方法未找到异常:NoSuchMethodException
这篇关于SEH(structured exception handling)中__try __except异常处理模型的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!