_多态性.pptVIP

例8_4 (7_4)（续） void main(){ B0 b0; B1 b1; D1 d1; //声明B0,B1,D1类对象 B0 *pt=b0; //声明B0类指针，并指向B0对象 fun(pt); //通过指针访问成员函数（虚函数） pt=b1; //B0类指针指向B1，类型兼容性规则； fun(pt); pt=d1; //B0类指针指向D1 fun(pt); //b1.display(); //静态绑定 } 使用虚函数结果： B0::disp() B1::disp() D1::disp() 不使用虚函数结果：B0::disp() B0::disp() B0::disp() 注意： 在例8_4中，派生类B1、D1中并没有显式给出虚函数声明，这时系统遵循以下的规则来判断一个函数成员是不是虚函数： 1、该函数是否与基类的虚函数有相同的名称； 2、该函数是否与基类的虚函数有相同的参数个数及相同的对应参数类型； 3、该函数是否与基类的虚函数有相同的返回值或者满足赋值兼容规则的指针、引用型返回值 //静态绑定 #includeiostream.h class Point { int x,y; public: Point(int i,int j){x=i;y=j;} int Area() const{return 0;} }; class Rectangle:public Point { int w,h; public: Rectangle(int i,int j,int k,int l):Point(i,j){w=k;h=l;} int Area()const{return w*h;} }; void fun(Point s){ coutArea=s.Area()endl;} void main() { Rectangle rec(3,5,15,25); fun(rec); } virtual //动态绑定 结果：Area=0 结果：Area=375 例8-6：分析下列程序执行结果，并回答问题 #include iostream using namespace std; class A{ public: void act1() //虚函数 { coutA::act1() called. endl; } void act2() { act1(); } }; class B:public A //公有继承，B是A的子类 { public: void act1() {coutB::act1() called. endl;} }; void main(){ B b; b.act2(); } 运行结果: A::act1() called. virtual B::act1() called. 例8-6（续1） 回答下列问题: （1）该程序执行后的输出结果是什么？为什么？ 输出结果为：B::act1() called. 原因： a. B从A公有继承，B是A的子类； 　 b. B中的act1()为虚函数； 　 c. b.act2()调用A中的act2()，进一步调用　act1()，实现动态联编，运行时选择B::act1()； 例8-6（续2） （2）如果将A::act2()的实现改为： 　　　　void A::act2() 　　　　{ 　　　　　this-act1(); 　　　　} 输出结果是什么？为什么？　　　　 输出结果与(1)相同，即：B::act1() called. 原因：this指向操作该成员函数的对象，基于与(1)相同的原因，此处调用B::act1()。 例8-6（续3） (3)、如果将A::act2()的实现改为： 　　　　void A::act2() 　　　　{ 　　　　　A::act1(); 　　　　} 　　输出结果是什么？为什么？ 输出结果：A::act1() called. 原因：此处增加了类名限定，因此要进行静态连编，即调用的是A::act1()。 8.6 虚析构函数 在C＋＋中，不能声明虚构造函数，但是可以声明虚析构函数。 虚函数作为运行过程中多态的基础，主要是针对对象的，而构造函数是在对象产生之前运行的，因此虚构造函数是没有意义的。 虚析构函数没有类型、也没有参数。 虚析构函数的声明： virtual ～类名(); 如果一个类的析构函数是虚函数，那么，由他派生而来的所有子类的析构函数也是虚函数。析构函数设置为虚函数之后，在使用指针引用时可以动态联编，实现运行时的多态，保证使用基类类型的指针就能调用适