一个问题是程序在执行期间产生了一个例外。 C++异常是一个特殊的情况在程序运行时,比如试图除以零而引致的响应结果。
异常提供一种方法来从一个程序到另一个程序的一个部分转移控制。 C++异常处理建立在三个关键字: try, catch,和 throw。
-
throw: 程序抛出一个异常在当问题出现时。这是通过使用一个throw关键字。
-
catch: 程序捕获异常,并在要处理的问题,程序异常处理程序地方。关键字表示异常的醒目。
-
try: try块标识代码块的哪些特定的异常将被激活。它的后面是一个或多个catch块。
假设一个块将抛出一个异常,方法使用try和catch关键字的组合捕获异常。try/ catch块周围放置可能产生异常的代码。try / catch块中的代码被称为保护代码,使用try/ catch语句的语法如下所示:
try { // protected code }catch( ExceptionName e1 ) { // catch block }catch( ExceptionName e2 ) { // catch block }catch( ExceptionName eN ) { // catch block }
可以列出多个catch语句捕获不同类型的异常的情况,try块中引发不同的情况而可能不止一个例外。
抛出异常:
异常可以在任何地方使用throw语句代码块抛出。throw语句操作确定一个类型的异常,可以是任意表达式和表达式的结果的类型决定抛出的异常的类型。
以下是当通过除以零发生抛出异常的一个例子:
double division(int a, int b) { if( b == 0 ) { throw "Division by zero condition!"; } return (a/b); }
捕获异常:
以下的try catch块捕获任何异常。可以指定想要捕捉什么样的类型异常,出现在以下关键字catch括号中的例外声明确定。
try { // protected code }catch( ExceptionName e ) { // code to handle ExceptionName exception }
上面的代码会捕获ExceptionName类型的异常。如果想指定catch块应该处理任何类型抛出异常在try块,必须把省略号,...,封闭异常声明如下括号:
try { // protected code }catch(...) { // code to handle any exception }
下面是一个例子,它除以零抛出一个异常,它的catch块捕获。
#include <iostream> using namespace std; double division(int a, int b) { if( b == 0 ) { throw "Division by zero condition!"; } return (a/b); } int main () { int x = 50; int y = 0; double z = 0; try { z = division(x, y); cout << z << endl; }catch (const char* msg) { cerr << msg << endl; } return 0; }
因为我们是抛出一个异常类型为const char*,因此,要捕获这种异常,我们必须使用为const char*在catch块中。编译并运行上面的代码,这会产生以下结果:
Division by zero condition!
C++标准例外:
C++提供的<exception>,可以在程序中使用定义的标准异常列表。这些被组织在以下所示的父子类层次结构:
Exception | 描述 |
---|---|
std::exception | 一个例外,所有标准C++异常的父类 |
std::bad_alloc | 这可以通过new 抛出 |
std::bad_cast | 这可以通过 dynamic_cast 抛出 |
std::bad_exception | 这是非常有用的设备用来处理在C++程序意外异常 |
std::bad_typeid | 这可以通过 typeid. 抛出 |
std::logic_error | 理论上可以通过读取代码来检测异常 |
std::domain_error | 这是抛出一个异常,当一个数学无效域使用 |
std::invalid_argument | 这是由于无效的参数异常 |
std::length_error | 创建太长的 std::string 时,这将被抛出 |
std::out_of_range | 这可以通过在一个方法抛出,例如 std::vector 和 std::bitset<>::operator[](). |
std::runtime_error | 理论上无法通过读取码来检测的异常 |
std::overflow_error | 如果一个数学溢出,就会发生此异常 |
std::range_error | 当尝试存储值超出范围,将发生此异常 |
std::underflow_error | 如果一个数学溢出,就会发生此异常 |
定义新的异常:
可以通过继承并覆盖异常类的功能定义自己的异常。以下为例子,它说明了如何使用std::异常类来实现自己的标准方式的例外:
#include <iostream> #include <exception> using namespace std; struct MyException : public exception { const char * what () const throw () { return "C++ Exception"; } }; int main() { try { throw MyException(); } catch(MyException& e) { std::cout << "MyException caught" << std::endl; std::cout << e.what() << std::endl; } catch(std::exception& e) { //Other errors } }
这将产生以下结果:
MyException caught C++ Exception
在这里,what()是异常类提供一个公共方法,它已被所有子异常类覆盖。这将返回一个异常的原因。