多态的简单概括

本文所有代码均在windows8的VS2013平台上测试

1.什么是多态：

                多态简单的说就是一种事物具有多种形式或者形态的特征；通俗的来讲就是一个事物有多种形态，eg:水在不同的温度下有三种状态（固态、液态、气态）。生活中这种例子非常多，在我们学习C++的过程中多态也是一种面向对象编程的一种不可缺少的特性。

2.多态的分类：

            多态从系统实现的角度来看分为：静态多态和动态多态，静态多态有又分为函数重载和模板（又叫泛型编程），动态多态主要使我们这次要讲的虚函数。

3.什么是静态多态：

     静态多态就是在编译器编译期间完成的，编译器根据实参的类型（包括隐式的类型转换）可确定该变量或者参数的类型，同时由此也能确定函数在执行的时候要调用那个函数，因此又称编译时的多态性。有对应的函数就调用对应的函数，否则就出现编译错误。

a.根据编译器的推断调用对应类型的函数

b.函数重载

c.模板

详细内容见下一博客;

我们知道，C++继承中有赋值兼容，即基类指针可以指向子类，那么为什么还会出现基类指针指向子类或者基类对象引用子类对象，却调用基类自己的fun函数打印Base::fun()呢？这就是我们上面讲的静态联编，在编译时期就将函数实现和函数调用关联起来，不管是引用还是指针在编译时期都是Base类的自然调用Base类的fun()。为了避免这种情况，我们引入了动态多态。
所谓的动态多态是通过继承+虚函数来实现的，只有在程序运行期间(非编译期)才能判断所引用对象的实际类型，根据其实际类型调用相应的方法。具体格式就是使用virtual关键字修饰类的成员函数时，指明该函数为虚函数，并且派生类需要重新实现该成员函数，编译器将实现动态绑定。
在上面的代码如果我们在基类的fun函数前加virtual即可实现动态绑定：

4.什么是动态多态

    和静态多态最大的区别是：动态多态是在程序具体的执行期间才能判断出所引用的实际类型，进而才能确定要调用那个函数，因此又称运行时的多态性。

我们知道，C++继承中有赋值兼容，即基类指针可以指向子类，那么为什么还会出现基类指针指向子类或者基类对象引用子类对象，却调用基类自己的fun函数打印Base::fun()呢？这就是我们上面讲的静态联编，在编译时期就将函数实现和函数调用关联起来，不管是引用还是指针在编译时期都是Base类的自然调用Base类的fun()。为了避免这种情况，我们引入了动态多态。
所谓的动态多态是通过继承+虚函数来实现的，只有在程序运行期间(非编译期)才能判断所引用对象的实际类型，根据其实际类型调用相应的方法。具体格式就是使用virtual关键字修饰类的成员函数时，指明该函数为虚函数，并且派生类需要重新实现该成员函数，编译器将实现动态绑定。
在上面的代码如果我们在基类的fun函数前加virtual即可实现动态绑定：

利用虚函数实现动态多态性

需要注意的是：【动态绑定条件】
1、必须是虚函数
2、通过基类类型的引用或者指针调用虚函数
缺一不可！！！

另外补充一点：

我们知道C++中虚函数允许子类重新定义成员函数，而子类重新定义父类的做法称为覆盖(override)，或者称为重写。在这里我觉得有必要要明白几个概念的区别：即重载，重写（覆盖），以及重定义（同名隐藏）。
所谓重载是指在同一作用域中允许有多个同名函数，而这些函数的参数列表不同，包括参数个数不同，类型不同，次序不同，需要注意的是返回值相同与否并不影响是否重载。比如int fun()和void fun()不构成重载，连编译都不过去，给出的提示是无法重载仅按返回类型区分的函数。
而重写（覆盖）和重定义（同名隐藏）则有点像，区别就是在写重写的函数是否是虚函数，只有重写了虚函数的才能算作是体现了C++多态性，否则即为重定义，在之前的代码中，我们看到子类继承了基类的fun()函数，若是子类没有fun函数，依旧会调用基类的fun函数，若是子类已重定义，则调用自己的fun函数，这就叫做同名隐藏，当然此时如果还想调用基类的fun函数，只需在调用fun函数前加基类和作用域限定符即可。综上他们的关系和区别如下图表明：

纯虚函数

在成员函数的形参后面写上=0，则成员函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。纯虚函数必须在派生类中重新定义以后，派生类才能实例化出对象。

抽象类往往用于这样的情况，它可以方便我们使用多态特性，且在很多情况下，基类本身生成对象是不合情理的，我们知道所有的对象都是通过类来描绘的，但是反过来却不是这样。并不是所有的类都是用来描绘对象的，如果一个类中没有包含足够的信息来描绘一个具体的对象，这样的类就要使用抽象类，就像一个水果类可以派生出橘子香蕉苹果等等，但是水果类本身定义对象并不合理也没有必要。

要点

1、派生类重写基类的虚函数实现多态，要求函数名、参数列表、返回值完全相同。(协变除外)
2、基类中定义了虚函数，在派生类中该函数始终保持虚函数的特性。
3、只有类的非静态成员函数才能定义为虚函数，静态成员函数和友元函数不能定义为虚函数。
4、如果在类外定义虚函数，只能在声明函数时加virtual关键字，定义时不用加。
5、构造函数不能定义为虚函数，虽然可以将operator=定义为虚函数，但最好不要这么做，使用时容
易混淆。
6、不要在构造函数和析构函数中调用虚函数，在构造函数和析构函数中，对象是不完整的，可能会
出现未定义的行为。
7、最好将基类的析构函数声明为虚函数。(析构函数比较特殊，因为派生类的析构函数跟基类的析构
函数名称不一样，但是构成覆盖，这里编译器做了特殊处理)。
8、虚表是所有类对象实例共用的。

最后看一组代码：

我们知道一个空类占一个字节，那为什么加了virtual关键字就变成了4？
这是因为每个有虚函数的类或者虚继承的子类，编译器都会为它生成一个虚拟函数表（简称：虚表），表中的每一个元素都指向一个虚函数的地址。（注意：虚表是从属于类的）
此外，编译器会为包含虚函数的类加上一个成员变量，是一个指向该虚函数表的指针（常被称为vptr），每一个由此类别派生出来的类，都有这么一个vptr。虚表指针是从属于对象的。也就是说，如果一个类含有虚表，则该类的所有对象都会含有一个虚表指针，并且该虚表指针指向同一个虚表。因此这里的4是指针的大小。