第6章多态性与虚函数教材.ppt

赋值兼容性规则的作用 结论： 赋值兼容性规则是多态性的基础。同一个函数可以统一处理具有公有派生关系的基类的对象和派生类对象 例6.2开始时没有使用虚函数，然后再讨论使用虚函数的情况 例6.2 基类与派生类中有同名函数display class Student {public: Student(int,string,float); void display(); protected: int num; string name; float score; }; Student::Student(int n,string nam,float s) {num=n;name=nam;score=s;} void Student::display() {coutnum:num\nname:name\nscore:score\n\n;} class Graduate:public Student {public: Graduate(int,string,float,float); void display(); private: float pay; }; Graduate::Graduate(int n,string nam,float s,float p):Student(n,nam,s),pay(p){} void Graduate::display() {coutnum:num\nname:name\nscore:score\npay=payendl;} int main() {Student stud1(1001,Li,87.5); Graduate grad1(2001,Wang,98.5,563.5); Student *pt=stud1; pt-display(); pt=grad1; pt-display(); return 0; } 程序运行结果如下： num:1001 name:Li score:87.5 num:2001 name:Wang score:98.5 原因是指针是指向基类的指针。用虚函数就能顺利地解决这个问题。 虚函数的使用方法 (1)在基类用virtual声明成员函数为虚函数。在派生类中重新定义同名函数，让它具有新的功能。 (2)在派生类中重新定义此函数时，要求函数名、函数类型、参数个数和类型与基类的虚函数相同，根据需要重新定义函数体C++规定，当一个成员函数被声明为虚函数后，其派生类中的同名函数自动成为虚函数。 (3)定义一个指向基类对象的指针变量，并让它获得同一类族中某个对象的地址。 (4)用该指针变量调用虚函数，调用的就是该对象所属类的虚函数。 根据虚函数的要求，程序作一点修改，在student类中声明display函数时，在最左边加一个关键字virtual，即 virtual void display(); 把student类的display函数声明为虚函数。程序其他部分不变，再编译后运行程序，请看程序运行结果： num:1001 name:Li score:87.5 num:2001 name:Wang score:98.5 pay = 563.5 现在用同一个指针变量不仅输出了基类对象的数据，而且输出了派生类的所有数据说明调用了grad1的display函数。 用同一种调用形式pt-display( )，而且pt是一个基类的指针，可以调用同一类族中不同类的虚函数。这就是多态性，对同一消息，不同对象有不同的响应方式。 原来，基类指针是用来指向基类对象的，如用它指向派生类对象，系统要进行指针类型转换，所以基类指针指向的是派生类对象中的基类部分。虚函数突破了这个限制，在基类指针指向派生类对象后，就能调用派生类的虚函数。 以前介绍的函数重载处理的是同一层次中的同名函数问题，而虚函数处理的是不同派生层次上的同名函数问题，前者要求函数名相同，但函数的参数或类型不同；后者要求的是不仅函数名相同，而且函数参数和类型也要相同 。 6.3.2 静态关联与动态关联 从例6.2修改后的程序可以看到，同一个成员函数display在不同类中有不同的作用，呈现了多态。 以前学过的函数重载和用对象名调用虚成员函数，在编译时即可确定其调用的虚函数属于哪个类，其过程称为静态关联。 从例6.2里，在调用虚函数时没有指定对象名，系统怎样确定关联呢？编译系统把它放在运行阶段处理，在运行阶段确定关联关系。 在运行阶段，基类指针变量先指向了某个 类对象，然后通过此指针变量调用该对象中的函数。此时