虚函数与多态

基础知识
多态性（Polymorphism）是指一个名字，多种语义；或界面相同，多种实现。
重载函数是多态性的一种简单形式。
虚函数允许函数调用与函数体的联系在运行时才进行，称为动态联编。
1，虚函数和动态联编 
冠以关键字 virtual 的成员函数称为虚函数
实现运行时多态的关键首先是要说明虚函数，另外，必须用基类指针调用派生类的不同实现版本。
2，虚函数和基类指针
基类指针虽然获取派生类对象地址，却只能访问派生类从基类继承的成员
注：
（1）一个虚函数，在派生类层界面相同的重载函数都保持虚特性。
（2）虚函数必须是类的成员函数。
（3）不能将友元说明为虚函数，但虚函数可以是另一个类的友元
（4）析构函数可以是虚函数，但构造函数不能是虚函数。
3，虚函数的重载特性 
（1）在派生类中重载基类的虚函数要求函数名、返回类型、参数个数、参数类型和顺序完全相同。
（2）如果仅仅返回类型不同，C++认为是错误重载。

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

例：

1. class base
2. { public :
3. virtual void vf1 ( ) ;
4. virtual void vf2 ( ) ;
5. virtual void vf3 ( ) ;
6. void f ( ) ;
7. } ;
8. class derived : public base
9. { public :
10. void vf1 ( ) ; // 虚函数
11. void vf2 ( int ) ; // 重载，参数不同，虚特性丢失
12. char vf3 ( ) ; // error，仅返回类型不同
13. void f ( ) ; // 非虚函数重载
14. };
15. void g ( )
16. { derived d ;
17. base * bp = & d ; // 基类指针指向派生类对象
18. bp -> vf1 ( ) ; // 调用 deriver :: vf1 ( )
19. bp -> vf2 ( ) ; // 调用 base :: vf2 ( )
20. bp -> f ( ) ; // 调用 base :: f ( )
21. } ;

4，虚析构函数
（1）构造函数不能是虚函数。建立一个派生类对象时，必须从类层次的根开始，沿着继承路径逐个调用基类的构造函数
（2）析构函数可以是虚的。虚析构函数用于指引 delete 运算符正确析构动态对象 。
说明：
（1）派生类应该从它的基类公有派生。
（2）必须首先在基类中定义虚函数。
（3）派生类对基类中声明虚函数重新定义时，关键字virtual可以不写。
（4）一般通过基类指针访问虚函数时才能体现多态性。
（5）一个虚函数无论被继承多少次，保持其虚函数特性。
（6）虚函数必须是其所在类的成员函数，而不能是友元函数，也不能是静态函数。
（7）构造函数、内联成员函数、静态成员函数不能是虚函数。
（虚函数不能以内联的方式进行处理）
（8）析构函数可以是虚函数，通常声明为虚函数。
5，纯虚函数和抽象类
纯虚函数是一种特殊的虚函数。
在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做。
这就是纯虚函数的作用。
纯虚函数是一个在基类中说明的虚函数，在基类中没有定义， 要求任何派生类都定义自己的版本
  纯虚函数为各派生类提供一个公共界面
  纯虚函数说明形式：
  virtual  类型  函数名（参数表）= 0 ;

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

 

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

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

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

冠以 关键字virtual 的成员函数称为虚函数

实现运行时多态的关键首先是要说明虚函数，另外，必须用

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

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

1. #include<iostream>
2. using namespace std ;
3. class Base
4. { public : Base( char xx) { x = xx; }
5. virtual void who() { cout << "Base class: " << x << "\n" ; }
6. protected: char x;
7. } ;

注意：

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

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

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

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

在派生类中重载基类的虚函数要求函数名、返回类型、参数个数、

 参数类型和顺序完全相同

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

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

1. 例：
2. class base
3. { public :
4. virtual void vf1 ( ) ;
5. virtual void vf2 ( ) ;
6. virtual void vf3 ( ) ;
7. void f ( ) ;
8. } ;
9. class derived : public base
10. { public :
11. void vf1 ( ) ; // 虚函数
12. void vf2 ( int ) ; // 重载，参数不同，虚特性丢失
13. char vf3 ( ) ; // error，仅返回类型不同
14. void f ( ) ; // 非虚函数重载
15. } ;

构造函数析构函数：

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

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

虚析构函数在删除动态派生类对象的调用情况

心得体会

      虚函数和多态性能够使成员函数根据自身调用对象的类型产生不同的动作，这给程序设计赋予了很大的灵活性。多态可理解为界面相同，多种实现。多态性特别适用于实现分层结构的软件系统，便于对问题抽象时定义共性，实现时定义区别。