[转]偷梁换柱——揭开多态的面纱

原文:http://blog.csdn.net/pongba/archive/2004/10/15/138209.aspx

偷梁换柱——揭开多态的面纱 

刘未鹏(pongba)  / 

 

  多态是面向对象理论中的重要概念之一,从而也成为现代程序设计语言的一个主要特性,从应用角度来说,多态是构建高灵活性低耦合度的现代应用程序架构所不可忽缺的能力。从概念的角度来说,多态使得程序员可以不必关心某个对象的具体类型,就可以使用这个对象的“某一部分”功能。这个“某一部分”功能可以用基类来呈现,也可以用接口来呈现。后者显得更为重要——接口是使程序具有可扩展性的重要特性,而接口的实现依赖于语言对多态的实现,或者干脆就象征着语言对多态的实现。

  本文并不大算赘述多态的应用,因为其应用实在俯拾皆是,其概念理论也早已完善。这里,我们打算从实现的角度来看一看一门语言在其多态特性的背后做了些什么——知其所以然,使用时方能游刃有余。

  或许你在学习一门语言的时候,曾经对多态的特性很迷惑,虽然教科书上所讲的非常简单,也非常明了——正如它的原本理念一样,但是你也想知道语言(编译器)在背后都干了些什么,为什么一个派生类对象就可以被当作其基类对象来使用?用指向派生类对象的基类指针调用虚函数时凭什么能够精确的到达正确的函数?类的内部是如何布局的?

  我们这样考虑:假设语言不支持多态,而我们又必须实现多态,我们可以怎么做?

 

多态的雏形:

 

     class B

     {

     public:

           int flag;   //为表示简洁,0代表基类,1代表派生类

           void f(){cout<<”in B::f()”;} //非虚函数

     };

 

     class D:public B

     {

     public:

          void f(){cout<<”in D::f()”;} //非虚函数

     };

 

     void call_virtual(B* pb)

     {

           if(pb->flag==0) //如果是基类,则直接调用f

                pb->f();  //调用的是基类的f

           else              //如果是派生类,则强制转化为派生类指针再调用f

               (D*)pb->f(); //调用的是派生类的f

     }

 

  这样,可以正好符合“根据具体的对象类型调用相应的函数”的理念。但是这个原始方案有一些缺点:;例如,分发“虚函数”的代码要自己书写,不够优雅,不具有可扩展性(当继承体系扩大时,这堆代码将变得臃肿无比),不具有封闭性(如果加入了一个新的派生类,则“虚函数”调用的代码必须作改动,然而如果恰巧这个调用是无法改动的(例如,库函数),则意味着,一个用户加入的派生类将无法兼容于那个库函数)等等。结果就是——这个方案不具有通用性。

 

  但是,这个方案能够说明一些本质性的问题:flag数据成员用于标识对象所属的具体类型,从而调用者可以根据它来确定到底调用哪个函数。但是,可不可以不必“知道”对象的具体类型就能够调用正确的函数呢?可以,改进的方案如下:

 

class B

{

public:

   void (*f)(); //函数指针,派生类对象可以通过给它重新赋值来改变对象的行为

};

 

class D:public B

{};

 

void call_virtual(B* pb)

{

   (*(pb->f))(); //间接调用f所指的函数

}

 

void B_Mem()

{

   cout<<”I am B”;

}

 

void D_Mem()

{

  cout<<”I am D”;

}

 

int main()

{

    B b;

    b.f=&B_Mem; //B_Mem代表B的“虚函数”

 

    D d;

    d.f=&D_Mem; //以D_Mem来覆盖(override)B的虚函数

    call_virtual(&b); //输出“I am B”

    call_virtual(&d); //输出“I am D”

}

 

 

  在这个改进的例子中,派生类对象可以通过修改函数指针f的指向,从而获得特定的行为,这里重要的是,call_virtual函数不再需要通过丑陋的if-else语句来判断对象的具体类型,而只是简单的通过一个指针来调用“虚函数”——这时候,如果派生类需要改变具体的行为,则可以将相应的函数指针指向它自己的函数即可,这招“偷梁换柱”通过增加一个间接层的办法“神不知鬼不觉”地将“虚函数”替换(Override)掉了。

  然而,这招仍然还有缺点——要用户手动实现,可扩展性差,透明性差等等。然而,它的思想已经接近现代编译器对多态机制的实现手法了。

 

  通过将上面的例子中的函数指针扩展为一个隐含的指针数组——虚函数表(vtbl)——C++拥有了我们现在所看到的多态能力。在虚函数表中,每一个虚函数指针占有一个表项,如果派生类覆盖(override)了相应的虚函数,则对应表项就改成指向派生类的那个虚函数的——这些工作由编译器完成——从而,如上例所示,用户不必知晓对象的确切类型,就能够触发其特定的行为(也就是说,调用“取决于对象具体类型”的成员函数),虚函数表对用户是完全透明的,用户只需要使用一个virtual关键字就能够轻松拥有强大的多态能力。

  如果一个C++类中有虚函数,则该类将会拥有一个虚函数表(vtbl),并且,该类的对象中(一般在头部)有一个隐含的指向虚函数表的指针(vptr),下面是示范虚函数实现的示意图:

     如下图:

 

 

 

 

  现在假设有如下代码:

void f(B* pb)

{

   pb->f1();

}

  则编译器为该函数生成的代码如下(以伪代码表示,以示明了):

void f(B* pb)

{

   DWORD* __vptr=((DWORD*)pb)[0];  //获得虚函数表指针 

   void (B::*midd_pf)()=__vptr[offsetof_virtual_pf1];

//从表中获得相应虚函数指针

   (pb->*midd_pf)(); //调用虚函数

}

  这样一来,如果pb指向的是D对象,则获得的是指向D::f1的函数指针(参考上面的第二幅图),如果pb确实指向B对象,根据B对象内的vptr所指的虚函数表,获得的是指向B::f1的函数指针。

 

  现在,关于C++的多态机制基本已经明了。剩下的就是多重继承下的虚函数表格局,大同小异,就不多说了。只不过,其中还是有一些微妙的细节的,可以参见《Inside C++ Object Model》(Lippman著)(中文名《深入C++对象模型》——侯捷译)。

  关于C++虚函数调用机制还有一个细节——在构造函数中调用虚函数要千万小心,因为“在构造函数中”意味着“对象还没有构造完毕”,这时候虚函数调用机制很可能还没有启动,例如:

 

  class B

  {

     B(){this->vf();} //调用B::vf

     virtual void vf(){cout<<”in B::vf()\n”;

  };

 

  现在,不管B身为哪个类的基类,B的构造函数中调用的都是B::vf。细心的读者会发现:这是由于对象构造顺序的关系——C++明确规定,对象的“大厦”是“自底向上”构建的,也就是说,从最底层的基类开始构造,所以,在B中调用this->vf时,虽然this所指的对象确实(即将)是派生类对象,但是派生类对象的构建行为还没有开始,所以这次调用不可能跑到派生类的vf函数去,就好像第二层楼还没有建好,一层楼的人是无法跑到二楼去的一样。

  说得更深一些,虚函数的调用是要经过虚函数指针和虚函数表来间接推导的,在B的构造函数中,编译器会插入一些代码,将对象头部的vptr设置为指向B的虚函数表的指针,于是this->vf的推导使用的是B的虚函数表,当然只能跑到B的vf那儿去。而后来,当B构建完毕,轮到派生类对象部分构造时,派生类的构造函数会将对象头部的vptr改成指向派生类的虚函数表的指针,这时候虚函数调用机制才算是Enable了,以后的this->vf将使用派生类虚函数表来推导,从而到达正确的函数。

posted @ 2010-02-24 16:36  MayFirst  阅读(175)  评论(0编辑  收藏  举报