第 4 章 多态性2011(2hx2).ppt

一个类存在虚函数，那么编译器就会为这个类生成一个V-Table虚表，在虚表里存放的是这个类所有虚函数的地址。 当生成类对象的时候，编译器会自动的将类对象的前四个字节设置为虚表的地址，而这四个字节就可以看作是一个指向虚表的指针。 虚表里依次存放的是虚函数的地址，每个虚函数的地址占4个字节。 1）虚函数按照其声明顺序放于表中。 2）父类的虚函数在子类的虚函数前面。 假设我们有这样的一个类： class Base { public: virtual void f() { cout Base::f endl; } virtual void g() { cout Base::g endl; } virtual void h() { cout Base::h endl; } }; 按照上面的说法，我们可以通过Base的实例Base b;来得到虚函数表。 我们在虚函数表的最后多加了一个结点，这是虚函数表的结束结点。 一般继承（无虚函数重载）虚函数表 下面继承关系中，子类没有重载任何父类的函数。那么，在派生类的实例d中，其虚函数表如下所示： 我们可以看到下面几点： 1）虚函数按照其声明顺序放于表中。 2）父类的虚函数在子类的虚函数前面。 一般继承（有虚函数重载）虚函数表 下面这个类的设计中，我们只重载了父类的一个函数：f()。那么，对于派生类的实例d，其虚函数表是： 我们从表中可以看到下面几点， 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 *，动态类型是CCi