《C++程序设计》课件第11章.pptVIP

动态多型最引人注目的特性是处理异质对象群集(heterogeneouscollectionsofobjects)的能力。由drawElems()函数可以看出，elems[i]-draw()能根据目前正被处理的元素类型，调用不同的成员函数。11.5.2静多态设计(StaticPolymorphism)templates也可以用来实现多型，然而它们并不依赖分解及抽取baseclasses共通行为。在这里，共通性是指应用程序所提供的不同几何形状，必须以共通语法支持其操作(也就是说，相关函数必须同名)。具象类别之间彼此独立定义(见图11.2)。一旦templates被具象类别实例化，便可获得(被赋予)多型的威力。图11.2多型(polymorphism)通过模板(templates)来实现例如前一节中的函数myDraw()：voidmyDraw(GeoObjconstobj) //GeoObj是抽象基础类别{obj.draw();}可设想改写如下：templatetypenameGeoObjvoidmyDraw(GeoObjconstobj) //GeoObj是模板参数{obj.draw();}比较前后两份myDraw()实作码，可以得出一个结论：两者的主要区别在于GeoObj是个模板参数而非一个共通基础类(commonbaseclass)。然而在此表象背后，还有一些根本的区别。比方说，如果使用动态多型，执行期只会有一个myDraw()函数，但如果使用template，则会有不同的函数，如myDrawLine()和myDrawCircle()。下面使用静态多型机制改写前一节的例子。首先不再使用几何类别阶层体系，而是编写若干个独立的几何类别：#includecoord.h“//具象的几何类别Circle//不衍生自任何类别classCircle{public: voiddraw()const; Coordcenter_of_gravity()const; //...};//具象的几何类别Line//不衍生自任何类别classLine{public: voiddraw()const; Coordcenter_of_gravity()const; //...};//...现在，这些classes的应用程序看起来像这样：#includestatichier.h#includevector//绘出任何给定的GeoObjtemplatetypenameGeoObjvoidmyDraw(GeoObjconstobj){ obj.draw(); //根据对象的类型调用draw()}//处理两个GeoObjs重心之间的距离templatetypenameGeoObj1,typenameGeoObj2Coorddistance(GeoObj1constx1,GeoObj2constx2){ Coordc=x1.center_of_gravity()-x2.center_of_gravity(); returnc.abs(); //传回坐标绝对值}//绘出GeoObjs同质群集(homogeneouscollection)templatetypenameGeoObjvoiddrawElems(std::vectorGeoObjconstelems){ for(unsignedi=0;ielems.size();++i) { elems[i].draw();//根据元素的类型调用draw() }}intmain(){ Linel; Circlec,c1,c2; myDraw(l); //myDrawLine(GeoObj)=Line::draw() myDraw(c); //myDrawCircle(GeoObj)=Circle::draw() distance(c1,c2);//distanceCircle,Circle(GeoObj1,GeoObj2) distance(l,c); //distanceLine,Circle(GeoObj1,GeoObj2)//std