SEH(structured exception handling)中__try __except异常处理模型

2024-03-01 21:48

本文主要是介绍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作为附加的参数。

r_no157.gif

二、__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异常处理模型的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/763936

相关文章

Java.lang.InterruptedException被中止异常的原因及解决方案

《Java.lang.InterruptedException被中止异常的原因及解决方案》Java.lang.InterruptedException是线程被中断时抛出的异常,用于协作停止执行,常见于... 目录报错问题报错原因解决方法Java.lang.InterruptedException 是 Jav

Python进行JSON和Excel文件转换处理指南

《Python进行JSON和Excel文件转换处理指南》在数据交换与系统集成中,JSON与Excel是两种极为常见的数据格式,本文将介绍如何使用Python实现将JSON转换为格式化的Excel文件,... 目录将 jsON 导入为格式化 Excel将 Excel 导出为结构化 JSON处理嵌套 JSON:

python使用try函数详解

《python使用try函数详解》Pythontry语句用于异常处理,支持捕获特定/多种异常、else/final子句确保资源释放,结合with语句自动清理,可自定义异常及嵌套结构,灵活应对错误场景... 目录try 函数的基本语法捕获特定异常捕获多个异常使用 else 子句使用 finally 子句捕获所

Spring Boot 中的默认异常处理机制及执行流程

《SpringBoot中的默认异常处理机制及执行流程》SpringBoot内置BasicErrorController,自动处理异常并生成HTML/JSON响应,支持自定义错误路径、配置及扩展,如... 目录Spring Boot 异常处理机制详解默认错误页面功能自动异常转换机制错误属性配置选项默认错误处理

SpringBoot 异常处理/自定义格式校验的问题实例详解

《SpringBoot异常处理/自定义格式校验的问题实例详解》文章探讨SpringBoot中自定义注解校验问题,区分参数级与类级约束触发的异常类型,建议通过@RestControllerAdvice... 目录1. 问题简要描述2. 异常触发1) 参数级别约束2) 类级别约束3. 异常处理1) 字段级别约束

Java堆转储文件之1.6G大文件处理完整指南

《Java堆转储文件之1.6G大文件处理完整指南》堆转储文件是优化、分析内存消耗的重要工具,:本文主要介绍Java堆转储文件之1.6G大文件处理的相关资料,文中通过代码介绍的非常详细,需要的朋友可... 目录前言文件为什么这么大?如何处理这个文件?分析文件内容(推荐)删除文件(如果不需要)查看错误来源如何避

使用Python构建一个高效的日志处理系统

《使用Python构建一个高效的日志处理系统》这篇文章主要为大家详细讲解了如何使用Python开发一个专业的日志分析工具,能够自动化处理、分析和可视化各类日志文件,大幅提升运维效率,需要的可以了解下... 目录环境准备工具功能概述完整代码实现代码深度解析1. 类设计与初始化2. 日志解析核心逻辑3. 文件处

Java docx4j高效处理Word文档的实战指南

《Javadocx4j高效处理Word文档的实战指南》对于需要在Java应用程序中生成、修改或处理Word文档的开发者来说,docx4j是一个强大而专业的选择,下面我们就来看看docx4j的具体使用... 目录引言一、环境准备与基础配置1.1 Maven依赖配置1.2 初始化测试类二、增强版文档操作示例2.

MyBatis-Plus通用中等、大量数据分批查询和处理方法

《MyBatis-Plus通用中等、大量数据分批查询和处理方法》文章介绍MyBatis-Plus分页查询处理,通过函数式接口与Lambda表达式实现通用逻辑,方法抽象但功能强大,建议扩展分批处理及流式... 目录函数式接口获取分页数据接口数据处理接口通用逻辑工具类使用方法简单查询自定义查询方法总结函数式接口

SpringBoot结合Docker进行容器化处理指南

《SpringBoot结合Docker进行容器化处理指南》在当今快速发展的软件工程领域,SpringBoot和Docker已经成为现代Java开发者的必备工具,本文将深入讲解如何将一个SpringBo... 目录前言一、为什么选择 Spring Bootjavascript + docker1. 快速部署与