异常执行顺序(exception specification)

作者：袖梨 2022-07-02

之前都没有好好练习过异常，也没有深入了解过，最近在看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++的支持不是很好！