多态的理解

**静态多态和动态多态
多态的原理**
当类中声明虚函数时，编译器会在类中生成一个虚函数表。
虚函数表是一个存储类成员函数指针的数据结构。
虚函数表是由编译器自动生成与维护的。
virtual成员函数会被编译器放入虚函数表中
当存在虚函数时，每个对象中都有一个指向虚函数表的指针（C++编译器给父类对象、子类对象提前布局vptr指针；当进行howToPrint(Parent *base)函数是，C++编译器不需要区分子类对象或者父类对象，只需要再base指针中，找vptr指针即可。）VPTR一般作为类对象的第一个成员。
多态的理解：同样的调用语句有多种不同的变现形式。同样的函数在不同的子类和父类中穿梭的时候表现不同的形态。
静态多态：函数重载和运算符重载等属于静态多态，其在程序编译时决定调用那个函数，又称编译时的多态性，静态多态性是通过函数的重载实现的。
动态多态是在程序运行过程中才动态的确定操作所针对的对象，又称运行时的多态性。动态多态性是通过虚函数实现的。
Virtual的理解：
virtual 是告诉编译器要动态联编环视静态联编，动态联编是指：程序在运行的时候确定执行子类还是父类的成员函数。静态联编：是指编译器在编译时候确定是如何执行这个函数的。
虚函数
声明虚函数的格式：
Class 类名{virtual void show(){函数的实现体}}，会在派生类中重新定义实现该虚函数。
虚函数的作用：运行在派生类中重新定义与基类同名的函数，并且可以可以通过基类指针或者引用来访问基类和派生类中的同名函数。（允许在派生类中对基类的虚函数重新定义）。
虚函数和多态性使成员函数根据调用对象的类型产生不同的动作。
多态性特别适合于实现分层结构的软件系统，便于对问题抽象时定义共性，实现时定义区别。
在派生类中重新定义与基类同名的函数，要求函数名、函数类型、函数参数个数和类型全部与基类的虚函数相同，并根据派生类的需要重新定义函数体。
什么情况下应声明虚函数：
注意：只能用virtual声明类的成员函数，不能讲类外的不同函数声明为虚函数。
当一个类带有虚函数时，编译系统会为该类构造一个虚函数表，简称（vtable），它是一个指针数组，存放每个虚函数的入口地址。
纯虚函数
纯虚函数：含有纯虚函数的类称为抽象基类，抽象基类不能实例化。也就是不能创建对象。（凡是在父类中声明的纯虚函数，）
纯虚函数只有声明没有实现，”初始化“为0,这个初始化0等于表示：告诉编译器这个函数为纯虚函数，它是一个声明语句，其只能作为父类，被继承。
其的意义和Java中的interface基本相同。纯虚函数的作用是：在基类中为派生类保留一个函数的名字，以便派生类根据需要进行定义。

声明纯虚函数的限制
声明格式：virtual void show() = 0;它是一个声明语句，其只能作为父类，被继承，实现多态。
1、只有类的成员函数才能声明为虚函数。虚函数仅适用于有继承关系的类对象，所以普通函数不能声明为虚函数。
2、静态成员函数不能是虚函数，静态成员函数不受对象的捆绑，只有类的信息。
3、内联函数不能是虚函数
4、构造函数不能是虚函数，构造时，对象的创建尚未完成。构造完成后，才能算一个名符其实的对象。
5、析构函数可以是虚函数且通常声明为虚函数

---

番外篇

**

类型识别

**
typeid 用于返回表达式的类型，当类型含有虚函数时，编译器才会对表达式求值。
dynamic_cast 用于将基类的指针或者引用安全的转换成派生类的指针或者引用。使得能够在类层次结构中进行向上转换（由于is a 的关系，这样的类型转换时安全的）而不允许其它的类型转换。
const_cast运算符的用于执行只有一种用途的类型转换，即改变值为const或者volatile，其语法和dynamic_cast相同。