第 4 篇 多态性2011.pptVIP

一般继承（有虚函数重载）虚函数表 下面这个类的设计中，我们只重载了父类的一个函数：f()。那么，对于派生类的实例，其虚函数表是： 我们从表中可以看到下面几点， 1）重载的f()函数被放到了虚表中原来父类虚函数的位置。 2）没有被重载的函数依旧。 这样，我们就可以看到对于下面这样的程序， Base *b = new Derive(); b-f(); 由b所指的内存中的虚函数表的f()的位置已经被Derive::f()函数地址所取代，于是在实际调用发生时，是Derive::f()被调用了。这就实现了多态。 多重继承（无虚函数重载） 假设有下面这样一个类的继承关系。注意：子类并没有重载复类的函数。子类实例中的虚函数表： 我们可以看到： 1）每个父类都有自己的虚表。 2）子类的成员函数被放到了第一个父类的表中。（所谓的第一个父类是按照声明顺序来判断的） 这样做就是为了解决不同的父类类型的指针指向同一个子类实例，而能够调用到实际的函数。 多重继承（有虚函数重载） 下图中，我们重载了父类的f()函数。下面是对于子类实例中的虚函数表的图： 我们可以看见，三个父类虚函数表中的f()的位置被替换成了子类的函数指针。这样，我们就可以任一静态类型的父类来指向子类，并调用子类的f()了。如： Derive d; Base1 *b1 = d; Base2 *b2 = d; Base3 *b3 = d; b1-f(); //Derive::f() b2-f(); //Derive::f() b3-f(); //Derive::f() b1-g(); //Base1::g() b2-g(); //Base2::g() b3-g(); //Base3::g() 2. 纯虚函数和抽象类 [引例]： 在一个图形系统中，有一个一般的闭合图形类CClosedFigure，它有两个子类为多边形类CPolygon和圆类CCircle，多边形类又有两个子类为矩形类CRectangle和三角形类CTriangle。 CClosedFigure CPolygon CCircle CRectangle CTriangle 从概念上，闭合图形都可求周长和面积，也可以画出来。故这些类都应该有求周长的函数Perimeter()、求面积的函数Area()和画出来的函数Draw()。 为了使用的方便，希望每个类中这三个函数的调用形式是相同的。 但在考虑如何实现该图形系统时发现：由于不知道CClosedFigure的数据如何表现，故它的Perimeter、Area和Draw函数无法实现。 由4.1节可知：在C++中，由继承带来的多态是指一个基类的指针变量在程序运行的不同的时刻指向其不同子类的对象。 这样，一个基类的指针变量就有一个静态类型（编译时决定），即基类的指针类型；有多个动态类型（运行时决定），即不同子类的指针类型。 [例]： CClosedFigure *p; // 静态类型是CClosedFigure *，动态类型是CClosedFigure * … p = new CPolygon; // 静态类型是CClosedFigure *，动态类型是CPolygon* … p = new CRectangle; // 静态类型是CClosedFigure *，动态类型是CRectangle* … p = new CCircle; // 静态类型是CClosedFigure *，动态类型是CCircle* … p-Draw(); 究竟调用哪个Draw函数，由p的动态类型决定。 函数调用表达式p-Draw()的静态类型是： void CClosedFigure :: Draw() 如果p指向CCircle的对象，则p-Draw()的动态类型是： void CCircle :: Draw() 应该调用void CCircle :: Draw()。故不能在编译时连接，只能运行时动态地连接到void CCircle :: Draw()上。 因此，要使表达式p-Draw()通过编译检查，类CClosedFigure中就要有Draw函数，但又写不出Draw的实现。为解决这个问题，C++中引入了纯虚函数和抽象类的概念。 1. 纯虚函数 为了强制派生类重新定义其基类的虚函数，C++语言引入了纯虚函数(Pure Virtual Function)的概念。 一般格式： virtual 函数原型=0; [例]： virtual void ShowArea()=0; 2. 抽象类 如果一个类中至少说明了一个纯虚函数，则把该类称为抽象类。 [例]： Class CClosedFigure {