第六章多态性与虚函数.pptVIP

引入派生类后，由于派生类是基类派生出来的，因此指向基类和指向派生类的指针是相互关联的。假定有一个基类base，其派生类为derived，则可以定义： base *pb,objb; derived *pd,objd; pb=objb; //pb指向类base对象 pb=objd; //pb指向类derived对象 说明：定义为指向基类base的指针pb，也能作为派生类的指针指向派生类对象。通过该指针可以访问从基类base继承下来的各派生类对象。 例： binding2.cpp 程序说明： 基类指针可以指向派生类的对象。当把派生类对象的地址赋给基类指针时，编译器能自动完成隐式类型转换。但是需要注意的是，声明为指向基类对象的指针可以指向它的公有派生类的对象，不允许指向它的私有派生类的对象。 程序说明： 从运行结果可以看出，指向基类的指针p，不管赋给它的是基类对象base_obj的地址还是派生类对象one_obj和two_obj的地址，语句p_who()调用的始终是基类定义的版本，即p-who( )与obj_one.who( )， obj_two.who()的结果并不相同。这是由于虽然一个基类指针可以指向其派生类对象，但指针本身的类型并没有改变，因此，系统认为它所指向的仍是一个基类对象，于是只能调用其基类的成员函数who（）。 程序说明： 但我们希望指针指向那个类的对象就能调用那个类的who。而且，在派生类derived中虽然继承了基类base的成员函数who，但为了适应派生类自己的需要，在派生类中已经改变了这个成员函数的实现，即在派生类中又定义了一个同名的who函数，而这种改变在静态联编时并不知道，以至于导致以上结果的不一致。所以必须通知编译系统这种可能的改变，即需要进行动态联编。 程序说明： 为实现动态联编，C++提供了虚函数的概念。虚函数在基类中定义，在基类成员函数声明的前面加上virtual关键字（在派生类中重新定义该函数时不用加关键字virtual），即把该函数声明为虚函数。将基类中的成员数函数声明为虚函数，并在派生类中重新定义从基类中继承下来的虚函数后，当把派生类对象的地址赋给指向基类的指针变量时，用指向基类的指针变量来调用虚函数，则执行的就是派生类自己的函数。 程序说明： 修改程序见注释。 运行结果说明，通过虚函数和指向不同对象的基类指针pb，C++能自动判别应该调用同一类族中哪一个对象的成员函数，即同一个语句p-who，由于赋给p的对象地址不同，使得能够实现调用不同who函数版本的方法。由于所调用的函数who的版本是在程序运行时确定的，因此称为动态联编，这中多态性也称为运行时的多态性。 虚函数是一种非静态的成员函数，定义格式如下： virtual 类型说明符函数名(参数表) { //函数体 } 其中，virtual 是关键字。 虚函数 如果某个类中的一个成员函数被说明为虚函数，就可以在该类的（直接或间接）派生类中定义与其基类虚函数原型相同的函数。当用基类指针指向这些派生类对象时，系统会自动用派生类中的同名函数来代替基类中的虚函数。即当用基类指针指向不同派生类对象时，系统会在程序运行中根据作指向对象的不同，自动选择适当的函数，从而实现了运行时的多态性。 由于存在有虚函数，编译器将进行动态联编，使调用虚函数的对象在运行时确定，以实现动态联编的多态性。 虚函数可以在一个或多个派生类中被重新定义，因此，它属于函数重载的情况，但这种重载与一般的函数重载是不同的，它要求在派生类中重新定义时必须与基类中的函数原型完全相同，包括函数名、返回类型、参数个数和参数类型。这是，无论在派生类相应的成员函数前是否加上关键字virtual，都将其视为虚函数，如果函数原型不同，只是函数名同，C++将其视为一般的函数重载，而不是虚函数。只有类的成员函数才能声明为虚函数，全局函数及静态成员函数不能声明为虚函数。 例 virtualfuntion.cpp 在程序中定义了一个大学生类student，其中的calfee函数用于输入一个大学生的学号和姓名并计算学费，disp用于显示大学生的费用。研究生类graduate是从大学生类派生的，其中的calfee函数用于输入一个研究生的学号和姓名并计算学费，disp用于显示研究生的费用。 在main函数中，定义了一个studen类对象s1和一个graduate类的对象g1。 由于程序中将类student的calfee函数设置为虚函数，因此，在执行fn（S）时，