标签:异常声明 terminate() 异常规格说明 unexpected()
我们在进行异常分析的时候,如何判断一个函数是否会抛出异常,以及抛出哪些异常呢?C++ 提供语法用于声明函数所抛出的异常,异常声明作为函数声明的修饰符,写在参数列表后面。如下函数异常规格说明的意义是:a> 提供商函数调用者必须做好异常处理的准备;b> 提供函数的维护者不要抛出其他异常;c> 异常规格说明是函数接口的一部分。那么如果抛出的异常不在声明列表中会发生什么?
下面我们还是以代码为例来进行说明
#include <iostream> using namespace std; void func() throw(int) { cout << "func()" << endl; throw 'c'; } int main() { try { func(); } catch(int) { cout << "catch(int)" << endl; } catch(char) { cout << "catch(char)" << endl; } return 0; }
我们在 func 函数的后面只声明有可能会抛出 int 类型的异常,实际我们抛出的是字符型异常,我们来看看在 main 函数中的 catch(char) 语句块能捕获到吗?先来看看 g++ 编译器下是怎样的
运行的结果是没有捕获到 char 类型的异常,调用了 Aborted 函数。我们再用 BCC 编译器试试
我们再来试试 vs2010 编译器
我们看到在 vs2010 中捕获到了抛出的异常。如果函数抛出的异常不在规格说明中,全局 unexpected() 被调用。默认的 unexpected() 函数会调用全局的 terminate() 函数,我们可以自定义函数替换默认的 unexpected() 函数实现。注意:不是所有的 C++ 编译器都支持这个标准行为。
下来我们来说说 unexpected() 函数的替换:a> 自定义一个无返回值参数的函数,能够再次抛出异常。当异常符合触发函数的异常规格说明时,恢复程序执行。否则,调用全局 terminate() 函数结束程序;b> 调用 set_unexpected() 设置自定义的异常函数,参数类型为 void(*)(),返回值为默认的 unexpected() 函数入口地址。
我们来看看自定义 unexpected() 函数的代码是怎么写的
#include <iostream> #include <cstdlib> #include <exception> using namespace std; void my_unexpected() { cout << "void my_unexpected()" << endl; throw 1; } void func() throw(int) { cout << "func()" << endl; throw 'c'; } int main() { set_unexpected(my_unexpected); try { func(); } catch(int) { cout << "catch(int)" << endl; } catch(char) { cout << "catch(char)" << endl; } return 0; }
我们先来分析下,在 func 函数中声明的异常是 int 类型的,但是抛出的 char 类型的。因此编译器会调用我们设置的 my_unexpected() 函数,在 my_unexpected() 中又抛出了一个 int 类型的异常,因此便会被 main 函数中的 catch(int) 捕获到,输出 catch(int) 语句。我们来看看在 g++ 编译器中是怎样的
跟我们分析的是一致的,再来看看 vs2010 编译器是怎样的
它还是我行我素,没一点变化。这便是我们之前说的不是所有的 C++ 编译器都支持这个标准行为。通过对异常规格说明的学习,总结如下:1、C++ 中的函数可以声明异常规格说明,异常规格说明可以看做接口的一部分;2、函数抛出的异常不在规格说明中,unexpected() 被调用;3、unexpected() 中能够再次抛出异常:异常能够匹配则恢复程序的执行,否则调用 terminate() 结束程序。
欢迎大家一起来学习 C++ 语言,可以加我QQ:243343083。
标签:异常声明 terminate() 异常规格说明 unexpected()
原文地址:http://blog.51cto.com/12810168/2126245