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，异常规格之外的异常编程实验：

 1 #include <iostream>
 2 
 3 using namespace std;
 4 
 5 void func() throw(int)
 6 {
 7     cout << "func()";
 8     cout << endl;
 9     
10     throw 'c';
11 }
12 
13 int main()
14 {
15     try 
16     {
17         func();
18     } 
19     catch(int) 
20     {
21         cout << "catch(int)";
22         cout << endl;
23     } 
24     catch(char) 
25     {
26         cout << "catch(char)";
27         cout << endl;
28     }
29 
30     return 0;
31 }

    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() 函数编程实验：

 1 #include <iostream>
 2 #include <cstdlib>
 3 #include <exception>
 4 
 5 using namespace std;
 6 
 7 void my_unexpected()
 8 {
 9     cout << "void my_unexpected()" << endl;
10     // exit(1);  // 退出；
11     throw 1;
12 }
13 
14 void func() throw(int)
15 {
16     cout << "func()";
17     cout << endl;
18     
19     throw 'c';
20 }
21 
22 int main()
23 {
24     set_unexpected(my_unexpected);
25     
26     try 
27     {
28         func();
29     } 
30     catch(int) 
31     {
32         cout << "catch(int)";
33         cout << endl;
34     } 
35     catch(char) 
36     {
37         cout << "catch(char)";
38         cout << endl;
39     }
40 
41     return 0;
42 }

    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() 函数会被调用，当前程序以异常告终；