C++多态

多态性是面向对象程序设计的关键技术之一。若程序设计语言不支持多态性，不能称为面向对象的语言。
多态性 (polymorphism)多态性是考虑在不同层次的类中，以及在同一类中，同名的成员函数之间的关系问题。
函数的重载，运算符的重载，属于编译时的多态性
以类的虚成员函数为基础的运行时的多态性，是面向对象程序设计的标志性特征。 体现了类推和比喻的思想方法

C++有俩种多态形式：
1.编译时的多态。函数的重载或者运算符的重载就是编译时的多态

2.运行时的多态。虚函数为运行时的多态。运行时候的多态是指，程序执行之前，编译器无法确定程序设计者需要调用哪个函数，但是当程序运行过程中，通过运行时候的类型识别就可以判断出该调用哪个函数。

class Person
{
public:
	virtual void Dance()
	{
		cout << "Dance" << endl;
	}
	virtual void Talk()
	{
		cout << "Talk" << endl;
	}
};

class Student: public Person
{
public:
	void Dance()
	{
		cout << "Student Dance" << endl;
	}
	void Study()
	{
		cout <<"Study" << endl;
	}
};

int main()
{
	Student st;
	Person& p = st;
	p.Dance();
	p.Talk();
	Student* t = &st;
	t->Dance();
	t->Study();
	t->Talk();
}

对于相关的类型，确定它们之间的一些共同特征，(属性和方法)，将共同特征被转移到基类中然后在基类中，把这些共同的函数或方法声明为公有的虚函数接口。然后使用派生类继承基类，并且在派生类中重写这些虚函数，以完成具体的功能。这种设计使得共性很清楚，避免了代码重复，将来容易增强功能，并易于长期维护。

虚函数是一个类的成员函数，定义格式如下:
virtual 返回类型函数名 (参数表)
关键字virtual指明该成员函数为虚函数。只能将类的成员函数定义为虚函数。当某一个类的成员函数被定义为虚函数，则由该类派生出来的所有派生类中，该函数始终保持虚函数的特征。

虚函数定义规则：
1.派生类中定义虚函数必须与基类中的虚函数同名外，还必须同参数表，同返回类型。否则被认为是同名覆盖，不具有多态性。如基类中返回基类指针，派生类中返回派生类指针是允许的，这是一个例外 (协变)。
2.只有类的成员函数才能说明为虚函数。这是因为虚函数仅适用于有继承关系的类对象。友元函数和全局函数也不能作为虚函数。
3.静态成员函数，是所有同一类对象共有，不受限于某个对象，不能作为虚函数.
4.内联函数每个对象一个拷贝，无映射关系，不能作为虚函数。
5.构造函数和拷贝构造函数不能作为虚函数。构造函数和拷贝构造函数是设置虚表指针.6.析构函数可定义为虚函数，构造函数不能定义函数，因为在调用构造函数时对象还没有完成实例化(虚表指针没有设置)。在基类中及其派生类中都动态分配的内存空间时，必须把析构函数定义为虚函数，实现撤消对象时的多态性。
7.实现运行时的多态性，必须使用基类类型的指针变量或引用，使该指针指向该基类的不同派生类的对象，并通过该指针指向虚函数，才能实现运行时的多态性。8.在运行时的多态，函数执行速度要稍慢一些:为了实现多态性,每一个派生类中均要保存相应虚函数的入口地址表,函数的调用机制也是间接实现。所以多态性总是要付出一定代价,但通用性是一个更高的目标。
9.如果定义放在类外，virtual只能加在函数声明前面，不能(再)加在函数定义前面。正确的定义必须不包括virtual.

运行时多态的原理：

 当程序需要调用虚函数的时候（必须是基类的指针或者引用来调用），就会查虚表，从而实现运行时的多态。虚表指针只有一份，但是虚表可以有好多份。

虚函数指针表存储在只读数据段 (.rodata)
//虚函数指针表简称虚表， 虚表就是虚函数指针的集合//虚表本质是一个存储虚函数指针的指针数组//这个数组的首元素之上存储RTTI(运行时类型识别信息的指针)//从数组下标0开始依次存储虚函数地址，最后面放了一个nullptr。//虚表存储在只读数据段 (.rodata)
//类型设计中定义了虚函数，此类型就有了对应的虚表(vftable)//v代表virtual,f代表function,table代表表，数组
//使用此类型定义的对象就含有一个指向虚表的指针，名字是 vfptr//v代表virtual,f代表function,ptr 代表指针。//vfptr 存储在对象中。

代码运行结果：