虚函数和纯虚函数

什么是虚函数
       简单地说，那些被virtual关键字修饰的 成员函数，就是虚函数。虚函数的作用，用专业术语来解释就是实现多态性（Polymorphism），多态性是将接口与实现进行分离；用形象的语言来解释就是实现共同的方法，但因个体差异而采用不同的策略。虚函数必须是 基类的非静态成员函数，其访问权限可以是protected或public。
        虚函数的作用是实现动态联编，也就是在程序的运行阶段动态地选择合适的成员函数，在定义了虚函数后，可以在基类的派生类中对虚函数重新定义， 在派生类中重新定义的函数应与虚函数具有相同的形参个数和形参类型。 以实现统一的接口，不同定义过程。 如果在派生类中没有对虚函数重新定义，则它继承其基类的虚函数。当程序发现虚函数名前的关键字virtual后，会自动将其作为动态联编处理，即在程序运行时动态地选择合适的成员函数。
         动态联编规定，只能通过指向基类的指针或基类对象的引用来调用虚函数，其格式：
　　指向基类的指针变量名->虚函数名（实参表）
　　或 基类对象的引用名. 虚函数名（实参表）
　　 虚函数是C++多态的一种表现。
　　例如：子类继承了父类的一个函数（方法），而我们把父类的指针指向子类，则必须把父类的该函数（方法）设为virtual（虚函数)。

虚函数的实例
　　#include<iostream.h>
　　class Cshape
　　{ public: void SetColor( int color) { m_nColor=color;}
　　void virtual Display( void) { cout<<"Cshape"<<endl; }
　　private:
　　int m_nColor;
　　};
　　class Crectangle: public Cshape
　　{
　　public:
　　void virtual Display( void) { cout<<"Crectangle"<<endl; }
　　};
　　class Ctriangle: public Cshape
　　{
　　void virtual Display( void) { cout<<"Ctriangle"<<endl; }
　　};
　　class Cellipse :public Cshape
　　{
　　public: void virtual Display(void) { cout<<"Cellipse"<<endl;}
　　};
　　void main()
　　{
　　Cshape obShape;
　　Cellipse obEllipse;
　　Ctriangle obTriangle;
　　Crectangle obRectangle;
　　 Cshape * pShape[4]=
　　{ &obShape, &obEllipse,&obTriangle, & obRectangle };
　　for( int I= 0; I< 4; I++)
　　pShape[I]->Display( );
　　}
　　本程序运行结果：
　　Cshape
　　Cellipse
　　Ctriangle
　　Crectangle
所以，从以上程序分析， 实现动态联编需要三个条件：
　　1、 必须把动态联编的行为定义为类的虚函数。
　　2、 类之间存在子类型关系，一般表现为一个类从另一个类公有派生而来。
　　3、 必须先使用基类指针指向子类型的对象，然后直接或者间接使用基类指针调用虚函数。

虚函数和纯虚函数
　　使用虚函数，我们可以灵活的进行动态绑定，当然是以一定的开销为代价。 如果父类的函数（方法）根本没有必要或者无法实现，完全要依赖子类去实现的话，可以把此函数（方法）设为virtual 函数名=0 我们把这样的函数（方法）称为纯虚函数。
1． 虚函数和纯虚函数可以定义在同一个类(class)中， 含有纯虚函数的类被称为抽象类（abstract class），而只含有虚函数的类（class）不能被称为抽象类（abstract class）。
2． 虚函数可以被直接使用，也可以被子类（sub class）重载以后以多态的形式调用，而 纯虚函数必须在子类（sub class）中实现该函数才可以使用，因为纯虚函数在基类（base class）只有声明而没有定义。
3． 虚函数和纯虚函数都可以在子类（sub class）中被重载，以多态的形式被调用。
4． 虚函数和纯虚函数通常存在于抽象基类（abstract base class -ABC）之中，被继承的子类重载，目的是提供一个统一的接口。
5． 虚函数的定义形式：virtual    {method body} 
       纯虚函数的定义形式：virtual    { } = 0; 
       在虚函数和纯虚函数的定义中不能有static标识符，原因很简单，被static修饰的函数在编译时候要求前期bind,然而虚函数却是动态绑定（run-time bind），而且被两者修饰的函数生命周期（life recycle）也不一样。
6. 如果一个类中含有纯虚函数，那么任何试图对该类进行实例化的语句都将导致错误的产生，因为抽象基类（ABC）是不能被直接调用的。必须被子类继承重载以后，根据要求调用其子类的方法。

定义虚函数的限制
（1） 非类的成员函数不能定义为虚函数，类的成员函数中 静态成员函数和 构造函数也不能定义为虚函数，但可以将析构函数定义为虚函数。实际上，优秀的程序员常常把基类的析构函数定义为虚函数。因为， 将基类的析构函数定义为虚函数后，当利用delete删除一个指向派生类定义的对象指针时，系统会调用相应的类的析构函数。而不将析构函数定义为虚函数时，只调用基类的析构函数。
（2）只需要在声明函数的类体中使用关键字“virtual”将函数声明为虚函数，而定义函数时不需要使用关键字“virtual”。
（3）当将基类中的某一成员函数声明为虚函数后，派生类中的同名函数自动成为虚函数。
（4） 如果声明了某个成员函数为虚函数，则在该类中不能出现和这个成员函数同名并且返回值、参数个数、类型都相同的非虚函数。在以该类为基类的派生类中，也不能出现这种同名函数。