71-函数的异常规格说明

注：博客中内容主要来自《狄泰软件学院》，博客仅当私人笔记使用。

测试环境：Ubuntu 10.10

GCC版本：9.2.0

 

一、函数的异常规格说明

1）问题

                如何判断一个函数是否会抛出异常，以及抛出哪些异常？

1、给函数声明抛出异常

2、查看文档

 

2）C++提供语法用于声明函数所抛出的异常

3）异常声明作为函数声明的修饰符，写在参数列表后面

/*可能抛出任何异常*/
void func1();
/*只能抛出的异常类型：char和int*/
void func2() throw(char,int);    //函数规格异常的说明
/*不抛出任何异常*/
void func3() throw();

4）异常规格说明的意义

        -    提示函数调用者必须做好异常处理的准备

        -    提示函数的维护者不要抛出其它异常

        -    异常规格说明是函数接口的一部分

 

5）问题

                如果抛出的异常不在声明列表中，会发生什么？

 

6）下面的代码输出什么？

 catch(int)和catch(char)都没有具体的标识符(比如int a，少了a)

 

编程实验
异常规格之外的异常
E2-1.cpp
#include <iostream>

using namespace std;

void func() throw(int)
{
    cout << "func()";
    cout << endl;
    
    throw 'c';
}

int main()
{
    try 
    {
        func();
    } 
    catch(int) 
    {
        cout << "catch(int)";
        cout << endl;
    } 
    catch(char) 
    {
        cout << "catch(char)";
        cout << endl;
    }


    return 0;
}

操作：

1）g++编译，编译正确。运行：

func()
terminate called after throwing an instance of 'char'
Aborted (core dumped)

b++/vs2010/g++编译器行为略有不同

如果函数抛出的异常类型，不在异常类型规格说明中。

 

7）函数抛出的异常不在规格说明中，全局unexpected()被调用

8）默认的unexpected()函数会调用全局的terminate()函数

9）可以自定义函数替换默认的unexpected()函数实现

10）注意：不是所有的C++编译器都支持这个标准行为

使用异常规格说明前，自己编写测试程序看看编译器行为！

 

11）unexpected()函数的替换

        -    自定义一个无返回值无参数的函数

            *能够再次抛出异常

                当异常符合触发函数的异常规格说明时，恢复程序执行

                否则，调用全局terminate()函数结束程序

        -    调用set_unexpected()设置自定义的异常函数

            *参数类型为void(*)()——函数指针

            *返回值默认的unexpected()函数入口地址

编程实验
自定义unexpected()函数
E2-2.cpp
#include <iostream>
#include <cstdlib>
#include <exception>

using namespace std;

void my_unexpected()
{
    cout << "void my_unexpected()" << endl;
    // exit(1);    //结束当前的程序运行
    throw 1;
}

void func() throw(int)
{
    cout << "func()";
    cout << endl;
    
    throw 'c';
}

int main()
{
    set_unexpected(my_unexpected);
    
    try 
    {
        func();
    } 
    catch(int) 
    {
        cout << "catch(int)";
        cout << endl;
    } 
    catch(char) 
    {
        cout << "catch(char)";
        cout << endl;
    }


    return 0;
}

操作：

1）g++编译(注释14行，使用exit(1))。打印结果：

func()
void my_unexpected()
不符合自己的异常处理函数，就调用了全局异常处理函数。

b++和g++编译器结果一样，都遵循了C++标准规范！
vs2010不遵循！
 
2）g++编译(注释13行，抛出异常)。打印结果：

func()
void my_unexpected()
catch(int)
func()抛出异常'c'，没有对应的异常规格，调用了全局的my_unexpected()，这里抛出异常
throw 1，为int型。int型异常兼容了func()异常规格，然后调用了catch(int)，打印
catch(int)

这个例子为了说明：使用前，要编写小例子测试编译器是否符合标准C++规范

 

小结

1）C++中的函数可以声明异常规格说明

2）异常规格说明可以看作接口的一部分

3）函数抛出的异常不在规格说明中，unexpected()被调用

4）unexpected()中能够再次抛出异常

        -    异常能够匹配，恢复程序的执行

        -    否则，调用terminate()结束程序