DELPHI 对象的本质 VMT

http://www.cnblogs.com/little-mat/articles/2206627.html

TObject是所有对象的基本类,DELPHI中的任何对象都是一个指针,这个指针指明该对象在内存中所占据的一块空间!   
   对象空间的头4个字节是指向该对象类的虚方法地址表(VMT-Vritual   Method   Table)。接下来的空间就是存储对象本身成员数据的空间,并按从该对象最原始祖先类的数据成员到该对象类的数据成员的总顺序,和每一级类中数据成员的定义顺序存储。   
  类的虚方法地址表(VMT)保存从该类的原始祖先类派生到该类的所有类的虚方法的过程地址。   
  即使,我们自己并未定义任何类的虚方法,但该类的对象仍然存在指向虚方法地址表的指针,只是地址项的长度为零。可是,在TObject中定义的那些虚方法,如Destroy、FreeInstance等等,又存储在什么地方呢?原来,他们的方法地址存储在相对VMT指针负方向偏移的空间中。其实,在VMT表的负方向偏移76个字节的数据空间是对象类的系统数据结构,这些数据结构是与编译器相关的,并且在将来的DELPHI版本中有可能被改变。   
  VMT是一个从负偏移地址空间开始的数据结构,负偏移数据区是VMT的系统数据区,VMT的正偏移数据是用户数据区(自定义的虚方法地址表)。TObject中定义的有关类信息或对象运行时刻信息的函数和过程,一般都与VMT的系统数据有关,事实上,self之上就是RTTI信息。   
  一个VMT数据就代表一个类,其实VMT就是类!在Object   Pascal中我们用TObject、TComponent等等标识符表示类,它们在DELPHI的内部实现为各自的VMT数据。而用class   of保留字定义的类的类型,实际就是指向相关VMT数据的指针。   
  对我们的应用程序来说,VMT数据是静态的数据,当编译器编译完成我们的应用程序之后,这些数据信息已经确定并已初始化。我们编写的程序语句可访问VMT相关的信息,获得诸如对象的尺寸、类名或运行时刻的属性资料等等信息,或者调用虚方法或读取方法的名称与地址等等操作。当一个对象产生时,系统会为该对象分配一块内存空间,并将该对象与相关的类联系起来,于是,在为对象分配的数据空间中的头4个字节,就成为指向类VMT数据的指针。

//创建一个对象   obj   :=   TObject.Create;   
  1)   用   TObject   对应的   VMT   为依据,调用   TObject   的   Create   构造函数。   
  2)   而在   Create   构造函数调用了系统的   _ClassCreate   过程,   
  3)   系统的   ClassCreate   过程又通过类   VMT   调用   NewInstance   虚方法。   
  4)   调用   NewInstance   方法的目的是要建立对象的实例空间,因为我们没有重载该方法,所以,   
        它就是   TObject   类的   NewInstance。   
  5)   TObjec   类的   NewInstance   方法将根据编译器在VMT表中初始化的对象实例尺寸(InstanceSize),   
        调用   GetMem   过程为该对象分配内存,   
  6)   然后调用   InitInstance   方法将分配的空间初始化。   
  7)   InitInstance方法首先将对象空间的头4个字节初始化为指向对象类对应VMT的指针,然后将其余的空间清零。   
  8)   建立对象实例之后,还调用了一个虚方法AfterConstruction。   
  9)   最后,将对象实例数据的地址指针保存到AnObject变量中,这样,obj   对象就诞生了。   
  //消灭一个对象     Obj.Destroy;   
          TObject的析构函数Destroy被声明为虚方法,它也是系统固有的虚方法之一。   
  1)   Destory方法首先调用了   BeforeDestruction   虚方法,   
  2)   然后调用系统的   _ClassDestroy过程。   
  3)   _ClassDestory   过程又通过类VMT调用   FreeInstance   虚方法,   
  4)   由FreeInstance方法调用FreeMem过程释放对象的内存空间。

  就这样,一个对象就在系统中消失。在对象的构造和析构过程中,调用了NewInstance和FreeInstance两个虚函数,来创建和释放对象实例的内存空间。之所以将这两个函数声明为虚函数,是为了能让用户在编写需要用户自己管理内存的特殊对象类时(如在一些特殊的工业控制程序中),有扩展的空间。   
  而将AfterConstruction和BeforeDestruction声明为虚函数,也是为了将来派生的类在产生对象之后,有机会让新诞生的对象呼吸第一口新鲜空气,而在对象消亡之前可以允许对象完成善后事宜,这都是合情合理的事。其实,TForm对象和TDataModule对象的OnCreate事件和OnDestroy事件,就是在TForm和TDataModule重载的这两个虚函数过程分别触发的。   
  TObject的构造函数Create和析构函数Destory竟然没有写任何代码,其实,在调试状态下,通过Debug的CPU窗口,可清楚地反映出Create和Destory的汇编代码。因为,缔造DELPHI的大师门(Hejlsberg...)不想将过多复杂的东西提供给用户,他们希望用户在简单的概念上编写应用程序,将复杂的工作隐藏在系统的内部由他们承担。所以,在发布System.pas单元时特别将这两个函数的代码去掉,让用户认为TObject是万物之源,用户派生的类完全从虚无中开始,这本身并没有错。   
  虽然,阅读DELPHI的这些最本质的代码需要少量的汇编语言知识,但阅读这样的代码,可以让我们更深刻认识DELPHI世界的起源和发展的基本规律。即使看不太懂,能起码了解一些基本东西,对我们编写DELPHI程序也是大有帮助。   
      那是虚拟方法表在内存中的情况,可以清楚的看到   self(此 self 指对象的self)   指针就指向了虚拟方法表的入口,而   self (此 self 指类的self)  指针则位于虚拟方法表的入口地址-76的位置。   
  当然这不具有通用性,因为在将来的delphi版本这个位置可能会变.   
      self之上就是RTTI信息。所以delphi实现RTTI是与C++不同的,C++靠宏。   
  Delphi则依靠编译器,是与delphi当前版本的编译器紧密相关的。   
  不过反正做Pascal编译器的就Borland一家.....

虚拟方法表:$   system.pas   
  {   Virtual   method   table   entries   }   
      vmtSelfPtr                       =   -76;   
      vmtIntfTable                   =   -72;   
      vmtAutoTable                   =   -68;   
      vmtInitTable                   =   -64;   
      vmtTypeInfo                     =   -60;   
      vmtFieldTable                 =   -56;   
      vmtMethodTable               =   -52;   
      vmtDynamicTable             =   -48;   
      vmtClassName                   =   -44;   
      vmtInstanceSize             =   -40;   
      vmtParent               =   -36;   
      vmtSafeCallException   =   -32;   
      vmtAfterConstruction   =   -28;   
      vmtBeforeDestruction   =   -24;   
      vmtDispatch                     =   -20;   
      vmtDefaultHandler         =   -16;   
      vmtNewInstance               =   -12;   
      vmtFreeInstance             =   -8;   
      vmtDestroy                       =   -4;   
      vmtQueryInterface         =   0;   
      vmtAddRef                         =   4;   
      vmtRelease                       =   8;   
      vmtCreateObject             =   12;

}

参考资料:   
  1   <天方夜谈VCL>   
  2   <Delphi的原子世界>

时间: 2024-08-08 01:24:10

DELPHI 对象的本质 VMT的相关文章

Delphi对象变成Windows控件的前世今生(关键是句柄和回调函数)

----------------------------------------------------------------------第一步,准备工作:预定义一个全局Win控件变量,以及一个精简化的Win控件类var CreationControl: TWinControl = nil; // 定义全局变量,用来表示每次刚创建的Win控件 TWinControl = class(TControl) private FDefWndProc: Pointer; // 记录原有的窗口过程,但只有

OC对象的本质

OC对象的本质 平时编写的Object-C代码,底层实现其实都是C/C++代码. 所以Objective-C的面向对象都是基于C/C++的数据结构实现的,OC对象内部可以容纳不同数据类型的数据,因此可以推断OC对象的底层数据结构就是结构体. 为了进一步研究OC对象的本质,我们使用苹果Xcode内置的LLVM编译器前端clang中-rewrite-objc 将我们的OC代码转为C/C++代码. clang -rewrite-objc main.m -o main.cpp 由于不同平台支持的代码肯定

使用Delphi对象

一.声明和实例化 在使用一个对象之前,用class关键字声明一个对象.可以在一个程序或单元的type部分声明一个对象类型: type TFooObject = class; 除了声明一个对象类型,通常还需要一个对象的变量,即实例.实例定义在var部分 var FooObject: TFooObject; 在Delphi中通过调用它的一个构造器来建立一个对象的实例,构造器主要是用来为对象创建实例并为对象中的域分配内存进行初始化使得对象处于可使用的状态. Delphi的对象至少有一个构造器称为cre

Delphi对象的秘密:在Delphi中的类实例实际上是指向堆中的类实例数据的3 2位指针

在Delphi中的类实例实际上是指向堆中的类实例数据的32 位指针 当访问对象的域.方法和属性时,编译器会自动产生一些代码来处理这个指针.因此对于新手来说,对象就好像是一个静态变量.这意味着,Delphi无法像C++那样在应用程序的数据段中为类分配内存,而只能在堆中分配内存. 所以Delphi的对象实例需要最后自己调用Free()方法来释放,而不能在作用域结束之后被自动释放

PHP中的对象的本质

PHP中的面向对象 先看PHP源码中对变量的定义 #zend/zend.h typedef union_zvalue_value { long lval;/* long value */ double dval;/* double value */ struct { char *val; int len; } HashTalbe *ht /* hash table value */ zend_object_value obj; } zvalue_value; zvalue_value, 就是PH

块存储、文件存储、OA信用盘源码下载对象存储本质区别

块存储主要是将OA信用盘源码下载裸磁盘空间整个映射给主机使用的,就是说例如磁盘阵列里面有5块硬盘(为方便说明,假设每个硬盘1G),然后可以通过划逻辑盘.做Raid.或者LVM(逻辑卷)等种种方式逻辑划分出N个逻辑的硬盘.(假设划分完的逻辑盘也是5个,每个也是1G,但是这5个1G的逻辑盘已经于原来的5个物理硬盘意义完全不同了.例如第一个逻辑硬盘A里面,可能第一个200M是来自物理硬盘1,第二个200M是来自物理硬盘2,所以逻辑硬盘A是由多个物理硬盘逻辑虚构出来的硬盘.) 接着块存储会采用映射的方式

Delphi 深入浅出VCL(1)-Delphi对象基础VCL

原文地址:https://www.cnblogs.com/YiShen/p/9872302.html

Delphi 对象的特性

原文地址:https://www.cnblogs.com/fanweisheng/p/11409801.html

Delphi接口的底层实现(接口在内存中仍然有其布局,它依附在对象的内存空间中,有汇编解释)——接口的内存结构图,简单清楚,深刻 good

引言 接口是面向对象程序语言中一个很重要的元素,它被描述为一组服务的集合,对于客户端来说,我们关心的只是提供的服务,而不必关心服务是如何实现的:对于服务端的类来说,如果它想实现某种服务,实现与该服务相关的接口即可,它也不必与使用服务的客户端进行过多的交互.这种良好的设计方式已经受到很广泛的应用. 早在Delphi 3的时候就引入了接口的概念,当时完全是因为COM的出现而诞生的,但经过这么多版本的进化,Delphi的接口已经成为Object Pascal语言的一部分,我们完全可以用接口来完成我们的