C++类的构造函数与析构函数异常分析

---

前言

C++类中构造函数与析构函数一般建议不要写出可能导致异常的代码，之前没有考虑过这方面问题，今天看了《C++编程调试秘籍》，觉得收货满满，这里分享给大家

---

为什么一般建议析构函数为空？

这里先说下为什么要编写析构函数：

1. 当使用基类指针指向子类对象时，需要定义基类的虚析构函数，这样在释放该基类指针时，才会调用子类析构函数和基类构造函数（如果不定义基类的虚析构函数，则释放该基类指针时，只会调用基类的析构函数，有可能造成子类资源泄露）；
2. 在派生类中不需要把子类的析构函数定义为虚析构函数，但是为了可读性，可以定义为虚析构函数；
3. 声明析构函数并不抛出异常；

这里将析构函数定义为空就是为了避免析构函数内出现异常。一般是先出现异常，然后会自动调用类的析构函数，如果类构造函数申请资源，则析构函数需要释放这些资源，但是如果析构函数也出现异常，则会造成程序终止，这一般不是我们开发人员所期望的，所以这里需要将析构函数定义为不抛出异常，这就是上述辨析析构函数原因的第3项。

在构造函数中定义申请资源的代码，一般来说，需要在析构函数中编写释放资源的代码。如果在构造函数出现异常呢？会出现什么情况？尤其是资源申请一部分后，出现异常。答案就是：如果构造函数出现异常，析构函数不会被调用，尤其是资源申请一部分后，会造成这部分资源泄露。

如果在类中定义其它类的对象属性，或者继承其它类，在构造函数出现异常，则对应继承的基类或者类对象属性会调用析构函数吗？答案是：Yes，也就是说只有当前类构造函数出现异常，该类的析构函数不会被调用，对于正常构造的基类或者其它类对象属性，则会正常调用析构函数。正是基于这一点，如果要在构造函数中申请资源，可以使用智能指针或者其它类对象管理，这样，对应的资源就会被释放，不会造成资源泄露。

---

总结

从构造函数中抛出异常时避免内存泄露的原则：
在设计类的时候，使构造函数保持为空函数。

参考

《C++编程调试秘籍》