栈解旋(unwinding)

异常被抛出后，从进入try块起，到异常被抛掷前，这期间在栈上的构造的所有对象，都会被自动析构。析构的顺序与构造的顺序相反。这一过程称为栈的解旋(unwinding)。

例如：

#include<iostream>
using namespace std;

class A
{
public:
    A(int a=0,int b=0)
    {
        this->a=a;
        this->b=b;
        cout<<"调用类A的构造函数"<<endl;
    }

    ~A(){cout<<"调用类A的析构函数"<<endl;}

protected:
    int a;
    int b;
};


void myfun()
{
    try
    {
      A a1(1,2),a2(3,4);
      cout<<"myfun()要发生异常"<<endl;
      throw 1;
    }

    catch(int x)
    {
        cout<<"出现的异常已被处理"<<endl;
    }
    

    catch(...)//处理不知道什么原因的异常
    {
        cout<<"程序出现未知的异常"<<endl;
    }
}


int main()
{
    myfun();

    return 0;
}

上面的代码执行结果为：

调用类A的构造函数

调用类A的构造函数

myfun()要发生异常

调用类A的析构函数

调用类A的析构函数

出现的异常已被处理

上面的执行结果验证了我们的结论：异常被抛出后，从进入try块起，到异常被抛掷前，这期间在栈上的构造的所有对象，都会被自动析构。