C++ Primer第5版 try语句块和异常处理

               当程序的某部分检测到一个它无法处理的问题时，需要用到异常处理，检测到问题的部分应当发出某种信号以表明程序遇到了故障，信号的发出方无需知道故障将在何处得到解决，一旦发出了信号异常，检测出问题的部分也就完成了任务。

异常处理机制:程序中检测异常和异常处理这两部分的协作提供支持、

throw表达式,异常检测部分使用throw表达式来表示它遇到了无法处理的问题。我们说throw引发了异常。

try语句块，异常处理部分使用try语句块处理异常，try语句块以关键字try开始，并以一个或多个catch子句结束。try语句块中代码抛出的异常通常会被某个catch子句处理，因为catch子句"处理"异常，所以他们也被称作异常处理代码。

异常类，用于在throw表达式和相关的catch子句之间传递异常的具体信息。

throw表达式

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

try语句块

try{

program-statements

catch(exception declaration//异常声明){

} catch(exception declaration){

}

}

              try语句块一开始时关键字try，随后紧跟一个块，跟在try块之后的时一个或多个catch子句。catch子句也包括三部分；1.关键字catch，2.括号内一个对象的声明(异常声名)，3.以及一个块。当选中了某个catch子句处理异常之后，执行与之对应的块，catch一旦完成，程序将跳转到try语句块最后一个catch子句之后那条语句继续执行。

          try中的program-statements组成程序的正常逻辑，想其它任何块一样program-statements可以有包括声明在内的任意C++语句，try语句块内声明的变量在块外部无法访问，在catch子句内也无法访问。

           每个标准库异常类型都定义了名为what()的成员函数，这些函数没有参数，返回值是C风格字符串(const char*)，返回的是初始化一个具体对象时所用的string对象的副本。

函数在寻找处理代码的过程中退出

               在复杂系统中，程序在遇到曝出异常的代码前，其执行路径可能已经经过了多个try语句块。例如一个try语句块可能调用了包含另一个try语句块中的函数，新的try又包含了另一个，以此类推。

            寻找处理代码的过程与函数调用链恰好相反，当异常被抛出时，首先搜索抛出该异常的函数，如果没有找到匹配的catch语句，终止该函数，并在调用该函数中的函数继续寻找，以此类推。沿着程序执行的路径逐层返回，知道找到适当类型的catch字句为止。

              如果最终没有找到任何匹配的catch字句名称须转到名为terminate的标准库函数，一般情况下，执行该函数将导致程序非正常退出。

           对于那些没有任何try语句块定义的异常，也按照类似的方式处理:毕竟没有try语句块也就意味着没有匹配的catch字句，如果一段程序没有try语句块且发生了异常，系统也会调用terminate函数并终止当前函数的执行。

      标准异常