虚函数与多态总结

虚函数与多态性

1.多态性是指一个名字，多种语义；或界面相同，多种实现。

2.重载函数是多态性的一种简单形式。

3.虚函数允许函数调用与函数体的联系在进行时才进行，成为多态联编。

4.冠以关键词virtual的成员函数称为虚函数

5.实现运行时多态的关键首先是要说明虚函数，另外，必须用基类指针调用派生类的不同实现版本

基类指针虽然获取派生类对象地址，却只能访问派生类从基类继承的成员

#include<iostream>
using namespace std ;
class  Base
{ public :       Base(char xx)  { x = xx; }
                      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() ;
   p = &F_obj ;     p -> who() ;
   p = &S_obj ;     p -> who() ;
   F_obj.who() ;
   ( ( Second_d * ) p ) -> who() ;
}

注意：

1.一个虚函数，在派生类层界面相同的重载函数都保持虚特性

2.虚函数必须是类的成员函数

3.不能将友元说明为虚函数，但虚函数可以是另一个类的友元

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

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

6.如果仅仅返回类型不同，C++认为是错误重载

7.如果函数原型不同，仅函数名相同，丢失虚特性

虚析构函数

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

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

说明：

1.派生类应该从它的基类公有派生。

2.必须首先在基类中定义虚函数。

3.派生类对基类中声明虚函数重新定义时，关键字virtual可以不写

4.一般通过基类指针访问虚函数时才能体现多态性

5.一个虚函数无论被继承多少次，保持其虚函数特性

6.虚函数必须是其所在类的成员函数，而不是友元函数，也不能是友元函数，也不能是静态函数

7.构造函数、内联成员函数、静态成员函数不能是虚函数（虚函数不能以内联的方式进行处理）

8.析构函数可以是虚函数，通常声明为虚函数

纯虚函数和抽象类

1.纯虚函数是一个在基类中说明的虚函数，在基类中没有定义，要求任何派生类都定义自己的版本

2.纯虚函数为各派生类提供一个公公界面

3.纯虚函数说明形式;

    virtual 类型 函数名（参数表）=0；

4.一个具有纯虚函数的基类称为抽象类

#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()
}