虚函数与多态性复习总结

多态性是指一个名字，多种语义；或界面相同，多种实现。函数重载就是多态性的一种简单形式。

虚函数：

   在成员函数前面加上virtual的成员函数称为虚函数。但是要注意，一旦一个成员函数被说明为虚函数，那么不管经历多少次派生类层次，所有界面的重载函数都保持虚特性。虚函数必须是类的成员函数。不能将友元说明为虚函数，但虚函数可以是另一个类的友元。析构函数可以是虚函数，但构造函数不能是虚函数。

  实现运行时多态的关键首先是要说明虚函数，另外，必须用基类指针调用派生类的不同实现版本。如果不是虚函数的话，基类指针虽然获取派生类对象地址，却只能访问派生类从基类继承的成员。 一般通过 基类指针访问虚函数时才能体现多态性。

虚函数的重载特性：

  如果基类函数定义为虚函数，那么则可以通过基类的对象访问不同派生类的重载函数。

class  base

{public :

      virtual void vf1 ( ) ;

      virtual  void vf2 ( ) ;

      virtual  void vf3 ( ) ;

      void f ( ) ;

 } ;

class  derived : public  base

{

     public :

      void  vf1 ( ) ;  // 虚函数

      void  vf2 ( int ) ;  // 重载，参数不同，虚特性丢失

      char  vf3 ( );  // error，仅返回类型不同

      voidf ( );  // 非虚函数重载

 } ;

void  g ( )

{

  derived   d ;

   base * bp = & d ;        // 基类指针指向派生类对象

   bp-> vf1 ( ) ;          // 调用 deriver :: vf1 ( )

   bp -> vf2 ( ) ;          // 调用 base :: vf2 ( )

   bp -> f ( ) ;          // 调用 base :: f ( )

};

构造函数不能是虚函数。建立一个派生类对象时，必须从类层次的根开始，沿着继承路径逐个调用基类的构造函数。

析构函数可以是虚的。虚析构函数用于指引delete运算符正确析构动态对象。

纯虚函数和抽象类：

  纯虚函数是一种特殊的虚函数，在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做。这就是纯虚函数的作用。纯虚函数如果在基类中没有定义，那么要求派生类都定义自己的版本。纯虚函数为各派生类提供一个公共界面。一个具有纯虚函数的基类称为抽象类。

    纯虚函数说明形式： virtual  类型  函数名（参数表）=0;

class  shape ；  // 抽象类

{  

  ...

public:

  virtual  void rotate ( int ) = 0 ;   // 纯虚函数

  virtual  void draw ( ) = 0 ;    // 纯虚函数

};

抽象类不可以建立对象，不能作为函数返回类型，不能作为传值参数类型，但是可以声明抽象类的指针，可以声明抽象类的引用。