C++基础学习笔记07——多态

1. 多态

1.1 多态的基本概念
多态分为两类：
静态多态：函数重载和运算符重载
动态多态：派生类和虚函数实现运行时多态
静态多态与动态多态的区别：
静态多态的函数地址早绑定-编译阶段确定函数地址
动态多态的函数地址晚绑定-运行阶段确定函数地址

class Animal{
	public:
		//函数前面加上virtual关键字，变成虚函数
		//那么编译器在编译的时候就不能确定函数调用了 
		virtual void species(){		//虚函数 
			cout<<"animal"<<endl;
		}
};
class Cat:public Animal{
	public:
		void species(){
			cout<<"cat"<<endl;
		}
};

总结：
多态满足条件：
有继承关系
子类重写父类中的虚函数
多态使用条件：
父类指针或引用指向子类对象

1.2 纯虚函数和抽象类
纯虚函数语法：virtual 返回值类型 函数名（参数列表）=0;
当类中有了纯虚函数，这个类也称为抽象类
抽象类特点：
无法实例化对象
子类必须重写抽象类中的纯虚函数，否则也属于抽象类

class Animal{
	public:
		virtual void species()=0;	//纯虚函数 
};

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

class Animal{
	public:
		virtual void species()=0;	//纯虚函数 
		//由于子类有属性开辟在堆区，如果父类不使用虚析构则无妨释放子类内存空间
		//virtual ~Animal（）=0；但是纯虚析构需要实现
		virtual ~Animal(){		//虚析构 
			cout<<"Animal的析构函数"<<endl;
		}
};
//Animal::~Animal(){
//	cout<<"纯虚析构"<<endl;
//}	//纯虚析构的实现
class Cat:public Animal{
	public:
		Cat(string name){
			m_name=new string(name);
		}
		~Cat(){
			if(m_name!=NULL){
				cout<<"Cat的析构函数"<<endl;
				delete m_name;
				m_name=NULL;
			}
		}
		void species(){
			cout<<"cat "<<*m_name<<endl;
		}
		string *m_name;
};

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