CSDN博客

img cwxiao888

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

发表于2004/3/3 10:41:00  880人阅读

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

2.5 其它

  
在了解了Borland.Delphi.System中的几个重要部分之后,剩下的就是一些零零碎碎的扫尾工作。

2.5.1 
类型别名

  
为兼容Delphi中的特有类型,Borland.Delphi.System单元中定义了很多类型别名。
如我们前面分析过的TObject就是System.Object的别名。
//-----------------------------------------Borland.Delphi.System.pas--
type
  TDateTime = type Double;
  Extended = type Double;   // 80 bit reals are unique to the Intel x86 architecture
  Comp = Int64 deprecated;

  TGUID = packed record
    D1: LongWord;
    D2: Word;
    D3: Word;
    D4: array[0..7] of Byte;
  end;
//-----------------------------------------Borland.Delphi.System.pas--
  
对于DelphiTDateTime类型来说,它在实现上是以一个Double8字节浮点数存储的,
兼容OLE自动化中的时间格式。在Delphi.NET中继承了这一存储方式,而没有直接使用BCL
提供的System.DateTime结构,不过仍然可以使用DateTime.FromOADate
DateTime.ToOADate
方法在System.DateTimeTDateTime之间双向转换。
格式存储说明如下(from MSDN)

  OLE 
自动化日期以浮点数形式实现,其值为距 1899  12  30 日午夜的天数。
例如,1899  12  31 日午夜表示为 1.01900  1  1 日早晨 6 点表示为 2.25
1899 
 12  29 日午夜表示为 -1.01899  12  29 日早晨 6 点表示为 -1.25
  
只有刻度值大于或等于正的或负的 31241376000000000  DateTime 对象才可以表示为
OLE 
自动化日期。未初始化的 DateTime(即刻度值为 0 的实例)将转换为等效的未初始化
OLE 
自动化日期(即值为 0.0 的日期,它表示 1899  12  30 日午夜)。

  
ExtendedComp则只是一个简单的别名。TGUID也只是一个简单的重定义。
  
值得注意的是这里的packed关键字。在CLR中,类的成员的物理位置对程序本身是没有意义的,
CLR
可以任意安排字段的位置以进行字节对齐等等优化操作。而为了与现有代码进行交互,CLR提供了
StructLayoutAttribute
属性允许限定类型的内部物理结构。在Delphi.NET中可以通过packed
关键字定义此结构的成员必须按定义的次序在内存中排列,即LayoutKind.Sequential的形式。
而在Delphi.NET中,所有的record在实现上都是ValueType的子类,即值类型,直接在堆栈上操作。

2.5.2 
异常

  
TObject一样,Delphi中异常类继承链的根ExceptionDelphi.NET中,也只是BCL的异常类
System.Exception
的一个别名,而只是通过class helper提供源代码级兼容性。
//-----------------------------------------Borland.Delphi.System.pas--
  Exception = System.Exception;
  ExceptionHelper = class helper for Exception
  private
    class function CreateMsg(const Msg: string): Exception;
    function GetHelpContext: Integer;
    procedure SetHelpContext(AHelpContext: Integer);
  public
    // Doc: The help context return zero(0) if exception's helplink property
    //  cannot be parsed into an integer.
    property HelpContext: Integer read GetHelpContext write SetHelpContext;

    // constructor Create(const Msg: string) is provided by the CLR class
    class function CreateFmt(const Msg: string; const Args: array of const): Exception;
    class function CreateHelp(const Msg: string; AHelpContext: Integer): Exception;
    class function CreateFmtHelp(const Msg: string; const Args: array of const;
      AHelpContext: Integer): Exception;
  end;
  ExceptionClass = class of Exception;

  EConvertError = class(Exception);

threadvar
  _ExceptObject: TObject;

function ExceptObject: TObject;
//-----------------------------------------Borland.Delphi.System.pas--
  
几个类函数Create*(...)都只是对System.Exception构造函数的包装而已,
用于保存异常相关帮助文件路径的System.Exception.HelpLink属性,则被Delphi.NET
用于保存HelpContext,因为在VCL中,所有的异常都是共用一个帮助文件TApplication.HelpFile
  
ExceptObject函数则由编译器支持,提供访问当前被抛出的异常的手段。此函数在Delphi
通过VCL维护的SEH异常链获取,而在Delphi.NET中只好由编译器在异常被截获后手动赋值给线程局部存储变量
_ExceptObject
,然后再由ExceptObject函数读出,这只是语法一级兼容Delphi而已。
  
不过这个预览版好像没有提供threadvar的支持,只是把它简单的放到Borland.Delphi.System单元的
全局变量中,作为自动生成Unit类的一个静态成员变量而已,并非线程安全!在Borland.Delphi.Classes
中甚至直接把TThread的定义注释掉,实现不提供。估计还在开发中……sigh

2.5.3 
断言(Assert)

  
断言负责在调试模式下检测一个条件是否成立,失败则引发异常。
//-----------------------------------------Borland.Delphi.System.pas--
interface

{ debugging functions }

procedure _Assert(const Message, Filename: AnsiString; LineNumber: Integer);

type
  EAssertionFailed = class(Exception)
  public
    ShortMessage: string;
    Filename: string;
    LineNumber: Integer;
  end;

resourcestring
  SAssertionFailed = '%s (%s at %d)';

implementation

procedure _Assert(const Message, Filename: AnsiString; LineNumber: Integer);
var
  LException: EAssertionFailed;
begin
  { TODO : Should we be using System.Diagnostics.Debug.Assert/Fail? }
  {$MESSAGE WARN 'Assert doesn''t use CreateFmt because it returns the wrong type'}
  LException := EAssertionFailed.Create(Format(SAssertionFailed, [Message, Filename, LineNumber]));
  LException.ShortMessage := Message;
  LException.Filename := Filename;
  LException.LineNumber := LineNumber;
  raise LException;
end;
//-----------------------------------------Borland.Delphi.System.pas--
  _Assert
函数的定义基本上是EAssertionFailed异常的一个简单包装。因为Delphi没有提供类似
C++
__FILE____LINE__之类的预定义宏,故而只能由编译器在用户使用到Assert函数时,
将当前文件名、行号等调试信息编译进代码中,即在编译器一级提供断言实现。

//-----------------------------------------Borland.Delphi.System.pas--
function Assigned(const AGCHandle: GCHandle): boolean;
begin
  Result := AGCHandle.IsAllocated;
end;
//-----------------------------------------Borland.Delphi.System.pas--

//-----------------------------------------GCHandle.cs--
namespace System.Runtime.InteropServices {
  public struct GCHandle {
    private IntPtr m_handle;

    public bool IsAllocated { get { return m_handle != IntPtr.Zero; } }
  }
}
//-----------------------------------------GCHandle.cs--
  Assigned
则是对一个引用类型变量进行检测,与Delphi类似,Delphi.NET中直接通过检测引用类型值
是否为空(null)判断是否有效,但对于值类型则将之与0进行比较。

2.5.4 
随机数

  Delphi.NET
中的随机数基本上是对BCL相关类的一个简单包装,而BCL的随机数算法与VCL一样弱智,
简单的功能还凑合,BCLSystem.Security.Cryptography.RandomNumberGenerator相比之下
随机性就好得多,不过要付出速度上的代价。

//-----------------------------------------Borland.Delphi.System.pas--
interface

{ random functions }

var
  RandSeed: LongInt = 0;

procedure Randomize;

function Random(const ARange: Integer): Integer; overload;
function Random: Extended; overload;

implementation

var
  LastRandSeed: Integer = -1;
  RandomEngine: System.Random;

procedure InitRandom;
begin
  if LastRandSeed <> RandSeed then
  begin
    if RandSeed = 0 then
      RandomEngine := System.Random.Create
    else
      RandomEngine := System.Random.Create(RandSeed);
    LastRandSeed := RandSeed;
  end;
end;

procedure Randomize;
begin
  LastRandSeed := -1;
  RandSeed := 0;
end;

function Random(const ARange: Integer): Integer;
begin
  InitRandom;
  Result := RandomEngine.Next(ARange);
end;

function Random: Extended;
begin
  InitRandom;
  Result := RandomEngine.NextDouble;
end;
//-----------------------------------------Borland.Delphi.System.pas—

 

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

 

不好意思,实在想不到有什么值得说的了,只好草草结束了 

2.5.5 
其它.其它

  Borland.Delphi.System
单元虽然比Delphi中的System单元小的多,
但其中也充斥着大量常用但是实现代码枯燥的函数。如

  
数字处理函数集
  
字符串处理函数集
  
命令行信息获取函数集(CmdLine/ParamCount/ParamStr)
  
格式化输出函数集(Format)
  
文本文件(Text类型,而File类型文件不提供支持)///写等函数集
  
动态数组管理(System.Array类型的简单包装)
  
当前路径及目录操作函数集
  
集合类型(CLR中并无集合概念,Set实现上是字节数组的简单包装)
  
其它一些杂项函数
  
等等等等

  
这些零散代码基本上都是对BCL相应功能的简单包装,这里就不一一详述了。

2.5.6 
小结

  
至此,对Delphi.NET中核心单元Borland.Delphi.System单元的介绍
就告一段落了。通过对此单元的分析,我们大致了解了Delphi.NET中对于Delphi
一些核心概念的实现或模仿思路,但不排除在正式版中实现有所改变。


题外话:

  
首先感谢大家的热心支持,这是督促我这个懒人写完文章(哪怕是草草结束)的最大动力,
也希望这篇文章能够对大家了解即将到来的Delphi.NET、迎接.NET时代有所帮助。
  
这个系列文章到这里估计也就暂时告一段落了,因为时间仓促、准备不足而且
笔者水平有限,只涉及到Delphi.NET在实现上与Delphi不同的部分内容,
Delphi.NET的改变来说只是冰山一角而已。本来还想扩大一点分析面,
但考虑到Delphi.NETRTL其它单元大多只是对原有Delphi代码的BCL封装移植
技术难度并不大,对Delphi熟悉的读者直接阅读源程序可能比看我的文章更容易一些。
因此在分析完涉及到一些底层只是的Borland.Delphi.System后就此打住,
虽然有些虎头蛇尾之嫌,但总免得背画蛇添足之骂名 :)
  
至于构建在Delphi.NETRLT之上的应用层架构VCL和以后可能要支持的CLX
我就没有太多精力写文章介绍了。因为就目前实现的VCL代码来看,只是将以前的VCL代码
managed
化而已,实现上还是使用Windows那套传统API管理窗口,与BCL
System.Windows.Forms.Form
根本不搭界。这样一来在Delphi.NET中又多了一个选择
VCL or CLX or System.Windows.Forms.Form...sigh
,是好是坏只能待时间评判。
  
文中如果有解释不够清楚的地方,大家可以跟贴提出。也欢迎来信
于我讨论Delphi.NETCLR相关问题。  再次感谢大家的支持!:)

0 0

相关博文

我的热门文章

img
取 消
img