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