C++多态虚析构和纯虚析构

虚析构和纯虚析构

多态使用时,如果子类中有属性开辟到堆区,那么父类指针在释放时无法调用子类的析构代码
注释:父类指针在释放时,只会调用父类自己的析构函数,而无法调用子类的析构函数

解决方式:将父类的析构函数改为虚析构或者纯虚析构

虚析构和纯虚析构共性:

  • 可以解决父类指针释放子类对象
  • 都需要有具体的函数实现

虚析构和纯虚析构区区别:

  1. 如果是纯虚析构,则该类属于抽象类,无法实例化对象

为什么需要虚析构

#include
#include
using namespace std;



//虚析构和纯虚析构
class Animal
{

public:
	Animal()
	{
		cout << "调用了父类的构造函数" << endl;	
	}

	~ Animal()
	{
		cout << "调用了父类的析构函数" << endl;
	}
	virtual void speak() = 0;//纯虚函数
};


class Cat :public Animal
{
public:
	string *m_Name;
	//在子类的构造函数,加入小猫的姓名
	Cat(string name)
	{
		cout << "调用了子类-小猫类的构造函数" << endl;
		m_Name = new string(name);//在堆区创建
	}

	~Cat()
	{
		if (m_Name != NULL)
		{
			delete m_Name;
			m_Name = NULL;

			cout<<"调用了子类-小猫类的析构函数"<<endl;
		}
	
	}


	virtual void speak()
	{
	
		cout << *m_Name<<"小猫在说话" << endl;//解引用
	
	}

};
void testSpeak()
{
	Animal *animal = new Cat("Tom");//有参构造函数
	animal->speak();
	delete animal;


}




int main()
{

	testSpeak();



}

结果:

没有调用子类的构造函数
C++多态虚析构和纯虚析构_第1张图片
原因:是因为我们用父类指针指向了子类对象,所以释放父类指针时,并不会调用子类的析构代码

父类指针在析构时候 不会调用子类中析构函数,导致子类如果有堆区属性,出现内存泄漏

解决办法:

在父类析构函数前加入关键字 virtual

//虚析构和纯虚析构
class Animal
{

public:
	Animal()
	{
		cout << "调用了父类的构造函数" << endl;	
	}

	virtual ~ Animal()
	{
		cout << "调用了父类的析构函数" << endl;
	}
	virtual void speak() = 0;//纯虚函数
};

虚析构函数用途

可以利用虚析构函数解决父类指针在释放子类问题时,内存存在泄露的问题
C++多态虚析构和纯虚析构_第2张图片

纯虚析构

纯虚析构既要声明也需要实现

  • 类内声明
  • 类外定义实现

有了纯虚析构 之后 ,这个类也属于抽象类,无法实例化对象

属性开辟到了堆区

//虚析构和纯虚析构
class Animal
{

public:
	Animal()
	{
		cout << "调用了父类的构造函数" << endl;	
	}

	//virtual ~ Animal()
	//{
	//	cout << "调用了父类的析构函数" << endl;
	//}

	virtual ~Animal() = 0;//纯虚析构




	virtual void speak() = 0;//纯虚函数
};

Animal::~Animal()
{

	cout << "调用了父类的纯虚析构函数" << endl;

}

结果

C++多态虚析构和纯虚析构_第3张图片

总结:

  1. 虚析构或纯虚析构就是用来解决通过父类指针释放子类对象
  2. 如果子类中没有堆区数据,可以不写为虚析构或纯虚析构
  3. 拥有纯虚析构函数的类也属于抽象类

你可能感兴趣的:(c++,开发语言)