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

面向对象方法 */26 * 面向对象方法 6.1 什么是多态性 多态（polymorphism）是OO的最核心的体现。所谓多态性是指发出同样的消息，被不同的对象接受时导致完全不同的行为。 多态性是OO的关键技术。不支持多态性，则不能称为OO语言，只能称之为object-based（基于对象）的语言（如：Visual Basic）。 参考文献：C++多态技术，程序员2004年第2期，p.96。 */26 * 面向对象方法 直观地说，多态性是指用一个名字定义不同的函数，这些函数执行不同的功能，这样就可以使用相同的调用方式来调用这些具有不同功能的同名函数。 C++中的两类多态性： 静态多态性：编译时的多态性。 动态多态性：运行时的多态性。 */26 * 面向对象方法 6.2 静态多态性的例子 静态多态是一种编译时的多态性，即要调用哪一个函数在程序执行前的编译时，就得到确定（通过函数名和参数列表）。静态多态性的实现手段：函数重载（overloading）。 C++既支持静态多态（默认），又支持动态多态（需使用关键字virtual）。 */26 * 面向对象方法 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; } */26 * 面向对象方法 Point Disp() : void Point() ~Point() Circle Disp() : void Circle() ~Circle() Point p; Circle c; p.Disp(); c.Disp(); 在编译时，根据对象名，就可确定调用哪一个成员函数，所以这也是静态多态 */26 * 面向对象方法 动态多态性的例子 Point virtual Disp() Point() ~Point() Circle Disp() Circle() ~Circle() Point p; Circle c; p.Disp(); c.Disp(); Point pRef1 = p; Point pRef2 = c; pRef1.Disp(); pRef2.Disp(); Its a point Its a Circle Its a point Its a Circle 动态多态 */26 * 面向对象方法 Point virtual Disp() Point() ~Point() Circle Disp() : void Circle() ~Circle() void Test(Point s); Point pt; Circle c; Test(pt); Test(c); void Test(Point s) { s.Disp(); } */26 * 面向对象方法 函数调用的过程 程序调用代码时，将使用哪个可执行代码块呢？编译器负责回答这个问题，其主要过程如下： 在编译时，编译器对各个文件中的函数进行编译后，每个函数均有代码地址（入口）； 函数被编译后放在程序代码区中； 链接程序把对函数的调用和被调函数的入口联接起来（这称为绑定，Binding） 。 */26 * 面向对象方法 早绑定（early binding） 在C语言中，因为不支持重载，所以每个函数名都对一个不同的函数代码，因此binding非常简单，这在编译时就能确定。 在C++中，由于函数重载的缘故，这个任务更复杂。编译器必须通过函数名和参数列表的组合才能确定调用哪个函数。这种情况在编译时也能确定。 以上在编译时就能确定的binding被称为static binding或early binding。 */26 * 面向对象方法 晚绑定（late binding） 在C++中，虚函数的使用使得binding更加困难。就像前面代码中演示的那样，调用哪个函数在编译时不能确定，因为编译器不能确定用户将选择哪个类型的对象。 此时，编译器必须生成能能够在程序运行时选择调用哪个函数的代码，这被称为dynamic binding或late binding。 */26 * 面向对象方法 编译器如何确定使用哪种binding 前面讲过C只支持early binding，而C++及支持early binding，又支持late binding，那么C++的编译器是如何确定使用的是哪种binding方法呢？ 编译器对于所有非v