第九章 虚函数与多态

虚函数与多态性：

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

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

 虚函数允许函数调用与函数体的联系在运行时才进行，称为动态联编。

虚函数和动态联编：

冠以关键字 virtual 的成员函数称为虚函数
实现运行时多态的关键首先是要说明虚函数，另外，必须用

基类指针调用派生类的不同实现版本

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

#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;

} ;

虚函数和基类指针：

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

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

虚函数的重载特性：

在派生类中重载基类的虚函数要求函数名、返回类型、参数个数、
  参数类型和顺序完全相同
 如果仅仅返回类型不同，C++认为是错误重载

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

虚析构函数

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

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

说明：

1.派生类应该从它的基类公有派生。？
2.必须首先在基类中定义虚函数。
3.派生类对基类中声明虚函数重新定义时，关键字virtual可以不写。
4.一般通过基类指针访问虚函数时才能体现多态性。
5.一个虚函数无论被继承多少次，保持其虚函数特性。
6.虚函数必须是其所在类的成员函数，而不能是友元函数，也不能是静态函数。
7.构造函数、内联成员函数、静态成员函数不能是虚函数。
（虚函数不能以内联的方式进行处理）

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

纯虚函数和抽象类：

纯虚函数是一种特殊的虚函数，
在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做。

这就是纯虚函数的作用。

纯虚函数是一个在基类中说明的虚函数，在基类中没有定义， 要求任何派生类都定义自己的版本
  纯虚函数为各派生类提供一个公共界面
  纯虚函数说明形式：
virtual  类型  函数名（参数表）= 0 ;

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

例如

class  point { /*……*/ } ;
class  shape ； // 抽象类
{ point  center ;
      ……
  public :
  point  where ( ) { return  center ; }
  void  move ( point p ) {center = p ; draw ( ) ; }
  virtual  void  rotate ( int ) = 0 ; // 纯虚函数
  virtual  void  draw ( ) = 0 ; // 纯虚函数
} ;
      …...

shape  x ; // error，抽象类不能建立对象
shape  *p ; // ok，可以声明抽象类的指针
shape  f ( ) ; // error, 抽象类不能作为函数返回类型
void  g ( shape ) ; // error, 抽象类不能作为传值参数类型

shape  & h ( shape &) ; // ok，可以声明抽象类的引用

简单图形类的举例：

class figure
{ protected : double x,y;
  public:    void set_dim(double i, double j=0) { x = i ;  y = j ; }
                 virtual void show_area() = 0 ;
};
class triangle : public figure
{ public :
      void show_area()
       { cout<<"Triangle with high "<<x<<" and base "<<y <<" has an area of "<<x*0.5*y<<"\n"; }
};
class square : public figure
{ public:
      void show_area()
         { cout<<"Square with dimension "<<x<<"*"<<y <<" has an area of "<<x*y<<"\n"; }
};
class circle : public figure
{ public:
    void show_area()
    { cout<<"Circle with radius "<<x;
       cout<<" has an area of "<<3.14*x*x<<"\n";
    }

};

#include<iostream>
using namespace std ;
#include"figure.h"
int main()
 { triangle t ; //派生类对象
    square s ;    circle c;
    t.set_dim(10.0,5.0) ;
    t.show_area();
    s.set_dim(10.0,5.0) ;
    s.show_area() ;
    c.set_dim(9.0) ;
    c.show_area() ;

 }

运行后：

Triangle with high  and base 5 has an area of 25

Square with dimenion 10*5 has an area of 50

Circle with radiue 9 has an area of 254.34

请按任意键继续