C++ 异常机制

最新推荐文章于 2020-06-19 16:04:40 发布

心希盼

最新推荐文章于 2020-06-19 16:04:40 发布

阅读量1.4k

点赞数

分类专栏： C++ 异常文章标签： C++ 异常栈回退

本文链接：https://blog.csdn.net/Stan1989/article/details/9396655

版权

C++ 同时被 2 个专栏收录

12 篇文章 0 订阅

订阅专栏

异常

2 篇文章 0 订阅

订阅专栏

C++ 异常机制

一、函数的栈结构

在C++中的函数调用中，是用栈来存放其中数据对象。

表1.1

我们结合这张表，来简单介绍函数的栈结构。

其中每一个函数在入栈的时候，编译器会自动添加额外的数据结构，这里的EXCEPTION_REGISTRATION就是被额外添加进来的。对于这个结构体我们稍后解释，首先来介绍函数的基本结构。

从这张图中可以清楚的看到，在函数的栈结构中，会存放的是函数的参数和局部变量，这些对象在函数结束的时候都会被析构掉，在之后会介绍这一个清理的过程。

我们还注意到每一个函数都有一个ESP，这个ESP可以被认为一个分界，下一个函数可以这之后开始存放它的数据对象。（这里是栈，我们的顺序是从下至上）

接下我们来介绍EXCEPTION_REGISTRATION这个结构体

表1.2

第一个成员中有一个EBP。这个EBP是用来标识当前的栈活动帧，简单来说就是指明当前我们在执行哪一个函数。

所以Caller’s EBP可以帮我们去找到调用函数。

第二个成员id表明函数的执行状态和进度。这一个id在栈回退和异常捕获中都扮演至关重要的角色，我会在之后联系C++的栈回退机制进行详细的介绍。

第三个成员Handler，它的工作便是将当前函数的信息funinfo传给__CxxFrameHandler，然后由它全权处理异常。处理的过程会在之后做介绍。

第四个成员Prev，可以通过Prev找到上一层的异常处理，比如这里Fun2的EXCEPTION_REGISTRATION中的prev便是指向fun1的EXCEPTION_REGISTRATION。

这里还有一个FS:[0]。EXCEPTION_REGISTRATION中的prev将栈中的EXCEPTION_REGISTRATION连成了一个链表，这里我就暂时就叫它异常处理链。而FS:[0]就保存了这个链表的第一个节点。当一个异常抛出的时候，便可以通过它来找到第一个异常处理。

二、异常的抛出

Throw Exception();

上面这个抛出异常的语句。编译器会对它做一定的处理，变成如下：

E e = E(); //create exception on the stack
_CxxThrowException(&e, E_EXCPT_INFO_ADDR);

其中主要是将异常对象e传给_CxxThrowException，并保存待抛出异常对象的起始地址、用于销毁它的析构函数，以及它的 type_info 信息。

然后通过FS:[0]调用到了异常处理EXCEPTION_REGISTRATION中的hanlder进行了处理。

三、栈回退机制

首先来介绍一个非常重要的机制，栈回退机制

先来看一下一个具体的例子。

void fun(BOOL b)
{  
    try
    {
        ClassA obj1,obj2;
        if(b)
        {
            ClassB obj3;
        }
        ClassB obj4;
……
    }
    catch(CException* e)
    {
    }
}

这里编译器在编译这段代码的时候，会做一定的处理，下面便是处理过后的代码

void fun(BOOL b)
{
    id = 0;
    try
    {
        id = 1;//try代码段开始
        ClassA obj1,obj2;
        obj1.ClassA(); id = 2;
        obj2.ClassA(); id = 3;
        if(b)
        {
            ClassB obj3;
            obj3.ClassB(); id = 4;
            obj3.~ClassB(); id = 5;
        }
        ClassB obj4;
        obj4.ClassB(); id = 6;
 
……
        obj4.~ClassB();
        id = 7; //try代码段结束
    }
    catch(CException* e)
    {
    }
}

在每一个函数中都会有一个回退表，里面存放了如何帮助栈回退的信息

我们把上面的函数的回退表大致列出来

表3.1

对于这张表稍作解释

第一列id便是函数中执行到了第几步；

第二列iNextId是为了执行完表格中当前行析构后，找到下一行的执行行；

第三列pFunDestory存放了析构函数指针，通过第四列的pObj机上EBP便可以交由析构函数处理。

当然如果在执行到id = 6后抛出了异常，那么当前的id便是6 我们就去回退表中找id = 6的行，开始执行。一直执行到iNextId = -1 停止。

如果一个构造函数抛出了异常了，那么按照C++的异常机制是不会执行到它的析构函数的。就以上面这个例子，比如obj2在构造的时候抛出了异常了，那么按照前面讨论的，异常处理机制清理对象，那么这个时候id还只是2，按照上面的unwind_table中的顺序，析构完obj1后便会结束了，obj2就永远不会析构掉。