C++中函数异常规格的说明

1，本文介绍一个新的概念，它是一个重要的概念，并且是 C++ 中的一个高级主题；

2，问题：

1，如何判断一个函数（不是自己写的，有可能是第三方库中的函数）是否会抛出异常，以及抛出那些异常？

1，学习了异常处理，我们在调用一个函数的时候，就应该知道这个函数会不会抛出异常，如果会，抛那些：

2，如果是第三方库的函数，只有函数声明，没有函数实现，则也不知道会不会抛出异常；

3，查看函数文档也是不错的方法，但是如果手头文档和真实的库的版本不匹配，有可能查到的东西就是不准确的；

3，异常规格说明：

1，C++ 提供语法用于声明函数所抛出的异常；

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

1，/* 可能抛出任何异常 */

void func1();

/* 只能抛出的异常类型：char 和 int */

void func2() throw(char, int);

/* 不抛出任何异常 */

void func3() throw();

4，异常规格说明的意义：

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

1，如果想知道调用的函数会抛出哪些类型的异常时，只用打开头文件看看这个函数是怎么声明的就可以了；

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

3，异常规格说明是函数接口的一部分；

1，用于说明这个函数如何正确的使用；

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

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

7，异常规格之外的异常编程实验：

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

1，BCC 显示：

1，func()

Abnormal program termination

2，g++ 显示：

1，terminate called after throwing an instance of 'char'

2，已放弃

3，VC 2010 显示：

1，func()

2，catch(char)

8，unexpected() 函数说明：

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

2，默认的 unexpected() 函数会调用全局的 terminate() 函数；

1，这是 BCC 和 g++ 编译器的行为；

3，可以自定义函数替换默认的 unexpected() 函数实现；

1，VC 2010 编译器的也不遵循行为；

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

1，在异常处理这个技术点上面，编译器实现是有差异的，如果我们未来的项目中确实的要用到函数的异常规格说明时，我们最好的写一个小的测试程序，看看当前项目里面所使用的 C++ 编译器在这一个技术点的行为是怎样的，有没有遵循标准的 C++ 规范；

9，unexpected() 函数的替换：

1，自定义一个无返回值无参数的函数：

1，能够再次抛出异常：

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

1，见 本文10 中程序 throw 1；

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

2，调用 set_unexpected() 设置自定义的异常函数：

1，参数类型为 void(*)()；

2，返回值为默认的 unexpected() 函数入口地址；

10，自定义 unexpected() 函数编程实验：

 #include <iostream>
 #include <cstdlib>
 #include <exception>

 using namespace std;

 void my_unexpected()
 {
     cout << "void my_unexpected()" << endl;
     // exit(1);  // 退出；
     throw ;
 }

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

1，exit(1) 结果：

1，g++ 编译器：

func()

void my_unexpected()

2，BCC 编译器：

func()

void my_unexpected()

3，VC 2010 编译器：

func()

catch(char)  // 未有遵循标准 C++ 规范；

2，throw 1 结果：

1，g++ 编译器：

func()

void my_unexpected()

catch(int)  //与触发函数 func() 的异常规格符合，于是程序恢复执行；

2，BCC 编译器：

func()

void my_unexpected()

catch(int)

3，VC 2010 编译器：

func()

catch(char)  // 未有遵循标准 C++ 规范，直接捕获，然后处理；

3，如果以后项目开发，会使用函数异常说明这个技术点，最好在项目开发前写一些小程序测试下当前使用的 C++ 编译器有没有很好的遵循 C++ 的规范；

11，小结：

1，C++ 中的函数可以声明异常规则说明；

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

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

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

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

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

3，un_expected() 函数是正确处理异常的最后机会，如果没有抓住，terminate() 函数会被调用，当前程序以异常告终；