（30）try语句块和异常处理

异常是指存在于运行时的反常行为，这些行为超出了函数正常功能的范围。
当程序的某部分检测到一个它无法处理的问题时，需要用到异常处理。异常处理机制为程序中异常检测和异常处理这两部分的协作提供支持。在C++语言中，异常处理包括：
一.throw表达式，异常检测部分使用throw表达式来表示它遇到了无法处理的问题。我们说throw引发了异常。
二.try语句块，异常处理部分使用try语句处理异常。try语句块以关键字try开始，并以一个或多个catch子句结束，因catch子句处   理异常，所以他们被称为异常处理代码。
三.一套异常类，用于在throw表达式和相关的catch子句之间传递异常的具体信息

throw表达式

程序的异常检测部分使用throw表达式引发一个异常。throw表达式包含关键字throw和紧跟其后的一个表达式，其中表达式的类型就
是抛出的异常类型。throw表达式后面通常紧跟一个分号，从而构成一条表达式语句。
如：

if (i == 3) throw runtime_error("异常：i为3");

try语句块

try语句块的通用语法形式：
try{
   program-statement
}catch(exception-declaration){
   handler-statement
}catch(exception-declaration){
   handler-statement
} //.....
catch子句包括三部分：关键字ccatch、括号内一个（可能为命名的）对象的声明（称作异常声明）以及一个块。当选中了某个catch
子句处理处理异常了之后，执行与之对应的块。catch一旦完成，程序跳转到try语句快最后一个catch子句之后的那条语句继续执行。
try语句块内声明的变量在块外部无法访问，特别是在catch子句内也无法访问。
如：

int i = 1;	
while (cin >> i) {
	try {
	if (i == 3) throw runtime_error("异常：i为3");
	}
	catch (runtime_error e) {
	   cout << e.what() << endl;;
	}
}
cout << i << endl;  //输入3时 输出异常结果：异常：i为3

在复杂的系统中，程序在遇到抛出异常的代码前，其执行路径可能已经经过了多个try语句块。例如，一个try语句可能调用了包含另一个try语句块的函数，新的try语句块可能调用了包含又一个try语句的新函数，以此类推。
  寻找处理代码的过程与函数调用链刚好相反。当异常被抛出时，首先搜索抛出该异常的函数。如果没有找到匹配的catch子句，终止该函数，并在调用该函数的函数中继续寻找。如果还没有找到匹配的catch子句，这个新的函数也被终止，继续搜索调用它的函数。以此类推，沿着程序的执行路径逐层回退，直到找到适合类型的catch子句为止。
  如果最终还是没能找到任何匹配的catch子句，程序转到名为terminate的标准库函数。该函数的行为与系统有关，一般情况下，执行该函数将导致程序非正常退出。
  对于那些没有任何try语句块定义的异常，也按照类似的方式处理：毕竟，没有try语句块也就意味着没有匹配的catch子句。如果一段程序没有try语句块且发生了异常，系统会调用terminate函数并终止当前程序的执行。

标准异常

C++标准库定义了一组类，用于报告标准库函数遇到的问题。这些异常类也可以在用户编写的程序中使用，他们分别定义在4个头文件中：
一.exception头文件定义了最通用的异常类exception。它们只报告异常的发生，不提供任何额外的信息
二.stdexcept头文件定义了几种常用的异常类。
三.new头文件定义了bad_alloc异常类型。
四.type_info头文件定义了bad_cast异常类型

标准库异常类只定义了几种运算，包括创建或拷贝异常类型的对象，以及为异常类型的对象赋值。
  我们只能以默认初始化的方式初始化exception、bad_alloc和bad_cast对象，不允许为这些对象提供初始值。   
  其他异常类型的行为恰好相反：应该使用string对象或者C风格字符串初始化这些类型的对象，但是不允许使用默认初始化的方式。当创建子类对象时，必须提供初始值，该初始值含有错误相关的信息。
  异常类型只定义了一个名为waht的成员函数，该函数没有任何参数，返回值是一个指向C风格字符串的const char*。该字符串的目的是提供关于异常的一些文本信息。
  what函数返回的C风格字符串的内容与异常对象的类型无关。如果异常类型有一个字符串初始值，则what返回该字符串。对于其他无初始值的异常类型来说，waht返回的内容由编译器决定。