1.多态使用时,如果子类有属性开辟到堆区,那么父类指针在释放时无法调用到子类的析构代码
将父类中的析构函数改为虚析构或者纯虚析构就可以解决
2.二者共性
可以解决父类指针释放子类对象不干净问题
都需要有具体函数实现
虚析构 virtual ~类名(){}
纯虚析构virtual ~类名()=0;
类名::类名(){} //在类外写
3.析构函数写成虚函数释放子类空间时,子类析构函数执行后会执行父类析构函数,避免内存泄漏,父类函数不是虚析构时,如果释放父类指针(执行子类的父类指针),只会调用父类的析构函数
给出如下代码解释
#include<iostream>
using namespace std;
class Animal
{
public:
Animal()
{
cout << "Animal 构造函数调用" << endl;
}
~Animal()
{
cout << "Animal 虚析构函数调用" << endl;
}
virtual void speak() = 0;
};
class Cat :public Animal
{
public:
string* m_name;
Cat(string name)
{
cout << "Cat构造函数调用" << endl;
m_name = new string(name);
}
void speak()
{
cout << *m_name<<"小猫说话" << endl;
}
~Cat()
{
if (m_name != NULL)
{
cout << "Cat析构函数调用" << endl;
delete m_name;
m_name = NULL;
}
}
};
void test01()
{
Animal* animal = new Cat("tom");
animal->speak();
//父类指针析构时候,不会调用子类中析构函数,
delete animal;
}
int main()
{
test01();
}
上面代码输出结果为
问题来了Cat类的构造函数没有调用啊,这是为什么呢?因为如果通过基类指针释放派生类对象而基类的析构函数不是虚函数,这将会造成未定义的行为,因为在这种情况下,编译器只会调用基类的析构函数,而不会调用派生类的析构函数。
只需要将父类中析构函数改为如下
virtual ~Animal()
{
cout << "Animal 虚析构函数调用" << endl;
}
改正后输出结果为
以上代码改为纯虚析构函数如下
#include<iostream>
using namespace std;
class Animal
{
public:
Animal()
{
cout << "Animal 构造函数调用" << endl;
}
virtual ~Animal() = 0;
virtual void speak() = 0;
};
Animal::~Animal()
{
cout << "Animal 纯虚析构函数调用" << endl;
}
class Cat :public Animal
{
public:
string* m_name;
Cat(string name)
{
cout << "Cat构造函数调用" << endl;
m_name = new string(name);
}
void speak()
{
cout << *m_name<<"小猫说话" << endl;
}
~Cat()
{
if (m_name != NULL)
{
cout << "Cat析构函数调用" << endl;
delete m_name;
m_name = NULL;
}
}
};
void test01()
{
Animal* animal = new Cat("tom");
animal->speak();
delete animal;
}
int main()
{
test01();
}
注意
在定义纯虚函数时该类也是抽象类,无法实例化对象
虚函数 vs 纯虚函数,如何选用?
- 当基类中的某个成员方法,在大多数情形下都应该由子类提供个性化实现,但基类也可以提供缺省备选方案的时候,该方法应该设计为虚函数。
- 当基类中的某个成员方法,必须由子类提供个性化实现的时候,应该设计为纯虚函数。