C++笔记 外传篇2 函数的异常规格说明（C++中的高级主题）

外传篇2 函数的异常规格说明（C++中的高级主题）

1.问题

如何判断一个函数是否会抛出异常，以及抛出哪些异常？
C++提供语法用于声明函数所抛出的异常
异常说明作为函数声明的修饰符，卸载参数列表后面

异常规格说明的意义
提示函数调用者必须做好异常处理的准备
提示函数的维护者不要抛出其他异常
异常规格说明是函数接口的一部分

2.问题

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

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;
}

运行结果
linux下g++编译器
func()
terminate called after throwing an instance of ‘char’
Aborted (core dumped)
bcc编译器

Visual Studio 2013编译器

函数抛出的异常不在规格说明中，全局unexpected()被调用
默认的unexpected()函数会调用全局的terminate()函数
可以自定义函数替换默认的unexpected()函数实现
注意：不是所有的C++编译器都支持这个标准行为
unexpected()函数的替换
自定义一个无返回值无参数的函数
能够再次抛出异常
当异常符合触发函数的异常规格说明时，恢复程序执行
否则，调用全局terminate()函数结束程序
调用set_unexpected()设置自定义的异常函数
参数类型为void(*)()
返回值为默认的unexpected()函数入口地址

E2-2.cpp 自定义unexpected()函数

#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;
}

运行结果
exit(1);语句
g++编译器
func()
void my_unexpected()
bcc编译器

微软的Visual Studio

throw 1;语句
g++编译器
func()
void my_unexpected()
catch(int)
bcc编译器

微软的Visual Studio

小结
c++中的函数可以声明异常规格说明
异常规格说明可以看做接口的一部分
函数抛出的异常不在规格说明中，unexpected()被调用
unexpected()中能够再次抛出异常
异常能够匹配，恢复程序的执行
否则，调用terminate()结束程序