C++学习笔记——多态

多态是C++面向对象三大特性之一

动态多态的函数地址晚绑定

多态分为两类：
静态多态：函数重载和运算符重载属于静态多态，复用函数名
动态多态：派生类和虚函数实现运行时多态

静态多态和动态多态区别：
静态多态的函数地址早绑定-编译阶段确定函数地址
动态多态的函数地址晚绑定-运行阶段确定函数地址
动态多态满足条件
1、有继承关系
2、子类重写父类的虚函数

#include <iostream>
#include <string>

using namespace std;
class Animal
{
public:
	virtual void speak()//虚函数 实现地址晚绑定
	{
		cout << "动物在说话" << endl;
	}
};
class Cat:public Animal
{
public:
	//重写：函数返回值类型 函数名 参数列表 完全相同
	//当子类重写父类虚函数
	//子类中的虚函数表 内部 会替换成子类的虚函数地址 
	virtual void speak()//这里的 virtual可写可不写
	{
		cout << "猫在说话" << endl;
	}
};
//动态多态调用
//父类的指针或引用  指向子类对象
void doSpeak(Animal &animal)//Animal &animal = cat;
{
	animal.speak();
}
void test01()
{
	Cat cat;
	doSpeak(cat);
}
int main()
{
	test01();
	system("pause");
	return 0;
}

在上面程序执行说话的函数，
如果地址早绑定，在编译阶段确定函数地址，会让动物说话；
如果想让猫说话，那么这个函数地址就不能提前绑定，需要在运行阶段进行绑定，即地址晚绑定

纯虚函数和抽象类

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

#include <iostream>
#include <string>

using namespace std;
class Base
{
public:
	//只要有一个纯虚函数，这个类就称为抽象类
	virtual void fun() = 0;
};
class Son : public Base
{
public:
	//子类必须重写抽象类中的纯虚函数，否则也属于抽象类
	virtual void fun() {
		cout << "Son->fun()调用" << endl;
	}
}; 
void test01()
{
	Base *a = new Son;
	a->fun();
	delete a; 
}
int main()
{
	test01();
	system("pause");
	return 0;
}

虚析构和纯虚析构

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

#include <iostream>
#include <string>

using namespace std;

class Animal
{
public:
	Animal()
	{
		cout << "Animal构造函数调用" << endl;
	}
	virtual void speak() = 0;
	//virtual ~Animal()
	//{
	//	cout << "Animal虚析构函数调用" << endl;
	//}
	//有了纯虚析构后，这个类也属于抽象类，无法实例化对象
	virtual ~Animal() = 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 test01()
{
	Animal *cat = new Cat("Tom");
	cat->speak();
	//父类指针在析构时，不会调用子类中析构函数，导致子类如果有堆区属性，出现内存泄露
	//解决：将父类 析构 改为 虚析构
	delete cat;
}
int main()
{
	test01();
	system("pause");
	return 0;
}