Delphi 的RTTI机制浅探(一)

======================================================
注：本文源代码点此下载
======================================================

delphi 的rtti机制浅探(一)

目 录

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

⊙ dfm 文件与持续机制(persistent)

⊙ readcomponentresfile / writecomponentresfile 函数

⊙ delphi 持续机制框架简述

⊙ 一个 tform 对象的创建过程

⊙ tstream class 和 tstream.readcomponent 方法

⊙ treader class 和 treader.readrootcomponent 方法

⊙ treader.readprefix 方法

⊙ tcomponent.readstate 虚方法

⊙ treader.readdata 方法

⊙ treader.readdatainner 方法

⊙ treader.readproperty 方法

⊙ tpersistent.defineproperties 虚方法

⊙ treader.readcomponent 方法

⊙ treader.readvalue / treader.nextvalue 系列方法

⊙ treader.readstr 方法

⊙ treader.readinteger / readstring / readboolean 系列方法

⊙ treader.read 方法

⊙ objectbinarytotext / objecttexttobinary 函数

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

本文排版格式为:

正文由窗口自动换行;所有代码以 80 字符为边界;中英文字符以空格符分隔。

(作者保留对本文的所有权利,未经作者同意请勿在在任何公共媒体转载。)

正 文

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

⊙ dfm 文件与持续机制(persistent)

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

我们在使用 delphi 的 ide 进行快速开发的时候,可以方便地从元件面板上拖放元件(component)至表单,完成表单的界面和事件设计。delphi 将这些界面的设计期信息保存在表单相应的 dfm 文件中,方便程序员随时读取和修改。

dfm 文件根据元件在表单上的嵌套层次存放元件属性,以下是一个 dfm 文件的示例:

object form1: tform1

...

left = 192

top = 107

width = 544

caption = 'form1'

object button1: tbutton

left = 24

top = 16

caption = 'button1'

onclick = button1click

end

...

end

应用程序编译之后,dfm 文件的信息被二进制化了,这些二进制信息存储在应用程序的资源(resource)段中。每个表单(也就是 class)及表单上的元件在资源段中存储为与表单同名的资源,可以使用 findresource api 获得。应用程序在运行期创建表单实例的时候,会从资源段中读取表单的属性,还原设计期的设置。这种将类型信息保存在文件中,并且可以在运行期恢复类型的操作,在本文中被称之为持续(persistent)机制。持续机制是 delphi 成为 rad 工具的原因之一。

持续机制和 rtti 是紧密结合的,但本文不讨论 rtti(关于 rtti 可参考我前几天写的两篇笔记),只讨论实现持续机制的总体框架及相关类(class)。这些类包括 tstream、tfiler、treader、twriter、tparser、tpersisetent、tcomponent、tcustomform 等。

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

⊙ readcomponentresfile / writecomponentresfile 函数

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

让我们从一个比较直观的例子开始。

classes.pas 中定义了两个函数 readcomponentresfile 和 writecomponentresfile,它们的功能是“把元件的属性信息保存到文件”和“从文件中恢复元件属性信息”。

先做个试验。新建一个项目,在 form1 上放置两个 button 和一个 memo。button 的 click 事件代码如下。按 f9 运行该项目,先在 memo1 中输入一些字符,然后按下 button1,再按下 button2,你会看一个新建的 form。它的属性几乎和 form1 一样,甚至连 memo1 中的字符都保存下来了,唯一的不同只是它的 name 属性变成了“form1_1”。你可以查看 form1.res 文件的内容看看 delphi 是如何存储元件信息的。

procedure tform1.button1click(sender: tobject);

begin

writecomponentresfile('c:\form1.res', form1);

end;

procedure tform1.button2click(sender: tobject);

var

newform: tform1;

begin

newform := tform1.createnew(application);

readcomponentresfile('c:\form1.res', newform);

newform.left := newform.left + 100;

end;

writecomponentresfile 函数的代码如下,它只是调用 stream 对象的 writecomponentres 方法将对象属性保存到资源文件中的:

procedure writecomponentresfile(const filename: string; instance: tcomponent);

begin

stream := tfilestream.create(filename, fmcreate);

stream.writecomponentres(instance.classname, instance);

stream.free;

end;

readcomponentresfile 函数也是调用 stream 的方法实现从文件中读取对属信息:

function readcomponentresfile(const filename: string; instance: tcomponent):

tcomponent;

begin

stream := tfilestream.create(filename, fmopenread or fmsharedenywrite);

result := stream.readcomponentres(instance);

stream.free;

end;

readcomponentresfile 函数可以通过 instance 参数传入对象句柄,也可以通过返回值获得对象句柄。instance 参数只能是已实例化的对象或 nil。如果是 nil,那么 readcomponentresfile 会自动根据文件信息创建对象实例,但必须使用 registerclass 函数注册将要被载入的类,否则会触发异常。

有个类似的函数 readcomponentres,它从应用程序的资源段中恢复对象的属性信息。它的 resname 参数就是表单类的名称:

function readcomponentres(const resname: string; instance: tcomponent):

tcomponent;

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

⊙ delphi 持续机制框架简述

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

持续机制的实现必须由 ide、编译器、表单类、元件类和辅助类合作完成。

这里的表单类不是指一般所指的 tform class,在 delphi 的帮助文件中,称之为“root class”。root class 是指能在设计期被 form designer 作为最上层编辑表单的类(如 tcustomform、tframe、tdatamodule 等)。delphi 在设计期将元件的 published 属性的值保存在 .dfm 文件中,也只有 published 的属性才能被 object insepector 设置赋值。

form designer 设计的 root class 对象在编译时,delphi 将对象的属性以及其所包含的元件的属性保存在应用程序的资源段(rt_rcdata)中。

辅助类包括 tstream、treader、twriter、tparser 等。这些类起着中间层的作用,用于存储和读取对象属性的信息。虽然我称它们为辅助类,但是保存和恢复对象信息的实际操作是由它们完成的。

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

⊙ 一个 tform 对象的创建过程

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

下面是一个典型的表单 form1 的创建过程,缩进代表调用关系(form1.readstate 例外,防止缩进太多),带“?”的函数表示我尚未仔细考察的部分,带“*”表示元件编写者需要注意的函数。

application.createform(tform1, form1);

|-form1.newinstance;

|-form1.create(application);

|-form1.createnew(application);

|-initinheritedcomponent(form1, tform);

|-internalreadcomponentres(form1.classname, form1reshinst, form1);

|-tresourcestream.create(form1reshinst, form1.classname, rt_rcdata);

|-tresourcestream.readcomponent(form1);

|-treader.create(resourcestream, 4096);

|-treader.readrootcomponent(form1);

|-treader.readsignature;

*|-treader.readprefix(flags, childpos);

|-if form1 = nil then form1 := findclass(readstr).create;

|-include(form1.fcomponentstate, csloading);

|-include(form1.fcomponentstate, csreading);

|-form1.name := finduniquename(readstr);

?|-ffinder := tclassfinder.create;

*|-form1.readstate(reader);

|-tcustomform.readstate(reader);

{ disablealign; }

|-twincontrol.readstate(reader);

{ disablealign; }

*|-tcontrol.readstate(reader);

{ include(fcontrolstate, csreadingstate); }

{ parent := twincontrol(reader.parent);}

*|-tcomponent.readstate(reader);

|-reader.readdata(form1);

|-reader.readdatainner(form1);

|-while not endoflist do reader.readproperty(form1);

|-if propinfotreader.readdata -> readdatainner -> treader.readproperty,重复 readrootcomponent 的过程。

treader.readcomponent 和 tcomponent.readstate 形成递归调用过程,把表单上嵌套的元件创建出来。

最后 initinheritedcomponent 函数返回,一个 root class 对象从资源中实例化的过程完成。

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

⊙ tstream class 和 tstream.readcomponent 方法

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

tstream 在对象持续机制扮演的角色是提供一种存储媒介,由 tfiler 对象使用。tstream 是一个虚类,它定义了数据的“流式”读写方法。它的继承类 tfilestream、tmemorystream、tresourcestream 等实现对不同媒体的读写。对象的 persistent 信息可以存储在任何 tstream 类中,也可以从任何 tstream 中获得。由于 delphi 缺省的对象信息存储在应用程序的资源段中,因此,可以从程序的资源段中读取数据的 tresourcestream 类就显得更加重要。

tstream 定义两个读写缓冲的方法:readbuffer 和 writebuffer。这两个方法封装了 tstream.read 和 tstream.write 纯虚方法(必须被后继类重载)。

{ tstream }

procedure readbuffer(var buffer; count: longint);

procedure writebuffer(const buffer; count: longint);

可以看到这两个方法的 buffer 参数都是无类型的,也就是使用引用的方式传入的,所以不管是使用单个字符或自定义的结构都是正确的(当然,不能使用常量)。count 指示要读或写入的 buffer 的大小(bytes)。

tstream 还定义了两个元件信息的读写方法:readcomponent 和 writecomponent。由于 writecomponent 通常是由 delphi 的 ide/编译器调用的,很难跟踪它的执行过程,所以我们以后主要考察 readcomponent 方法。我们可以很容易想像这两个方法互为逆过程,理解了其中一个也就能知道另一个所做的工作。

{ tstream }

function readcomponent(instance: tcomponent): tcomponent;

procedure writecomponent(instance: tcomponent);

tstream.readcomponent 创建了一个 treader 对象,将自己的对象地址作为参数传递给 reader,并调用 reader.readrootcomponent 创建对象实例。

function tstream.readcomponent(instance: tcomponent): tcomponent;

var

reader: treader;

begin

reader := treader.create(self, 4096);// 4096 是缓冲区大小

result := reader.readrootcomponent(instance);

reader.free;

end;

tstream 把自己的对象句柄交给 treader 之后,就成了 treader 读取对象属性资料的来源。此后 tstream 对象只由 treader 来掌控,自己不再主动进行其它工作。

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

⊙ treader class 和 treader.readrootcomponent 方法

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

treader 和 twriter 都是从 tfiler 继承下来的类。tfiler 是个纯虚类,它的构造函数被 treader 和 twrite 共享。tfiler.create 先把 stream 参数保存在 fstream 字段中,然后生成一个自己的缓冲区:

constructor tfiler.create(stream: tstream; bufsize: integer);

begin

fstream := stream;// 保存 stream 对象

getmem(fbuffer, bufsize);// 创建自己的缓冲区,加速数据访问

fbufsize := bufsize;// 设置缓冲区大小

end;

上面说到 tstream.readcomponent 在创建 treader 对象之后,立即调用 treader.readrootcomponent 方法。treader.readrootcomponent 方法的功能是从 stream 中读取 root class 对象的属性。并返回该对象的指针。

{ treader }

function readrootcomponent(root: tcomponent): tcomponent;

readrootcomponent 先调用 treader.readsignature。

treader.readsignature 方法从 stream 中读取 4 字节的内容,如果读出来的内容不是 'tpf0',则触发异常(sinvalidimage),表示该 stream 的内容是错误的。'tpf0' 就是 root class 对象的标记。

然后 readrootcomponent 调用 readprefix 读取元件的继承信息。

如果 root 参数是 nil,也就是说 root 对象还没被创建,则直接从流中读取 root 的类名,再使用 findclass 函数找到该类在内存中的地址,并调用该类的构造函数创建 root 的实例。如果 root 实例已存在,则调用内嵌的 finduniquname 函数检查 root.name 是否与已有的实例重复,如有重复则在 root.name 后加上序号使其唯一。

接下来 readrootcomponent 调用 root 的 readstate 虚方法从流中读取 root 对象的属性。

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

⊙ treader.readprefix 方法

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

readprefix 方法用于读取元件的状态信息,这些信息是由 writer 在写入元件属性之前写入的。

{ treader }

procedure readprefix(var flags: tfilerflags; var achildpos: integer); virtual;

flags 参数是以引用方式传递的,用于设置元件的在表单中的状态,元件的状态在这里包含三种情况:

ffinherited:表示元件存在于表单的父类之中

ffchildpos :表示元件在表单中的创建次序(creation order)是重要的

ffinline:表示元件是最上级(top-level)的元件,比如表单或数据模块

如果元件的状态中包含 ffchildpos,readprefix 还会读取元件的创建次序值,存放在 achildpos 参数中。

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

⊙ tcomponent.readstate 虚方法

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

设置 readstate 方法的主要目的是在读取属性信息的前后可以让元件进行一些处理工作。readstate 是 component writer 需要注意的方法。

{ tcomponent }

procedure readstate(reader: treader); virtual;

由于 readstate 是虚函数,在 tcontrol、twincontrol、tcustomform 等后续类中都被重载,进行自己需要的操作(比如 disablealign、updatecontrolstate)。

tcomponent.readstate 只有一行代码:reader.readdata(self);

注意:自己重载 readstate 方法必须调用 inherited 。

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

⊙ treader.readdata 方法

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

上面说到 tcomponent.readstate 又回头调用 treader.readdata 方法。它的主要代码如下:

{ treader }

procedure treader.readdata(instance: tcomponent);

begin

...

readdatainner(instance);

dofixupreferences;

...

end;

treader.readdata 基本上是个包装函数,它调用 treader.readdatainner 读取 root 对象及 root 所包含的元件的属性信息。

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

⊙ treader.readdatainner 方法

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

readdatainner 负责读取元件的属性和子元件的属性,它的主要代码如下:

procedure treader.readdatainner(instance: tcomponent);

begin

...

while not endoflist do readproperty(instance);

...

while not endoflist do readcomponent(nil);

...

end;

readdatainner 先循环调用 readproperty 从流中读取对象的属性,直到遇到 endoflist 标志(vanull)。再循环调用 readcomponent(nil) 读取子元件的信息。这两个方法都是 treader 的重要方法,后面分两节讨论。readdatainner 在readproperty 调用之后还设置了元件的 parent 和 owner 关系。

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

⊙ treader.readproperty 方法

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

readproperty 使用 rtti 函数将从流中读出的数据设置为对象的属性。它先解析从流中读出的属性名称,然后判断该属性是否有 rtti 信息,如果有则调用 treader.readpropvalue 方法从流中读取属性值;如果该属性没有 rtti 信息,说明该属性不属于 published 段,而是由元件自己写入的,因此调用 tpersistent.defineproperties 读取自定义的元件信息。readproperty 的关键代码:

procedure treader.readproperty(ainstance: tpersistent);

begin

...

propinfo := getpropinfo(instance.classinfo, fpropname);

if propinfo'' then propertyerror(fpropname); // 注意这里

end;

...

end;

readpropvalue 方法基本上是使用 setordprop、setfloatprop、setstrprop、getenumvalue 等 rtti 函数设置元件的属性值,它的代码冗长而简单,不再单独列出。下面介绍比较重要的 defineproperties 函数。

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

⊙ tpersistent.defineproperties 虚方法

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

defineproperties 虚方法用于元件设计者自定义非 published 属性的存储和读取方法。 tpersistent 定义的该方法是个空方法,到 tcomponent 之后被重载。

procedure tpersistent.defineproperties(filer: tfiler); virtual;

下面以 tcomponent 为例说明该方法的用法:

procedure tcomponent.defineproperties(filer: tfiler);

var

ancestor: tcomponent;

info: longint;

begin

info := 0;

ancestor := tcomponent(filer.ancestor);

if ancestorlongrec(info).lo);

filer.defineproperty('top', readtop, writetop,

longrec(fdesigninfo).hitreader.readdata -> readdatainner -> treader.readproperty,重复 readrootcomponent 的过程。

{ treader }

function readcomponent(component: tcomponent): tcomponent;

treader.readcomponent 和 tcomponent.readstate 形成递归调用过程,把表单上嵌套的元件创建出来。

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

⊙ treader.readvalue / treader.nextvalue 系列方法

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

readvalue 方法从流中读出一个 tvaluetype 类型的数据,它主要由其它的方法调用。

tvaluetype 中只有 valist 比较特殊,它表示后面的数据是一个属性值系列,以 vanull 结束。其余的枚举值的都是指属性的数据类型或值。

tvaluetype = (vanull, valist, vaint8, vaint16, vaint32, vaextended,

vastring, vaident, vafalse, vatrue, vabinary, vaset, valstring,

vanil, vacollection, vasingle, vacurrency, vadate, vawstring,

vaint64, vautf8string);

function treader.readvalue: tvaluetype;

begin

read(result, sizeof(result));

end;

nextvalue 方法调用 readvalue 返回流中下一个数据的类型,然后将流指针回退至读数据之前。通常用于检测流中下一个数据的类型。

function treader.nextvalue: tvaluetype;

begin

result := readvalue;

dec(fbufpos);

end;

checkvalue 方法调用 readvalue 检查下一个数据类型是否是指定的类型,如果不是则触发异常。

readlistbegin 方法检查下一个数据是否是 valist,它调用 checkvalue 方法。

readlistend 方法检查下一个数据是否是 vanull,它调用 checkvalue 方法。

skipvalue 方法使用 readvalue 获得下一个数据的类型,然后将流指针跳过这个数据。

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

⊙ treader.readstr 方法

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

readstr 方法读出流中的短字符串,treader 内部使用它读取属性名称等字符串,元件设计者应该使用 readstring 函数读取属性值。

function readstr: string;

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

⊙ treader.readinteger / readstring / readboolean 系列方法

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

treader 有一系列读取属性值的函数,可供元件设计者使用。

function readinteger: longint;

function readint64: int64;

function readboolean: boolean;

function readchar: char;

procedure readcollection(collection: tcollection);

function readfloat: extended;

function readsingle: single;

function readcurrency: currency;

function readdate: tdatetime;

function readident: string;

function readstring: string;

function readwidestring: widestring;

function readvariant: variant;

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

⊙ treader.read 方法

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

treader 中所有的数据都是通过 treader.read 方法读取的。treader 不直接调用 tstream 的读方法是因为 treader 的读数据操作很频繁,它自己建立了一个缓冲区(4k),只有当缓冲区中的数据读完之后才会调用 tstream.read 再读入下一段数据,这样可以极大地加快读取速度。read 是个汇编函数,编写得很巧妙,它的代码及注释如下:

procedure treader.read(var buf; count: longint); assembler;

asm

pushesi

pushedi

pushebx

movedi,edx; edifbufpos jmp @@2

ja@@2

moveax,esi; else eax 关注我收藏该文与我联系

posted on 2007-01-11 17:44 天马行空（笨笨） 阅读(115) 评论(0)编辑 收藏

======================================================
在最后，我邀请大家参加新浪APP，就是新浪免费送大家的一个空间，支持PHP+MySql，免费二级域名，免费域名绑定 这个是我邀请的地址，您通过这个链接注册即为我的好友，并获赠云豆500个，价值5元哦！短网址是http://t.cn/SXOiLh我创建的小站每天访客已经达到2000+了，每天挂广告赚50+元哦，呵呵，饭钱不愁了，\(^o^)/