1. 为什么需要虚析构函数
多态使用时,如果子类中有属性开辟到堆区,那么父类指针在释放时无法调用到子类的析构代码
code示例:
1. #include <iostream> 2. #include <stdlib.h> 3. #include <string> 4. 5. using namespace std; 6. 7. class Animal { 8. public: 9. 10. Animal() 11. { 12. cout << "Animal 构造函数调用!" << endl; 13. } 14. virtual void Speak() = 0; 15. 16. ~Animal() 17. { 18. cout << "Animal虚析构函数调用!" << endl; 19. } 20. 21. }; 22. 23. 24. class Cat : public Animal { 25. public: 26. Cat(string name) 27. { 28. cout << "Cat构造函数调用!" << endl; 29. m_Name = new string(name); 30. } 31. virtual void Speak() 32. { 33. cout << *m_Name << "小猫在说话!" << endl; 34. } 35. ~Cat() 36. { 37. cout << "Cat析构函数调用!" << endl; 38. if (this->m_Name != NULL) { 39. delete m_Name; 40. m_Name = NULL; 41. } 42. } 43. 44. public: 45. string *m_Name; 46. }; 47. 48. void test01() 49. { 50. Animal *animal = new Cat("Tom"); 51. animal->Speak(); 52. 53. //通过父类指针去释放,会导致子类对象可能清理不干净,造成内存泄漏 54. //怎么解决?给基类增加一个虚析构函数 55. //虚析构函数就是用来解决通过父类指针释放子类对象 56. delete animal; 57. } 58. 59. int main() { 60. 61. test01(); 62. 63. system("pause"); 64. 65. return 0; 66. }
执行结果如下:
分析:
在析构的时候,只是调用了父类的析构函数,并没有调用子类的析构函数。这样,子类在堆区开辟的空间就无法释放,造成内存泄露。
2. 引入虚析构解决父类指针释放,子类对象在堆区空间未清理
只需要在基类虚构函数前加virtual关键字即可
可以看到运行结果已经正常:
3. 纯虚析构
同一个类中,虚析构和纯虚析构只有有一个存在,将上面的虚析构改为纯虚析构:
1. class Animal { 2. public: 3. 4. Animal() 5. { 6. cout << "Animal 构造函数调用!" << endl; 7. } 8. virtual void Speak() = 0; 9. 10. virtual ~Animal() = 0; 11. }; 12. 13. Animal::~Animal() 14. { 15. cout << "Animal 纯虚析构函数调用!" << endl; 16. }
纯虚析构一定要有具体的实现,如果没有的话编译会报错。
4. 总结
虚析构和纯虚析构共性:
- 可以解决父类指针释放子类对象
- 都需要有具体的函数实现
虚析构和纯虚析构区别:
- 如果是纯虚析构,该类属于抽象类,无法实例化对象
1. 虚析构或纯虚析构就是用来解决通过父类指针释放子类对象
2. 如果子类中没有堆区数据,可以不写为虚析构或纯虚析构
3. 拥有纯虚析构函数的类也属于抽象类