前言
C++类中构造函数与析构函数一般建议不要写出可能导致异常的代码,之前没有考虑过这方面问题,今天看了《C++编程调试秘籍》,觉得收货满满,这里分享给大家
为什么一般建议析构函数为空?
这里先说下为什么要编写析构函数:
- 当使用基类指针指向子类对象时,需要定义基类的虚析构函数,这样在释放该基类指针时,才会调用子类析构函数和基类构造函数(如果不定义基类的虚析构函数,则释放该基类指针时,只会调用基类的析构函数,有可能造成子类资源泄露);
- 在派生类中不需要把子类的析构函数定义为虚析构函数,但是为了可读性,可以定义为虚析构函数;
- 声明析构函数并不抛出异常;
这里将析构函数定义为空就是为了避免析构函数内出现异常。一般是先出现异常,然后会自动调用类的析构函数,如果类构造函数申请资源,则析构函数需要释放这些资源,但是如果析构函数也出现异常,则会造成程序终止,这一般不是我们开发人员所期望的,所以这里需要将析构函数定义为不抛出异常,这就是上述辨析析构函数原因的第3项。
在构造函数中定义申请资源的代码,一般来说,需要在析构函数中编写释放资源的代码。如果在构造函数出现异常呢?会出现什么情况?尤其是资源申请一部分后,出现异常。答案就是:如果构造函数出现异常,析构函数不会被调用,尤其是资源申请一部分后,会造成这部分资源泄露。
如果在类中定义其它类的对象属性,或者继承其它类,在构造函数出现异常,则对应继承的基类或者类对象属性会调用析构函数吗?答案是:Yes,也就是说只有当前类构造函数出现异常,该类的析构函数不会被调用,对于正常构造的基类或者其它类对象属性,则会正常调用析构函数。正是基于这一点,如果要在构造函数中申请资源,可以使用智能指针或者其它类对象管理,这样,对应的资源就会被释放,不会造成资源泄露。
总结
从构造函数中抛出异常时避免内存泄露的原则: 在设计类的时候,使构造函数保持为空函数。
参考
《C++编程调试秘籍》
|