类和对象-多态

一、多态的基本概念

多态是C++面向对象三大特性之一，其主要分为：
1、静态多态：函数重载和运算符重载
2、动态多态：派生类和虚函数实现运行时多态

静态多态和动态多态区别：
1、静态多态的函数地址早绑定-编译阶段确定函数地址
2、动态多态的函数地址晚绑定-运行阶段确定函数地址

实际举例：

class Animal
{
public:
	void Speak()
	{
		cout << "动物在说话" << endl;
	}
};

class Cat :public Animal
{
public:
	void Speak()
	{
		cout << "小猫在说话" << endl;
	}
};

void DoSpeak(Animal & animal)
{
	animal.Speak();
}

void test01()
{
	Cat cat;
	DoSpeak(cat);
}
int main() 
{
	test01();
	system("pause");
	return 0;
}

此时DoSpeak函数中接收animal的引用，但在test01中我们传入的是子类的对象，我们期待输出的是“小猫在说话”。但实际上得到的是“动物在说话”。这是因为此时函数地址在编译阶段就已经确定，我们需要在父类的说话函数前加上virtual，即:

class Animal
{
public:
	virtual void Speak()
	{
		cout << "动物在说话" << endl;
	}
};

实现函数地址的晚绑定。

总结动态多态的满足条件：
1、有继承关系
2、子类重写父类虚函数
（函数返回值类型 函数名 参数列表 完全一致称为重写）

动态多态的使用：
父类的指针或者引用，执行子类对象

二、多态的原理剖析

在定义Animal类时，虚函数会生成vfptr指针指向虚函数表，此时sizeof(Animal)会返回指针的内存大小：4。而在子类重写时，vfptr指针的指向会被重置，指向新的内容，因此调用时不会输出父类函数中的内容。

三、纯虚函数和抽象类

在多态中，通常父类中虚函数的实现是毫无意义的，主要都是调用子类重写的内容。

因此可以将虚函数改为纯虚函数

纯虚函数语法：virtual 返回值类型 函数名 (参数列表) = 0;

当类中有了纯虚函数，这个类也称为抽象类。

抽象类特点：
1、无法实例化对象。
2、子类必须重写抽象类中的纯虚函数，否则也属于抽象类。

四、虚析构和纯虚析构

多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用到子类的析构代码。

解决方式：将父类中的析构函数改为虚析构和纯虚析构。

虚析构和纯虚析构共性：
1、可以解决父类指针释放子类对象。
2、都需要有具体的函数实现。

二者区别：
如果是纯虚析构，该类属于抽象类，无法实例化对象。

利用虚析构可以解决 父类指针释放子类对象时不干净的问题。