使用C++多态特性的时候,实际上是父类的指针或者引用指向子类的对象。
若子类中有些属性是通过new操作符开辟到堆区的话,之后再通过delete操作符析构父类的对象却无法调用到子类的析构函数,必然存在内存泄漏的隐患。
创建一个名为Animal的父类
- 在类里,为构造函数,析构函数以及虚函数分别做输出打印,方便后面观察。
- Speaking函数加入virtual关键字是实现多态的必不可少的一个条件(子类要重写父类的虚函数),具体可以参考之前一篇https://mp.csdn.net/mp_blog/creation/editor/115275125
同样创建一个Cat的子类,这个子类继承Animal父类
- 对子类的无参构造函数,有参构造函数,析构函数和Speaking做输出打印,方便后面观察
- 子类含有一个私有的string型指针,在调用有参构造时对这个string型指针变量赋值,析构函数中对这个string型指针变量释
以上的一个子类一个父类看似好像没有问题,但是试着运行一下就会发现以下的终端输出信息
从输出打印的结果可以看出:
父类的构造函数已经调用,子类的有参构造也已经调用,也可以正常实现多态的效果,Tom猫也有喵喵叫的行为,但是在析构的时候,只有父类的析构函数调用,没有子类的析构函数调用。字符型指针m_PtrStrName没有得到释放,以上的代码必然引起内存泄漏的问题
理论正确的行为应该是:构造函数的调用顺序应该是基类的构造先调用,子类的构造函数后调用,而析构的顺序和构造的顺序正好相反。
也就是说,delete父类的指针,并没有调用到子类的析构函数,解决的办法就是把父类的析构函数变为虚析构或者纯虚析构。
修改后的正确代码如下:
#include <iostream>
#include <string>
using namespace std;
class Animal
{
public:
Animal()
{
cout << "Animal:: Construct involved" << endl;
}
virtual ~Animal()
{
cout << "Animal:: Deconstruct involved" << endl;
}
void virtual Speaking()
{
cout << "Animal::Speaking() involved" << endl;
}
};
class Cat : public Animal
{
public:
Cat()
{
cout << "Cat:: Default Construct involved" << endl;
}
Cat(string name)
{
cout << "Cat:: Parameter Construct involved" << endl;
m_PtrStrName = new string(name);
}
~Cat()
{
cout << "Cat:: Deconstruct involved" << endl;
if (NULL != m_PtrStrName)
{
delete m_PtrStrName;
m_PtrStrName = NULL;
}
}
void Speaking()
{
cout << "Now, " << *m_PtrStrName << " is Speaking." << endl;
}
private:
string* m_PtrStrName;
};
void test01()
{
Animal* myAnimal = new Cat("Tom");
myAnimal->Speaking();
if (NULL != myAnimal)
{
delete myAnimal;
myAnimal = NULL;
}
}
int main()
{
test01();
system("pause");
return 0;
}
运行结果如下:
可以看见加上关键字virtual,让父类的析构函数变成虚析构以后,释放父类的指针后,也会调用到子类的析构函数,而且满足析构的顺序和构造相反。
纯析构也同样可以解决以上问题,但是要做部分的修改:
- 虚析构和纯虚析构只要一个就可以了,修改之前的虚析构函数实现,变成纯析构的声明
- 纯虚析构一定要有具体实现部分,不然链接时会报错误。本例中仅仅只有一个输出打印,可以根据实际遇到的问题具体写实现内容
利用虚析构或者纯虚析构可以解决父类指针释放子类对象不干净的问题,但是这两种析构都要有具体实现。
区别在于:一个类如果包含一个纯虚析构,那么这个类也属于抽象类,无法实例化该对象。
虚析构的语法:
virtual ~ClassName() { }
纯虚析构的语法:
virtual ~ClassName() { } = 0;