Delphi.NET 内部实现分析(3.1)

Delphi.NET 内部实现分析(3.1)

2. Borland.Delphi.System

2.1.  简介

   与传统 Delphi 程序编译时默认包含 System 单元类似， Delphi.NET 程序编译时默认保护了
Borland.Delphi.System 单元，而此单元中集中了诸多基础之基础的类和函数的定义、实现。
与 Delphi 不同的是，目前 Delphi.NET 的预览版中， Borland.Delphi.System 还只是包含了
相对基本的功能，如 TObject 类及其相关辅助函数、以及一些基础的函数，特别是很多带下划线
前缀的函数，根本就是由编译器一级固化支持，如标准输入输出函数中的 WriteLn 以及字符串处理函数等等。
下面我们来一点点分析这个最基础的单元： Borland.Delphi.System 。

2.2.  元类

   语言的发展历程，就是对问题域的抽象层面的逐渐提升的过程。在 Delphi 、 C# 以及 Java 这些
现代语言中，一个很重要的特性就是对 RTTI  运行时类型信息的支持，而且支持将越来越完善。
Delphi 在这方面一个实例就是元类的概念的运用，用以对类的信息进一步抽象。
   关于元类的概念以及使用，已经有大量书籍论述过，这里不再多说，让我们来看看实现。
   在传统 Delphi 的 Object Pascal 语言中，元类在实现上实际上就是一张 VMT(Virtual Method Table
虚方法表 ) ，在 System 单元的定义中可以详细看到其含义
//-----------------------------------------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 deprecated;  // don't use these constants.
  vmtAfterConstruction = -28 deprecated;  // use VMTOFFSET in asm code instead
  vmtBeforeDestruction = -24 deprecated;
  vmtDispatch          = -20 deprecated;
  vmtDefaultHandler    = -16 deprecated;
  vmtNewInstance       = -12 deprecated;
  vmtFreeInstance      = -8 deprecated;
  vmtDestroy           = -4 deprecated;
//-----------------------------------------System.pas--
   普通对象的第一个双字就是指向其类的 VMT 的指针，以此将对象、类和元类关联起来。
这个 VMT 表是 Delphi 中类的核心所在，通过它可以在运行时获取类的绝大部分信息。
例如在 VMT 中有一个 vmtSelfPtr 指针又回指到 VMT 表头，我们可以利用这个特性判断一个
指针指向的是否是有效的对象或类。 JCL 项目中有代码如下
//-----------------------------------------JclSysUtils.pas--
function IsClass(Address: Pointer): Boolean; assembler;
asm
        CMP     Address, Address.vmtSelfPtr
        JNZ     @False
        MOV     Result, True
        JMP     @Exit
@False:
        MOV     Result, False
@Exit:
end;

function IsObject(Address: Pointer): Boolean; assembler;
asm
// or IsClass(Pointer(Address^));
        MOV     EAX, [Address]
        CMP     EAX, EAX.vmtSelfPtr
        JNZ     @False
        MOV     Result, True
        JMP     @Exit
@False:
        MOV     Result, False
@Exit:
end;
//-----------------------------------------JclSysUtils.pas--
   通过 VMT 中其它的域可以完成更多奇妙的功能，如 D6 开始对 SOAP 支持在实现上，
就是通过 VMT 动态查表完成 SOAP 函数调用到 Delphi 接口的函数调用转发的。
   而在 Delphi.NET 中，因为 Borland 无法控制类在内存中的组织方式，因而只能
通过前面提到的 class helper 的补丁方式，让 CLR 的 BCL 的 System.Object 使用上
看起来象 TObject 。这样的确能够在很大程度上提供源代码级兼容性，但对 JclSysUtils
这样的 Hacker 代码就无能为力了  :)