C++虚函数与多态总结

一、虚函数和动态联编

• 冠以关键字virtual的成员函数称为虚函数
• 虚函数允许函数调用与函数体的联系在运行时才进行，称为动态联编
  
• 实现运行时多态的关键首先是要说明虚函数，另外，必须用基类指针调用派生类的不同实现版本
  

#include<iostream>
using namespace std ;
class  Base
{ public :       Base(char xx)  { x = xx; }
                      virtual void who()  { cout << "Base class: " << x << "\n" ; }//基类定义虚函数
   protected:    char x;
} ;
class  First_d : public  Base
{ public :       First_d(char xx, char yy):Base(xx)  { y = yy; }
                      void who()  { cout << "First derived class: "<< x << ", " << y << "\n" ; }
   protected:    char y;
} ;
class  Second_d : public  First_d
{ public :
      Second_d( char xx, char yy, char zz ) : First_d( xx, yy ) { z = zz; } 
      void who()  { cout<<"Second derived class: "<<x<<", "<<y<<", "<<z<<"\n" ; }
  protected:    char z;
} ;
int main()
{ Base  B_obj( 'A' ) ;   First_d F_obj( 'T', 'O' ) ;  Second_d S_obj( 'E', 'N', 'D' ) ;
   Base  * p ;
   p = & B_obj ;    p -> who() ;//A
   p = &F_obj ;     p -> who() ;//T,O
   p = &S_obj ;     p -> who() ;//E,N,D

}

注意：

• 一个虚函数，在派生类层界面相同的重载函数都保持虚特性
  
• 虚函数必须是类的成员函数
  
• 不能将友元说明为虚函数，但虚函数可以是另一个类的友元
  
• 析构函数可以是虚函数，但构造函数不能是虚函数
  

二、虚函数的重载特性

• 在派生类中重载基类的虚函数要求函数名、返回类型、参数个数、参数类型和顺序完全相同
  

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，仅返回类型不同
      void f ( ) ; // 非虚函数重载

 } ;

void  g ( ) 
{ derived   d ;
   base  * bp = & d ;        // 基类指针指向派生类对象
   bp -> vf1 ( ) ;        // 调用 deriver :: vf1 ( )
   bp -> vf2 ( ) ;        // 调用 base :: vf2 ( )
   bp -> f ( ) ;        // 调用 base :: f ( )

} ;

三、虚析构函数

• 析构函数可以是虚函数，但构造函数不能是虚函数

四、纯虚函数和抽象类

• 纯虚函数说明形式：
   virtual  类型  函数名（参数表）= 0 ;
  
• 一个具有纯虚函数的基类称为抽象类。
  

纯虚函数的作用：在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做，要求任何派生类都定义自己的版本。

#include<iostream>
using namespace std ;
class Number
{ public :      Number (int i) { val = i ; }
                    virtual void Show() = 0 ;
  protected:  int val ;
};
class Hex_type : public Number
{ public:    Hex_type(int i) : Number(i) { }
             void Show()  { cout << "Hexadecimal:" << hex << val << endl ; }
};
class Dec_type : public Number
{ public:    Dec_type(int i) : Number(i) { }
             void Show()  { cout << "Decimal: " << dec << val << endl ; }
};
class Oct_type : public Number
{ public:    Oct_type(int i) : Number(i) { }
             void Show()  { cout << "Octal: " << oct << val << endl ; }

}; 

void fun( Number & n ) // 抽象类的引用参数
{  n.Show() ; } 
int main()
{ Dec_type n1(50);
   fun(n1); // Dec_type::Show()
   Hex_type n2(50);
   fun(n2); // Hex_type::Show()
  Oct_type n3(50);
   fun(n3); // Oct_type::Show()
}