异常执行顺序(exception specification)

之前都没有好好练习过异常，也没有深入了解过，最近在看Thinking In C++中，它的第一章就讲述了大量的异常代码，本以为很简单，然而在机器上编译调试了一番，才发现并不是那么一回事。在执行下面的异常程序中，发现很有些特色（可能老手早就熟悉了），记录下来， 以便将来查看！程序源代码为：

// ： C01: Unexpcected.cpp

//  Exception specifications & unexcepted(),
// {-msc} (doesn't terminate properly)

#include  < exception >
#include  < iostream >

using   namespace  std;

class  Up ... {} ;
class  Fit ... {} ;
void  g();

void  f( int  i)  throw (Up,Fit)
... {
    switch(i)
    ...{
    case 1: throw Up();
    case 2: throw Fit();
    }
    g();
}


//  void g() {}  // version 1
void  g()
... {
    throw 32;
}

void  my_unexpected()
... {
    cout<<" unexpected exception thrown"<<endl;
    exit(0);
}

int  main()
... {
    set_unexpected(my_unexpected);  // Ignores return value
    for( int i=1; i<=3; i++)
        try
    ...{
        f(i);
    }
    catch(Up)
    ...{
        cout<<"Up caught"<<endl;    
    }
    catch(Fit)
    ...{
        cout<<"Fit caught"<<endl;
    }
    return 0;
}   /**/ ///:~

 

整个程序结构非常简单，set_unexpected函数是exception头文件中提供的标准函数，用来设置抛出的异常没有列在异常规格说明（exception specification)的异常集中调用的unexpected函数（默认）

f 函数申明了异常规格说明集合，但调用了版本2的g 函数，而该函数抛出的异常却不在f 函数的异常规格说明集合中，因此将默认调用unexpected函数，此处将调用my_unexpected函数。

在VC中调试运行该函数，抛出出错对话框：

之后调试该程序，才惊奇的发现该程序运行顺序为
    首先执行for语句，然后执行try块中的f 函数调用，之后抛出Up异常，跳转到catch(Up)语句处执行，输出Up caught后，跳转到return 0语句，之后再执行for语句，再一次循环，抛出Fit异常，return 0之后再运行for语句，抛出Debug Error 对话框！

   原来异常程序的执行是如此的巧妙！

正如文中所说：把try块嵌入在for，while，do或if块中，并且触发异常来试图解决问题；然后重新测试try块中的代码！也就是说，即使其中一个执行过程抛出了异常，for，while，do或if等都能够继续执行下去，只针对其中一个过程产生影响，对全局影响并不是很大。

该程序在cygwin中可以被正确编译运行！说明了VC对标准C++的支持不是很好！