C++构造函数异常(一)

 

C++ 构造函数的异常是一个比较难缠的问题,很多时候,我们可能不去考虑这些问题,如果被问到,有人可能会说使用RAII管理资源。

但你真的考虑过如果构造函数失败了,到底会发生什么吗,前面构造成功的成员、基类对象应该怎样回收?

最近在知乎上看到有人提到这个问题:

http://www.zhihu.com/question/22889420

看了陈硕的回答,抱着怀疑的心态写代码加以验证。

在此之前,先不急着上代码,啰嗦几句话。

 首先问4个问题,这是从 Herb sutter 的《More Exceptrional C++》看到的,我觉得问的很好,类似保安的哲理问题:你是谁、你从哪里来、你要到哪里去?

1:对象生命周期何时开始

一个构造函数成功执行完毕,并成功返回之时,也就是构造函数成功执行到函数体尾,没有发生异常。

2:对象生命周期何时结束

当一个对像的析构函数开始执行,也就是达到析构函数开始指出,这里暂且不讨论析构函数是否发生异常,只要进入析构函数体,该对象生命周期就已经结束

3:在生命周期开始之前,与生命结束之后,对象处于什么状态

这时候“对象”已不是对象。理论上“它”根本就不存在

4:接着第三个答案,如果构造函数异常,对象处于什么状态?

构造函数异常,即构造函数甚至没有到达函数体的尾部,即对象的生命周期还没有开始,所以他根本不是一个的对象,或者说它什么都不是,

所以更不会执行析构函数了。

 

那么问题来了,如果构造失败,之前成功分配的资源怎么办呢?

Herb sutter的答案是:这个是语言本身来负责回收了,编译器来实现,没程序员的事,即使之前成功构造的对像也不会执行析构函数。

 

下面是陈硕列举构造函数失败可能发生的场景,他举了5个例子,我这里写了4个,我的结论如下

 

1:构造函数的初始化列表里抛异常,前面已经构造好的成员由编译器负责回收,不会调用析构函数

 

2:数组元素构造时抛异常,前面已经构造好的元素由编译器回收,不会调用对象的析构函数。

 

3:多继承中某个基类的构造函数抛异常,已经构造成功的基类对象由编译器回收,不会调用析构函数

 

4:智能指针,STL 容器 存放auto_ptr<T>, shared_ptr<T> 对象, 类型T构造失败,则前面构成成功的智能对象有编译器回收,不会调用析构函数。

 

第一种:构造函数初始化列表抛出异常,前面成功构造的对像由编译器负责回收,不会调用析构函数

 1 #include<iostream>
 2 
 3 using namespace std;
 4 
 5 class B{
 6 
 7 public:
 8     B(){
 9         cout << "construct B default" << endl;
10         throw 3; //故意在默认构造函数中抛出异常
11     }
12     B(int num){
13         age = num;
14         cout << "constructor B ,age =" << num << endl;
15     }    
16     ~B(){
17         cout << "destructor B ,age=" << age << endl;
18     }
19 private:
20     int age;
21 };
22 
23 class A{  
24 public:
25     A():_data(new char[1]), b(B(10)), bp(new B()){
26         cout << "construct A " << endl;
27 
28         *_data = '\0';    
29         
30     }
31     ~A(){
32         cout << "destructor A" << endl;
33         delete [] _data;
34         delete bp;
35 
36     }
37 private:
38     char *_data;
39     B b;
40     B *bp;
41 };
42 
43 int main(void){
44 
45     A a;
46 }

第十行出,我故意throw 3 

所以在25行class A构造函数的初始化列表,调用B(10)发生异常,而B()则会异常退出。结果如下

 

B的默认构造函数和B(int)都执行完毕,但析构函数没有执行,当然A的构造也失败了,更不会执行析构函数,这些资源都是编译器负责回收了

如果你不信的会,我注释第9行,是另一种结果

 

 第2种:数组元素构造发生异常,前面构造成功的对象由编译器负责回收,不会调用析构函数

 

 1  1 class C{
 2  2 public:
 3  3     C(){
 4  4         //得到指定范围[m,n]的随机数:r = rand()%(n - m + 1) + m;
 5  5         int r = rand()%(8-0)+0;
 6  6         num = r;
 7  7         cout << "constuctor C ,num = " << num << endl;
 8  8         if(!(r % 4)){
 9  9             throw r;
10 10         }
11 11     }
12 12     ~C(){
13 13         cout << "destructor C, num = " << num << endl;
14 14     }
15 15 private:
16 16     int num;
17 17 };
18 18 
19 19 int main(void){
20 20 
21 21 
22 22     C arr[10];
23 23     
24 24 }

当随机数r 整除 4是,即throw异常,则前面成功构造的对象不会析构

 

若注释第9行的throw r 结果是:

 

第3、4两种场景,在第二篇文章验证:《C++构造函数异常(二)》

posted @ 2015-04-01 21:43  Geeking  阅读(6019)  评论(1编辑  收藏  举报