2021-06-04

C++纯虚函数和抽象类

在多态中，通常父类中虚函数的实现是毫无意义的，主要都是调用子类重写的内容，因此可以将虚函数改为纯虚函数。
纯虚函数的语法：virtual 返回值类型 函数名 (参数列表)=0;
当类中有了纯虚函数，这个类也称为抽象类。
抽象类特点：
1.无法实例化对象
2.子类必须重写抽象类中的纯虚函数，否则也属于抽象类

#include<iostream>
using namespace std;
//纯虚函数和抽象类 
class Base
{
	public:
		//纯虚函数
		//只要有一个纯虚函数，这个类称为抽象类
		//抽象类特点：
		//1.无法实例化对象 
		//2.抽象类子类 必须重写父类中的纯虚函数，否则也属于抽象类 
		virtual void func()=0;
};
class Son:public Base
{
	public:
		virtual void func()
		{
			cout<<"func的函数调用"<<endl;
		}
};
void test1()
{
	//Base b;
	//new Base;  //抽象类是无法实例化对象 
	//Son s;  //子类必须重写父类中的纯虚函数，否则无法实例化对象
	Base *base=new Son;
	base->func(); 
}
int main()
{
	test1();
	return 0;
}

C++虚析构和纯虚析构

多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用到子类的析构代码。
解决方式：将父类中的析构函数改为纯析构或者纯虚析构
虚析构和纯虚析构共性：
1.可以解决父类指针释放子类对象
2.都需要有具体的函数实现
虚析构和纯虚析构区别：
如果是纯虚析构，该类属于抽象类，无法实例化对象
虚析构语法：

virtual ~类名()
{
}

纯虚析构语法：

virtual ~类名()=0;

类名::~类名()
{
}

#include<iostream>
#include<cstring>
using namespace std;
//虚析构和纯虚析构 
class Animal
{
	public:
		Animal()
		{
			cout<<"Animal构造函数调用"<<endl;
		}
		//利用虚析构可以解决父类指针释放子类对象时不干净的问题 
		//virtual ~Animal()
		//{
		//	cout<<"Animal虚析构函数调用"<<endl;
		//}
		//纯虚析构  需要声明也需要实现
		//有了纯虚析构之后，这个类也属于抽象类，无法实例化对象 
		virtual ~Animal()=0;
		//纯虚函数 
		virtual void speak()=0;
};
Animal::~Animal() 
{
	cout<<"Animal纯虚析构调用"<<endl;
}
class Cat:public Animal
{
	public:
		Cat(string name)
		{
			cout<<"Cat构造函数调用"<<endl;
			m_Name=new string(name);
		}
		virtual void speak()
		{
			cout<<*m_Name<<"小猫在说话"<<endl;
		}
		~Cat()
		{
			if(m_Name!=NULL)
			{
				cout<<"Cat析构函数调用"<<endl;
				delete m_Name;
				m_Name=NULL;
			}
		}
	string *m_Name;
};


void test1()
{
	Animal *animal=new Cat("Tom");
	animal->speak();
	//父类的指针在析构时候不会调用子类中析构函数，导致子类如果有堆区属性，出现内存泄露 
	delete animal;
}

int main()
{
	test1();
	return 0;
}

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