C语言程序设计教程教程C语言第13章C++基础.pptVIP

13.3.4 多态性与虚函数 多态性(Polymorphism)是面向对象程序设计的第三个重要机制。所谓多态性是指同样的消息被不同类的对象接收时导致完全不同行为的这样一种状态。同一个消息作用于不同的对象，其结果各不相同，具有多种形态。这里的消息是指对对象成员函数的调用。前面讨论过的函数重载实现了一种多态性。 例如，对图13.1中的“学生”对象、“大学生”对象、“研究生”对象和“在职研究生”对象发送“显示”这一消息，则显示的内容项各不相同。也就是说，在这些类中，“显示”对应的代码各不相同，这就是所谓多态性。 (1)静态联编与动态联编 联编(binding)是指将函数调用与相应函数体代码彼此相关联的过程。如果联编在编译阶段完成，称之为静态联编(static binding)。重载函数就是采用静态联编的方式。例如求不同类型的两数中较小数的重载函数： int Min(int a,int b); float Min(float x,float y); 虽然两个函数具有相同的函数名Min，但由于其参数类型不同，编译程序可以据此来自动选择对应的函数体进行匹配，也就是说重载函数可以在编译时确定调用哪个函数，因而称为静态联编。 在C++中还有一种联编方式称为动态联编(dynamicbinding)。这种方式是在程序运行时进行联编，一般通过函数指针或引用来实现。 (2)虚函数 在C++中，多态性通过虚函数(Virtual function)来实现，而虚函数存在于继承环境中。虚函数机制使得基类(父类)中定义虚函数后，派生类(子类)中可以重写基类(父类)中成员函数的代码，从而使得在类层次结构中，同一个成员函数可以有不同的版本(即不同的代码)。此时，当一个基类类型的指针指向派生类对象时，若向指针所指的对象发消息，则应该是派生类对象对应的函数代码被执行。但指针所指的对象可能只有在执行时才能知道，这样到底执行哪些代码只有在运行时才能根据指针所指的对象来决定，因此虚函数采用动态联编的方式实现。先看如下的示例： 例13.16 静态联编示例。 #include iostream.h class BASE { int bx; public: BASE(int b){bx=b;} //基类构造函数 void Display(void){cout”BASE：”bx;} void Inc(void){bx++;} }; class INHERITED:public BASE { int dx; public: INHERITED(int b,int d):BASE(b),dx(d){} //派生类构造函数 void nsplay(void){cout”INHERITED：”dx;} void Inc(void){dx++;} }; void func(BASE obj) { obj.Inc( ); obj.Display( ); } int main( ) { BASE baseobj(5); //基类对象声明 BASE*bp; //定义基类指针 INHERITED iobj(5,15); //派生类对象声明 coutendl”指针引用：”; bp=baseobj; //基类指针指向基类对象 bp-Display( ); bp=iobj; //基类指针指向派生类对 bp-Display( ); //bp=baseobj;错误：派生类指针不能指向基类对象 //bp-Display( ); bp=iobj; bp-Display( ); 指向基类对象 bp-Display( ); bp=iobj; //基类指针指向派生类对 bp-Display( ); //bp=baseobj;错误：派生类指针不能指向基类对象 //bp-Display( ); bp=iobj; bp-Display( ); coutendl”对象引用：”; baseobj.Display( ); iobj.Display( ); coutendl”函数调用：”; func(baseobj); func(iobj); return 0; } 程序运行的结果为： 指针引用：BASE：5 BASE：5 INHERITED：15 对象引用：BASE：5 INHERITED：15 函数调用：BASE：6 BASE：6 指向基类对象 bp-Displa