Delphi中类的VMT

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;

}