虚函数的特性

#include <iostream>using namespace std;class Base{protected:int n;public:Base (int m){n=m++; }virtual void g1(){cout<<"Base::g1()..."<<n<<endl; g4();}virtualvoid g2(){cout<<"Base::g2()..."<<++n<<endl;g3();}virtual void g3(){cout<<"Base::g3()..."<<++n<<endl; g4();}virtualvoid g4(){cout<<"Base::g4()..."<<++n<<endl;}};class Derive:public Base{int j;public:Derive(int n1,int n2):Base(n1){  j=n2;}void g1(){cout<<"Deri::g1()..."<<++n<<endl;g2();}void g3(){cout<<"Deri::g2()..."<<++n<<endl;g4();}};void main(){Derive Dobj(1,0);Base Bobj=Dobj;Bobj.g1();cout<<"------------------"<<endl;Base *bp=&Dobj;bp->g1();cout<<"------------------"<<endl;Base &bobj2=Dobj;bobj2.g1();cout<<"------------------"<<endl;Dobj.g1();}

输出的结果如上。

我们需要对每一个代码进行分析

（1）

Derive Dobj(1,0);                   //L1Base Bobj=Dobj;                     //L2<pre name="code" class="cpp">Bobj.g1();                          //L3

          L1 创建一个Derive类的对象Dobj，并通过构造函数，对其赋值。L2创建一个Base类的对象Bobj，并将Dobj赋值给Bobj，因为这其中涉及到了基类对象和派生类对象赋值之间的问题，派生类对象赋值给基类对象，只会把基类部分的值赋给基类对象，也就是说由派生类自己定义的成员是无法赋值到基类对象中。因此就不能解释L3的结果了，当调用g1（）时，并没有调用到Derive中的g1(),而是基类中的g1().

（2）

Base *bp=&Dobj;                //L1bp->g1();                      //L2

                   L1创建一个Base类的名为bp指针，并指向Dobj的地址。通过bp指针调用g1()函数，根据通过基类对象的指针和引用访问派生类对象的虚函数时，会体现虚函数的特性。调用g1()时，实际上就是调用Derive中的g1(),并输出结果。输出结果后，g1()函数后继续调用g2(),因为Derive中并没有g2()函数，因此会自动调用Base中的g2(),输出结果，继续调用g2()中的g3()。注意：派生类通过从基类继承的成员函数调用虚函数时，将访问到派生类中的版本，例子如下：

#include<iostream>using namespace std;class B{public: void f(){g();} virtual void g(){cout<<"B::g";}};class D:public B{public:void g(){cout<<"D::g";}};void main(){D d;d.f();}

因此将调用Derive中的g3(),输出并继续调用Base中的g4();

后面的调用如上~~~