8.异常处理(未完)

Posted 2021-12-30 royzzzzz

8.1.1栈展开

抛出异常时，将暂停当前函数的执行，开始查找匹配的catch子句。首先检查throw本身是否在try块内部，如果是，检查与该try相关的catch子句，看是否可以处理该异常。如果不能处理，就退出当前函数，并且释放当前函数的内存并销毁局部对象，继续到上层的调用函数中查找，直到找到一个可以处理该异常的catch。这个过程称为栈展开（stack unwinding）。当处理该异常的catch结束之后，紧接着该catch之后的点继续执行。当找不到匹配的catch时，程序将调用标准库函数terminate，负责终止程序的执行过程。

8.1.2析构函数能抛出异常吗？

不能，

(1) 如果析构函数抛出异常，则异常点之后的程序不会执行，如果析构函数在异常点之后执行了某些必要的动作比如释放某些资源，则这些动作不会执行，会造成诸如资源泄漏的问题。
(2) 通常异常发生时，c++的机制会调用已经构造对象的析构函数来释放资源，此时若析构函数本身也抛出异常，则前一个异常尚未处理，又有新的异常，会造成程序崩溃的问题。

8.1.3异常对象和查找匹配的处理代码

异常对象使用异常抛出表达式来对异常对象进行拷贝初始化，因此throw语句中的表达式必须拥有完全类型，如果是类类型还必须拥有一个可访问的析构函数和拷贝或者移动构造函数。

异常的类型混合catch声明的类型匹配：

(1)允许非常量向常量的类型转换

(2)允许从派生类向基类的类型转换

(3)数组被转换成指向数组（元素）类型的指针，函数被转换成指向该函数类型的指针。

8.1.4重新抛出异常

 1 include <iostream>
 2 #include <string>
 3 using namespace std;
 4 class CException
 5 
 6 public:
 7     string msg;
 8     CException(string s) : msg(s) 
 9 ;
10 double Devide(double x, double y)
11 
12     if (y == 0)
13         throw CException("devided by zero");
14     cout << "in Devide" << endl;
15     return x / y;
16 
17 int CountTax(int salary)
18 
19     try 
20         if (salary < 0)
21             throw - 1;
22         cout << "counting tax" << endl;
23     
24     catch (int) 
25         cout << "salary < 0" << endl;
26     
27     cout << "tax counted" << endl;
28     return salary * 0.15;
29 
30 int main()
31 
32     double f = 1.2;
33     try 
34         CountTax(-1);
35         f = Devide(3, 0);
36         cout << "end of try block" << endl;
37     
38     catch (CException e) 
39         cout << e.msg << endl;
40     
41     cout << "f = " << f << endl;
42     cout << "finished" << endl;
43     return 0;
44 

程序的输出结果如下：
salary < 0
tax counted
devided by zero
f=1.2
finished

CountTa 函数拋出异常后自行处理，这个异常就不会继续被拋给调用者，即 main 函数。因此在 main 函数的 try 块中，CountTax 之后的语句还能正常执行，即会执行f = Devide(3, 0);。

第 35 行，Devide 函数拋出了异常却不处理，该异常就会被拋给 Devide 函数的调用者，即 main 函数。拋出此异常后，Devide 函数立即结束，第 14 行不会被执行，函数也不会返回一个值，这从第 35 行 f 的值不会被修改可以看出。

Devide 函数中拋出的异常被 main 函数中类型匹配的 catch 块捕获。第 38 行中的 e 对象是用复制构造函数初始化的。

如果拋出的异常是派生类的对象，而 catch 块的异常类型是基类，那么这两者也能够匹配，因为派生类对象也是基类对象。

虽然函数也可以通过返回值或者传引用的参数通知调用者发生了异常，但采用这种方式的话，每次调用函数时都要判断是否发生了异常，这在函数被多处调用时比较麻烦。有了异常处理机制，可以将多处函数调用都写在一个 try 块中，任何一处调用发生异常都会被匹配的 catch 块捕获并处理，也就不需要每次调用后都判断是否发生了异常。

8.1.5函数try语句块和构造函数

8.1.6noexcept

 

参考资料：http://c.biancheng.net/view/422.html