zoukankan      html  css  js  c++  java
  • SEH中try_except处理

    转自:https://blog.csdn.net/swordarcher/article/details/82464072

    总结

      • SEH 与 C++ 异常模型,可以在一起被混合使用。但最好听从 MSDN 的建议:在 C 程序中使用 try-except 和 try-finally ;而 C++ 程序则应该使用 try-catch 。

      • 混合使用时, C++ 异常模型可以捕获 SEH 异常;而 SEH 异常模型也可以捕获 C++ 类型的异常。而后者通常有点小问题,它一般主要运用在提高和保证产品的可靠性上(也即在顶层函数中使用 try-except 语句来 catch 任何异常)

      • VC 实现的异常处理机制中,不管是 try-except 模型,还是 try-catch 模型,它们都是以函数作为一个最基本“分析和控制”的目标,也即一个函数中只能采用一种形式的异常处理规则。否则,编译这一关就会被“卡壳”。

    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关键字则不同,它后面跟的却是一个表达式.我们知道,函数调用也是一个表达式。如下是一个小例子:

    1. char* RobustStrCpy(char* strDestination, const char* strSource)
    2. {
    3. __try
    4. {
    5. strcpy(strDestination,strSource);
    6. }
    7. __except (EXCEPTION_EXECUTE_HANDLER)
    8. {
    9. // Nothing to do here
    10. }
    11. return (strDestination);
    12. }

    调用者对这些参数中的某一个传递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函数

    1. LPEXCEPTION_POINTERS GetExceptionInformation(VOID); //取得异常相关信息
    2. DWORD GetExceptionCode(VOID); // 取得异常编号

    GetExceptionCode()返回异常编号,而GetExceptionInformation()返回更丰富的信息,EXCEPTION_POINTERS结构如下:

    1. typedef struct _EXCEPTION_POINTERS
    2. {
    3. PEXCEPTION_RECORD ExceptionRecord; //其中EXCEPTION_RECORD类型,它记录了一些与异常相关的信息(前面的P或者LP代表是指针类型)
    4. PCONTEXT ContextRecord; //而CONTEXT数据结构体中记录了异常发生时,线程当时的上下文环境,主要包括寄存器的值(前面的P或者LP代表是指针类型)
    5. } EXCEPTION_POINTERS, *PEXCEPTION_POINTERS;

    有了这些信息,__except模块便可以对异常错误进行很好的分类和恢复处理,通常我们需要一个过滤函数来辅助。
    一般称为是filterfunction.过滤函数只过滤需要处理的异常

    1. int exception_access_violation_filter(LPEXCEPTION_POINTERS p_exinfo)
    2. {
    3. if (p_exinfo->ExceptionRecord->ExceptionCode == EXCEPTION_ACCESS_VIOLATION) //此宏表示此异常为违反异常访问
    4. {
    5. MessageBox("access vialation exception"); //需包含Windows.h头文件使用
    6. return EXCEPTION_EXECUTE_HANDLER; //告诉except处理这个异常
    7. }
    8. else return EXCEPTION_CONTINUE_SEARCH; //不告诉except处理这个异常
    9. }
    10. int exception_int_divide_by_zero_filter(LPEXCEPTION_POINTERS p_exinfo)
    11. {
    12. if (p_exinfo->ExceptionRecord->ExceptionCode == EXCEPTION_INT_DIVIDE_BY_ZERO)
    13. {
    14. MessageBox("int divide by zero exception");
    15. return EXCEPTION_EXECUTE_HANDLER; //告诉except处理这个异常
    16. }
    17. else return EXCEPTION_CONTINUE_SEARCH; //不告诉except处理这个异常
    18. }

    于是,可以这样写这段异常处理代码,根据异常筛选函数,在相应位置处理某个特定类型的异常

    1. __try
    2. {
    3. // guarded code
    4. }
    5. __except (exception_access_violation_filter(GetExceptionInformation())) //或者为exception_int_divide_by_zero_filter
    6. {
    7. //处理经过筛选后某个异常
    8. }

    五、抛出异常RaiseException

    SEH异常处理模型中,也可以抛出一个异常。对应的WindowsAPI函数是RaiseException,通常,后三个参数基本不用

    1. VOID RaiseException(
    2. DWORD dwExceptionCode, // 异常的编号
    3. DWORD dwExceptionFlags, // 异常标记
    4. DWORD nNumberOfArguments, // 参数个数
    5. CONST DWORD *lpArguments // 参数数组首地址
    6. );

    六、相关总结

    (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

  • 相关阅读:
    836. Rectangle Overlap
    背包问题---01背包最优方案总数(原理剖析代码实现)
    背包问题---01背包(原理,伪代码,编程实现)
    DP---基本思想 具体实现 经典题目 POJ1160 POJ1037
    DP---(POJ1159 POJ1458 POJ1141)
    DP--HDU 1003(最大子串和)
    DP----入门的一些题目(POJ1088 POJ1163 POJ1050)
    DFS(DP)---POJ 1014(Dividing)
    博弈---斐波那契博弈
    元素相加交换另解&puts的一个用法
  • 原文地址:https://www.cnblogs.com/ymd12103410/p/10877654.html
Copyright © 2011-2022 走看看