虚函数与多态学习总结

知识点

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

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

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

一、虚函数和动态联编

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

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

二、虚函数和基类指针

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

三、虚函数的重载特性

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

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

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

四、虚析构函数

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

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

五、纯虚函数和抽象类

1、纯虚函数是一种特殊的虚函数，

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

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

4、纯虚函数为各派生类提供一个公共界面

5、 纯虚函数说明形式：

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

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

程序样例

#include<iostream>

#include<string>

usingnamespace std;

classAnimal

{

         string name;

public:

         Animal(string a_name):name(a_name){}

         virtual void show(){}

         void show_name()

         {

                   cout<< "The nameis "<<name<<".“<<endl;

         }

};

class Cat:public Animal

{

         string kind;

public:

         Cat(string a_name,stringa_kind):Animal(a_name),kind(a_kind)

         {}

         void show();

};

voidCat::show()

{

         show_name();

         cout<<" It's a"<<kind<<endl;

}

classDog:public Animal

{

         string kind;

public:

         Dog(string a_name,stringa_kind):Animal(a_name),kind(a_kind)

         {}

         void show();

};

voidDog::show()

{

         show_name();

         cout<<" It's a"<<kind<<endl;

}

classTiger:public Cat

{

public:

         Tiger(string a_name,stringa_kind):Cat(a_name,a_kind)

         {}

};

Intmain()

{

Animal*p;

         Catcat("Tom","cat");

         Dogdog("Jerry","Dog");

         Tigertiger("DuDu","Tiger");

         p=&cat;

         p->show();

         p=&dog;

         p->show();

         p=&tiger;

         p->show();

         return 0;

}

 

感悟

1、抽象类不能建立对象

2、可以声明抽象类的指针，可以声明抽象类的引用。

3、抽象类不能作为函数返回类型

4、抽象类不能作为传值参数类型

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

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

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

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

9、派生类应该从它的基类公有派生。

10、必须首先在基类中定义虚函数。

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

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

13、一个虚函数无论被继承多少次，保持其虚函数特性。

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

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

16、析构函数可以是虚函数，通常声明为虚函数。

17、成员函数调用虚函数（采用动态联编）

18、基类只保留框架无实现体，派生类进行重写。