4.3 单元初始化与结束化

4.3.1单元初始化与结束化的内部例程

　　Delphi会初始化每一个单元，单元结束化则是初始化的逆过程。它们对应于System.，pas中的两个内部例程：

procedure InitUnits；
procedure FinalizeUnits；

　　编译器会采用深度优先遍历算法扫描项目的所有单元，然后生成一个初始化表。编译器保证每个单元在初始化表中不会重复，从而使得每一个单元只会被初始化一次。

　　从执行流程的角度上来说，等到例程InitUnits（）被执行时，初始化表已经在内存中准备好了——这些是编译器和操作系统的模块初始化程序所做的工作。

　　初始化表的结构如下：

packageUnitEntry =packed record
    Init, FInit: Pointer;
end;

UnitEntryTable = array [0..9999999] of PackageUnitEntry;
PUnitEntryTable = ^UnitEntryTable;
PackageInforable = packed record
    Unitcount: Integer;{ number of entries in UnitInfo array; always>0}
    UnitInfo: PUnitEntryTable;
end;
PackageInfo = ^PackageInforable;

　　变量InitContext的域InitTab1e指向初始化表。
　　真正的初始化过程非常简单，例程InitUnits（）核心部分的实现代码如下：

Drocedure InitUnits;
var
    Count，I:Integer;
    Table:PUnitEntryTable;
    P:Pointer;
//...
    while I < count do//0..Unitcount-1，列举全部的单元初始化记录
    begin
        P：=Table[I].Init;
        Inc(I);
        Initcontext.Initcount：=I;//记录初始化过的单元数量
        if Assigned(P)then
            TPrOc(P)();//把初始化代码入口作为一个无参数过程调用
    end;
//...
end;

　　Table^[I].Init即是单元文件initialization节的代码在内存中的入口地址。同样的，Table^[I].FInit即是finalization节的代码入口地址。在结束化例程FinalizeUnits（）中，直接使用在初始化过程中记录的InitContext.InitCount值，列举并调用Table^[I].FInit。
　　如果InitContext.InitCount=0，则调用procedure FinalizeUnits（）时不会有任何实际的操作发生。

　　单元初始化与结束化分别在模块调入和卸载时发生。如果单元没有initialization节和finalization节，那么虽然在初始化表中有相应的单元记录，但它的单元入口地址为Nil。

4.3.2其他初始化例程

　　在单元初始化的关键字initialization或begin之中，在用户代码被执行到之前，编译器通常会填入一些调用初始化例程的代码。在这些例程包括：

procedure _InitResStrings;
procedure _InitResStringImports;
procedure _Init Imports;
procedure _InitwideStrings;

　　其中，在单元中使用了宽字符串类型的常量或有初值变量的情况下，编译器会在初始化代码之后填入代码来调用InitwideStrings（）例程。它的作用是将放在CODE节中的宽字符串复制到堆，并将它在堆中的地址赋给源代码中声明它的变量或者常量。由于宽字符串与长字符串的存储方式和行为是一致的，因此可以参见第6章中“数据节与代码节（CODE）”。宽字符串没有使用引用计数机制，因此它不能像长字符串那样在第一次赋值引用时才检测字符串的有效性并决定是否赋值。所以使用宽字符串类型的常量或有初值变量时，总是要导致单元初始化时调用例程_InitwideStrings（），而使用长字符串时却不必。
　　其他三个例程的相关细节，请参见第10章中“资源字符串”。

 

转载于:https://www.cnblogs.com/YiShen/p/9884678.html