C++ 多态 与虚函数的介绍与理解

本文主要阐述三点，

1.多态的概念 

2.如何重写虚函数达到多态的目的 

3.虚函数使用的一些注意事项

多态：通过重载和覆盖父类的成员函数（一般应用为覆盖父类虚函数），来实现对象调用同一个方法时产生不同的行为。

C++支持两种多态性：编译时多态性，运行时多态性。

a. 编译时多态性：通过函数重载、重写、模板来实现。

b. 运行时多态性：通过虚函数继承实现。

 

虚函数：

       虚函数：实现运行时多态，由子类覆盖（重写）父类的函数来实现。

       例子：

       ClassBase()｛

              Base(){}

              Virtual~Base(){}//虚函数

              Virtualvoid Say()=0;//纯虚函数 声明= 0 加逗号，定义不需要

       ｝

       ClassA()：public Base｛

              A(){}

              Virtual~ A ();

              Virtualvoid Say (){cout<<"I am A "<<endl}

       ｝

       ClassB()：public Base｛

              B(){}

              Virtual~ B ();

              Virtualvoid Say (){cout<<"I am B "<<endl}

       ｝

       voidSay(Base *base){

       base->Say();//因为重载了虚函数，这边不需要知道传进来实际new的对象是什么，用基类的指针就可以调用对应new的对象的虚函数，实现运行时多态

       }

       main(){

              //Base*base = new Base;// error 包含纯虚函数不能被实例化

              Base*a = new A;//ok new 一个A类的对象赋值给Base类对象a，把A的虚拟表覆盖掉Base的虚函数，也可以理解a中存的是A的虚拟表

              Base*b = new B;//ok同上

              A->Say();//Iam A

              B->Say();//Iam B

              deleteA;//调用子类A的析构，若无重写析构 则调用基类对象的析构函数

              deleteB; //调用子类B的析构，同上

       }

问题：

       构造函数不能声明为虚函数，析构函数可以声明为虚函数？

       1构造一个对象的时候，必须知道对象的具体类型，才能构造，而虚函数表在对象构造前是不确定的。

       2虚函数的执行依赖于虚函数表。而虚函数表在构造函数中进行初始化工作，即初始化vptr，让他指向正确的虚函数表。析构函数设为虚函数的作用：在类的继承中，如果有基类指针指向派生类，那么用基类指针delete时，如果不定义成虚函数，派生类中自定义的那部分数据（如new 的数据)无法析构。

       3.有虚函数的类，几乎可以确定要有个虚析构函数。

       4.如果一个类不可能是基类就不要申明析构函数为虚函数，虚函数是要耗费空间的。

纯虚函数：声明 virtual TypeName Function()= 0; ( = 0 告诉编译器这是个纯虚函数的声明，等待子类实现。)包含纯虚函数的类不能实例化。[注： VS编译器 MSCV直接声明virtualTypeName Function(); 会报错误 ]

       纯虚函数作用：子类必须要重载全部基类的纯虚函数才能实例化，接口类（只定义接口，不做任何实现）使用纯虚函数定义，声明一种强制的标准，规范开发过程的作用。