简谈多态

一、多态的概念

1.通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。
2.定义：多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。

二、多态的构成条件

1.必须通过基类的指针或引用调用虚函数
2.被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写
3.虚函数的重写(覆盖)：派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同)，称子类的虚函数重写了基类的虚函数。
4.虚函数重写的两个例外：
（1）协变(基类与派生类虚函数返回值类型不同)
派生类重写基类虚函数时，与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用，派生类虚函数返回派生类对象的指针或引用时，称为协变
（2） 析构函数的重写(基类与派生类析构函数的名字不同)如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor。

三、重写、重载、重定义的区别

四、多态的原理

当类里有一个函数被声明成虚函数后，创建这个类的对象的时候，就会自动加入一个__vfptr的指针，__vfptr维护虚函数列表。如果有三个虚函数，则__vfptr指向的是第一个虚函数，__vfptr+1指向的是第二个虚函数，__vfptr+2指向的是第三个虚函数。当子类覆盖了父类的虚函数后，__vfptr+n就不是指向父类的虚函数了，而是指向的子类的函数。所以当我们用父类的指针或者引用去调用被覆盖的虚函数时，才能够调用到子类的函数。

1. 每一个类都有虚表。
2. 虚表可以继承，如果子类没有重写虚函数，那么子类虚表中仍然会有该函数的地址，只不过这个地址指向的是基类的虚函数实现。如果基类有3个虚函数，那么基类 的虚表中就有三项（虚函数地址），派生类也会有虚表，至少有三项，如果重写了相应的虚函数，那么虚表中的地址就会改变，指向自身的虚函数实现。如果派生类 有自己的虚函数，那么虚表中就会添加该项。
3. 派生类的虚表中虚函数地址的排列顺序和基类的虚表中虚函数地址排列顺序相同。