Delphi的对象机制浅探.docx

Delphi的对象机制浅探2004-1-3

前几天开始阅读VCL 源代码，可是几个基类的继承代码把我看得头大。在大富翁请教了几位仁兄后，我还是对Delphi对象的创建和方法调用原理不太清楚。最后只好临时啃了一下汇编，把Delphi对象操作的几个关键的方法勘察了一遍。

你可以通过以下链接知道我为什么要做这件事：/delphibbs/dispq.asp?lid=2385681

这是我花费一个晚上的测试结果，更多的细节只能以后在学习中再去了解。主要测试项目为：

⊙测试目标：查看TObject.Create的编译器实现

⊙测试目标：查看constructo函r数中inherited的编译器实现

⊙测试目标：以objectreferen和ceclassreferen调ce用构造函数的编译器实现

⊙测试目标：考查Object和Class在调用classmethod时的编译器实现

⊙测试目标：考查ShortString返回值类型的函数没有赋值时编译器的实现

我把测试的细节记录在后文，一是自己留作参考，二是给对此有兴趣的朋友参考。其实更重要的是，大家可以帮忙检查我的分析有没有错误。我一直是用Delphi的组件拖放编程，真正的功底只是这几

天阅读ObjectPascalReferen和ceVCL 得来的，汇编更是临时抱佛脚，所以错误难免。我清楚自己

的水平，所以写下结论后非常担心。尽管如此，我的目的是为了学习，希望你发现错误后帮我指出来。主要的结论是：

(*)TObject.Crea确te实是个空函数，Borland并没有隐藏TObject.Create的代码。TObject.Creat的e汇编代码是由constructordirect指iv示e编译器形成的，编译器对每个class都一视同仁。

(*)dl和eax是constructorCrea实te现的关键寄存器。Borland将对象的创建过程设计得精妙而清晰(个人感觉，因为我不知道其他的语言比如C++是如何实现的)。

(*)一个对象的正常的创建(Obj:=TMyClass.Creat过e)程是这样的：

编译器保证第一个constructo调r用之前dl=1

编译器保证inheritedCreat调e用之前dl=0

dl=时1 编译器保证Create时eax=pointertoclassVMT

dl=0时编译器保证Create时eax=pointertocurrentobject

编译器保证任何层次的constructo调r用后eax=pointertocurrentobject

dl=时1 编译器保证Create调用System._ClassCrea，te并与constructor相同的方式使用eax

dl=1时编译器保证Create调用System._AfterConstructi，on并且调用前后eax=pointertocurrentobject

dl=0时编译器保证Create不会调用System._ClassCreate

dl=0时编译器保证Create不会调用System._AfterConstruction

System._ClassCrea中te设置结构化异常处理，在Create即将结束时关闭结构化异常处理。

如果出错则会(1)释放由编译器分配的内存(2)恢复堆栈至创建对象之前(3)调用TSomeClass.Destro。y

(*)objectrefere方nc式e

的constructo调r

用，编译器尝试实现为inherited调用，结果当然是错误。

(*)classmetho的d调用隐含参数eax为指向VMT 的指针，不管是用class还是object方式调用，编译器都会正确地把指向classVMT的指针传递给eax。

要读懂下文的测试过程，可能需要相关基础，推荐阅读ObjectPascalReferen以ce下章节：Parameterpassing

Functionresults

Callingconventions(reg缺is省te调r用约定，constructor和destructor函数必须采用register约定)Inlineassamblycode

《Delphi的原子世界》非常值得一读。以下是测试内容：

=================================================

⊙测试目标：查看TObject.C