虚函数与多态

虚函数与多态概念

多态性：调用同一个函数名，可以根据需要实现不同的功能。

虚函数：可以在程序运行时通过调用相同的函数名而实现不同功能的函数称为虚函数。

编译时的多态性（函数重载）

运行时的多态性（虚函数）

运行时的多态性是指在程序执行之前，根据函数名和参数无法确定应该调用哪一个函数，必须在程序的执行过程中，根据具体的执行情况来动态地确定。

 虚函数

当一个基类被继承为不同的派生类时，各派生类可以使用与基类成员相同的成员名，如果在运行时用同一个成员名调用类对象的成员，会调用哪个对象的成员？

编译系统按照同名覆盖的原则决定调用的对象。假如B是A的派生类，用B.area（ ）调用的是派生类B中的成员函数display。如果想调用B中的直接基类A的display函数，应当表示为B.A::display（ ）。用这种方法来区分两个同名的函数。但是这样做很不方便。

人们提出这样的设想，能否用同一个调用形式，既能调用派生类又能调用基类的同名函数。在程序中不是通过不同的对象名去调用不同派生层次中的同名函数，而是通过指针调用它们。例如，用同一个语句“pt->display（ ）;”可以调用不同派生层次中的display函数，只需在调用前给指针变量pt赋以不同的值（使之指向不同的类对象）即可。

C++中的虚函数就是用来解决这个问题的。虚函数的作用是允许在派生类中重新定义与基类同名的函数，并且可以通过基类指针或引用来访问基类和派生类中的同名函数。

一旦把基类的成员函数定义为虚函数，由基类所派生出来的所有派生类中，该函数均保持虚函数的特性。 只有在程序的执行过程中，依据指针具体指向哪个类对象，或依据引用哪个类对象，才能确定激活哪一个版本，实现动态聚束。（定义一个基类的指针，基类指针赋哪一层对象名则执行哪层的函数）

C++规定，当一个成员函数被声明为虚函数后，其派生类中的同名函数都自动成为虚函数。因此在派生类重新声明该虚函数时，可以加virtual，也可以不加，但习惯上一般在每一层声明该函数时都加virtual，使程序更加清晰。

关于虚函数，说明以下几点：

1、当在基类中把成员函数定义为虚函数后，在其派生类中定义的虚函数必须与基类中的虚函数同名，参数的类型、顺序、参数的个数必须一一对应，函数的返回的类型也相同。若函数名相同，但参数的个数不同或者参数的类型不同时，则属于函数的重载，而不是虚函数。若函数名不同，显然这是不同的成员函数。

2、实现这种动态的多态性时，必须使用基类类型的指针变量，并使该指针指向不同的派生类对象，并通过调用指针所指向的虚函数才能实现动态的多态性。

3、虚函数必须是类的一个成员函数，不能是友元函数，也不能是静态的成员函数。

4、在派生类中没有重新定义虚函数时，与一般的成员函数一样，当调用这种派生类对象的虚函数时，则调用其基类中的虚函数。

5、可把析构函数定义为虚函数，但是，不能将构造函数定义为虚函数。

6、虚函数与一般的成员函数相比较，调用时的执行速度要慢一些。为了实现多态性，在每一个派生类中均要保存相应虚函数的入口地址表，函数的调用机制也是间接实现的。因此，除了要编写一些通用的程序，并一定要使用虚函数才能完成其功能要求外，通常不必使用虚函数。

7、一个函数如果被定义成虚函数，则不管经历多少次派生，仍将保持其虚特性，以实现“一个接口，多个形态”。

例子

下面是给出的一些例子，其中Student是基类，Graduate是Student的派生类，两者各有一个display（）函数（不是重载的）。

 

如上面所示，定义派生类的指针，想调用基类的display（）函数必须加上基类的限定符。

 

上面是在display（）前加上virtual的输出，基类指针通过直接指向派生类的对象即可调用派生类的display（）函数。

 

上面是去掉display（）前的virtual的输出，无法调用派生类的display（）函数。

派生类的指针不可以直接指向基类的对象，反之可以。