C++ Primer 5th笔记（chap 18 大型程序工具）异常处理

Posted 2021-11-23 thefist11

1. 异常处理 ( exception handling)

允许程序中独立开发的部分能够在运行时就出现的问题进行通信并做出相应的处理。

异常使得我们能够将问题的检测与解决过程分离开来。 程序的一部分负责检测问题的出现， 然后解决该问题的任务传递给程序的另一部分

1.1 栈展开（ stack unwinding)

当抛出一个异常后， 程序暂停当前函数的执行过程并立即开始寻找与异常匹配的catch 子句。 当 throw 出现在一个 try 语句块（ try block) 内时， 检查与该 try 块关联的 catch 子句。 如果找到了匹配的 catch, 就使用该 catch 处理异常。 如果这一步没找到匹配的 catch 且该 try 语句嵌套在其他 try 块中， 则继续检查与外层 try 匹配的catch 子句。 如果还是找不到匹配的 catch, 则退出当前的函数， 在调用当前函数的外层函数中继续寻找。

当找不到匹配的 catch时， 程序将调用标准库函数 terminate, 顾名思义， terminate 负责终止程序的执行过程

1.2 栈展开过程中对象被自动销毁

1.3 析构函数与异常

如果一个块分配了资源， 并且在负责释放这些资源的代码前[(D 发生了异常， 则释放资源的代码
将不会被执行。 另 --方面， 类对象分配的资源将由类的析构函数负责释放

1.4 异常对象（ exception object )

编译器使用异常抛出表达式来对异常对象进行拷贝初始化

当抛出一条表达式时， 该表达式的静态编译时类型决定了异常对象的类型。 因为很多情况下程序抛出的表达式类型来自于某个继承体系。 如果一条 throw 表达式解引用一个基类指针， 而该指针实际指向的
是派生类对象， 则抛出的对象将被切掉一部分， 只有基类部分被抛出。