当前位置: 首页 > 图文教程 > 开发语言 > VC++ > 解析动态联编(下篇) - 作者:tingya

VC++
在类VC的界面实现中加入目录树
软件换肤技术在 BCB 中的实现
利用非模窗口生成MDI介面
报表输出轻松搞定
Windows 中不规则窗体的编程实现
解说Win32的窗口子类化
使用测试优先方法开发用户界面
一个简单的登录对话框的实现
一个简单的日记本程序
从资源中加载皮肤
一个在RichEdit中添加表情图象的类
ActiveSkin 4.3 软件换肤在VC中的实现
一种另类“关于(About)”对话框的动态显示方法
对话框打印预览及打印
关于如何换肤、子类化的解决方案
制作 MSN、QQ 的消息提示窗口
如何对 BCGControlBarPro 进行换肤
定制个性化的对话框窗口类
改变窗口中的光标形状
更新MFC中的视图，跟踪.NET Framework中的事件

No. « 20 21 22 23 »

技术文章搜索

关键字

VC++ 中的 解析动态联编(下篇) - 作者:tingya

出处:互联网   整理: 软晨网（RuanChen.com）   发布: 2009-10-30   浏览: 52 ::
收藏到网摘: n/a


解析动态联编(下篇)
作者:南京邮政局计算机中心 tingya
上接解析动态联编(上篇)

三 虚函数表VTABLE

动态联编过程跟我们猜测的大致相同。编译器在执行过程中遇到virtual关键字的时候，将自动安装动态联编需要的机制，首先为这些包含virtual函数的类（注意不是类的实例）--即使是祖先类包含虚函数而本身没有--建立一张虚拟函数表VTABLE。在这些虚拟函数表中，编译器将依次按照函数声明次序放置类的特定虚函数的地址。同时在每个带有虚函数的类中放置一个称之为vpointer的指针，简称vptr，这个指针指向这个类的VTABLE。
关于虚拟函数表，有几点必须声明清楚：
1. 每一个类别只能有一个虚拟函数表，如果该类没有虚拟函数，则不存在虚拟函数表。
2. C++编译时候编译器会在含有虚函数的类中加上一个指向虚拟函数表的指针vptr。
3. 从一个类别诞生的每一个对象，将获取该类别中的vptr指针，这个指针同样指向类的VTABLE。

因此类、对象、VTABLE的层次结构可以用下图表示。其中X类和Y类的对象的指针 都指向了X,Y的虚拟函数表，同时X,Y类自身也包含了指向虚拟函数的指针。

为了方便问题说明，我们将2.cpp例子进行扩展，扩展程序如下。
//4.cpp15. #include <iostream.h >16. class shape{17. public:18. virtual void draw(){cout<<"shape::draw()"<<endl;}19. virtual void area(){cout<<"shape::area()"<<endl;}20. void fun(){draw();area();}21. };22. class circle:public shape{23. public:24. void draw(){cout<<"circle::draw()"<<endl;}25. void adjust(){cout<<"circle::adjust()"<<endl;}26. };27. main(){28. shape oneshape;29. oneshape.fun();30. 31. circle circleshape;32. shape& baseshape=circleshape;33. baseshape.fun();34. }
编译器在编译上面这段代码的时候将为这shape和circle两个对象分别建立一个VTABLE表，这些表依次填充派生类对象和基类对象中声明的所有的虚函数地址。如果派生类本身没有重新定义基类的虚函数，那么填充的就是基类的虚函数地址。这样一旦如果函数调用一个派生类不存在的方法时候能够自动调用基类方法。然后编译器在每个类中放置一个vptr，一般置于对象的起始位置，继而在对象的构造函数中将vptr初始化为本类的VTABLE的地址。整个结果布局如下。

图一

图一中的rectangle的VTABLE中的area() 和triangle的VTABLE的adjust()都是填充的基类的虚函数地址。 C++ 编译程序时候按下面的步骤进行工作:
①为各类建立虚拟函数表，如果没有虚函数则不建立。
②暂时不连接虚函数，而是将各个虚函数的地址放入虚拟函数表中。
③直接连接各静态函数。
这些工作做完之后，模块图如图二：

图二

执行时候，诞生了oneshape和circleshape两个对象，oneshape对象的vptr指针指向shape的VTABLE，circleshape对象的vptr指针指向circleshape的VTABLE，在执行oneshape.fun()的时候，fun函数的this指针指向了oneshape对象，进入fun()之后程序继续执行this->draw()，由于this指向oneshape对象，oneshape的vptr又指向shape类的VTABLE，这样就从VTABLE中得到需要绑定的函数的地址，并连接起来。同样，this-> area()也经由oneshape对象而连接到相应的函数上，如图三。

图三

现在我们执行baseshape.fun()函数。
circle circleshape;shape& baseshape=circleshape;baseshape.fun();
函数进入fun函数之后，函数的this指针将指向basefun对象，另一方面basefun指向一个circleshape，因此this指针指向的实际上为circleshape对象，而circleshape的vptr指针指向circle类的虚拟函数表，这样编译器将从虚拟表中取出circle::draw()和circle::area()的地址，进行连接。因为circle本身没有重新定义area()方法，因此编译器使用shape的area()方法。如图四。