讲多态性与虚函数.pptVIP

第六章 多态性与虚函数 什么是多态性 静态多态性 函数调用的过程 静态多态性的实现原理 upcasting的局限性 虚函数 虚函数的使用方法和实现原理 动态多态性 静态绑定 VS 动态绑定 虚函数说明 动态绑定的实现 上机实验 *面向对象方法 在本章中，将介绍以下主要内容： 什么是多态性； 多态的例子； 虚函数； 纯虚函数和抽象类。 多态性（polymorphism）是OO的最核心的体现。所谓多态性是指发出同样的消息，被不同的对象接受时导致完全不同的行为。 多态性是OO的关键技术。不支持多态性，则不能称为OO语言，只能称之为object-based（基于对象）的语言（如：Visual Basic）。 直观地说，多态性是指用一个名字定义不同的函数，这些函数执行不同的功能，这样就可以使用相同的调用方式来调用这些具有不同功能的同名函数。 C++中的两类多态性（p.199）： 静态多态性：编译时的多态性。 动态多态性：运行时的多态性。 它是一种编译时的多态性：即函数的调用是根据调用时实参类型和个数，在程序执行前，即编译时刻就能确定调用哪一个函数。 C语言只支持这种静态的多态性，不支持动态的多态性。C++既支持静态多态性（默认），又支持动态多态性（需使用关键字virtual）。 静态多态性的实现手段：重载（包括函数重载和运算符重载）。 void Disp(int x); void Disp(double x); int main(){ Disp(3); Disp(6.3); return 0; } void Disp(int x){ cout Its a integer, Disp(int x) endl; } void Disp(double x){ cout Its a double, Disp(double x) endl; } Point Disp() : void Point() ~Point() Circle Disp() : void Circle() ~Circle() Point p; Circle c; p.Disp(); c.Disp(); 在编译时，根据对象名，就可确定调用哪一个成员函数，所以这也是静态的多态性。 下面将函数编译的原理和函数被调用的过程作以简单介绍： 在编译时，编译器对各个文件中的函数进行编译后，每个函数均有代码地址（入口）； 函数被编译后放在程序代码区中； 链接程序把对被调函数的调用和被调函数的入口联接起来（这称为绑定，Binding） 。 静态多态性是通过静态绑定实现的。 静态绑定：程序在生成可执行代码的同时，已经“永远”地让函数调用语句指向了被调函数的代码。 我们前面讲过的绑定方式均为静态绑定，在C++中只有使用了关键字virtual才有可能是动态绑定（使用virtual关键字既是告诉编译器要使用动态绑定，但这要满足一定的条件）。 表现：当覆盖发生时，使用upcasting，虽然基类的指针能够指向派生类的对象，但是由于是静态绑定，所以程序的结果只能是基类的成员函数。 欲解决的问题：希望根据pRef所指向的实参对象，而不是指针或引用pRef的类型调用函数。 Point p; Circle c; Point pRef1 = p; Point pRef2 = c; pRef1-Disp(); pRef2-Disp(); Point Disp() : void Point() ~Point() Circle Disp() : void Circle() ~Circle() Point p; Circle c; p.Disp(); c.Disp(); Point *pRef = p; pRef-Disp(); pRef = c; pRef-Disp(); Its a point Its a Circle Its a point Its a point Press any key to continue 向上映射 C++使用虚函数解决上述问题。其语法为：成员函数声明前加virtual（如：virtual void Disp();）。 继承、覆盖、upcasting、虚函数的结合可使C++支持运行时的多态性。即在基类中定义通用的接口，在派生类中定义具体的实现方法（覆盖），也就是常说的“同一接口，多种方法”。 从基类继承来的虚函数，在派生类中仍是虚函数。 虚函数使用方法： 声明基类某成员函数为虚函数 ； 在派生类中覆盖基类中的虚函数； 声明基类指针标识符或引用指向类族中的对象； 通过该指针或引用调用虚函数； 虚函数实现原理：通过动态绑定（late binding、滞后绑定）实现在