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字符串处理全解析(String、StringBuilder与StringBuffer)

《Java字符串处理全解析(String、StringBuilder与StringBuffer)》:本文主要介绍Java字符串处理全解析(String、StringBuilder与StringBu... 目录Java字符串处理全解析:String、StringBuilder与StringBuffer一、St

浅析Java中如何优雅地处理null值

《浅析Java中如何优雅地处理null值》这篇文章主要为大家详细介绍了如何结合Lambda表达式和Optional,让Java更优雅地处理null值,感兴趣的小伙伴可以跟随小编一起学习一下... 目录场景 1:不为 null 则执行场景 2:不为 null 则返回,为 null 则返回特定值或抛出异常场景

深入理解Apache Kafka(分布式流处理平台)

《深入理解ApacheKafka(分布式流处理平台)》ApacheKafka作为现代分布式系统中的核心中间件,为构建高吞吐量、低延迟的数据管道提供了强大支持,本文将深入探讨Kafka的核心概念、架构... 目录引言一、Apache Kafka概述1.1 什么是Kafka?1.2 Kafka的核心概念二、Ka

resultMap如何处理复杂映射问题

《resultMap如何处理复杂映射问题》:本文主要介绍resultMap如何处理复杂映射问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录resultMap复杂映射问题Ⅰ 多对一查询:学生——老师Ⅱ 一对多查询:老师——学生总结resultMap复杂映射问题

Java Optional避免空指针异常的实现

《JavaOptional避免空指针异常的实现》空指针异常一直是困扰开发者的常见问题之一,本文主要介绍了JavaOptional避免空指针异常的实现,帮助开发者编写更健壮、可读性更高的代码,减少因... 目录一、Optional 概述二、Optional 的创建三、Optional 的常用方法四、Optio

Spring Security基于数据库的ABAC属性权限模型实战开发教程

《SpringSecurity基于数据库的ABAC属性权限模型实战开发教程》:本文主要介绍SpringSecurity基于数据库的ABAC属性权限模型实战开发教程,本文给大家介绍的非常详细,对大... 目录1. 前言2. 权限决策依据RBACABAC综合对比3. 数据库表结构说明4. 实战开始5. MyBA

Python FastAPI+Celery+RabbitMQ实现分布式图片水印处理系统

《PythonFastAPI+Celery+RabbitMQ实现分布式图片水印处理系统》这篇文章主要为大家详细介绍了PythonFastAPI如何结合Celery以及RabbitMQ实现简单的分布式... 实现思路FastAPI 服务器Celery 任务队列RabbitMQ 作为消息代理定时任务处理完整

C#使用SQLite进行大数据量高效处理的代码示例

《C#使用SQLite进行大数据量高效处理的代码示例》在软件开发中,高效处理大数据量是一个常见且具有挑战性的任务,SQLite因其零配置、嵌入式、跨平台的特性,成为许多开发者的首选数据库,本文将深入探... 目录前言准备工作数据实体核心技术批量插入:从乌龟到猎豹的蜕变分页查询:加载百万数据异步处理:拒绝界面

Springboot处理跨域的实现方式(附Demo)

《Springboot处理跨域的实现方式(附Demo)》:本文主要介绍Springboot处理跨域的实现方式(附Demo),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不... 目录Springboot处理跨域的方式1. 基本知识2. @CrossOrigin3. 全局跨域设置4.

Java的IO模型、Netty原理解析

《Java的IO模型、Netty原理解析》Java的I/O是以流的方式进行数据输入输出的,Java的类库涉及很多领域的IO内容:标准的输入输出,文件的操作、网络上的数据传输流、字符串流、对象流等,这篇... 目录1.什么是IO2.同步与异步、阻塞与非阻塞3.三种IO模型BIO(blocking I/O)NI