最近搞Delphi，發現原來的程序中使用了很多包，但是總是處于懵懵懂懂的狀態。索性來好好研究一下這個問題，可能要花一些時間。所以首先把需要分析的問題列出來：
什么是包？什么是exe？它們在組成上有什么不同？包跟dcu是什么關系？dcp是干什么的？這些文件在編譯時是什么關系？又是怎么裝載的？裝載了以后怎么樣操作包？dll可以exports，但是為什么delphi幫助中不提包的exports，但是有些代碼卻又在包中使用exPRots？

首先來看看delphi的編譯過程。delphi的工程中有兩類：包和程序，前者的后綴為dpk，后者為dpr。從簡單的開始，先來搞dpr。根據delphi的幫助文檔，一個典型的dpr文件的結構如下：
 1 program Editor;
 2    
 3     uses
 4       Forms, {change to QForms in linux}
 5       REAbout in 'REAbout.pas' {AboutBox},
 6       REMain in 'REMain.pas' {MainForm};
 7    
 8     {$R *.res}
 9    
10     begin
11       application.Title := 'Text Editor';
12       Application.CreateForm(TMainForm, MainForm);
13       Application.Run;
14     end.
其中10行到14行，begin…end很自然就是程序的執行入口。uses部分指明了程序需要使用的一些Unit，這個就比較含糊了，為什么有的會用in指明源代碼的位置（這部分是自己向工程中添加的），有的如Forms這個部分，卻又不需要？那每個Unit又會uses其它Unit，這個問題似乎越來越復雜了。先看整個源代碼的結構：

我猜測編譯器第一步首先遍歷這張有向圖，對每個Unit，如果有必要就對其進行編譯，生成對應的dcu。而這個“必要”問題，我開始以為是use這個Unit的語句是帶有in的，后來試驗發現不對。因為在上面的情況下，Unit3并沒有在Unit1的Uses子句中指明路徑，但是仍然正確產生了對應的dcu文件。后來使用filemon來監視文件打開情況，發現過程是這樣的：對于圖中的每個節點，編譯器按照當前目錄—project屬性中的search path—IDE環境中的library path，這樣的順序，搜索節點對應的pas文件，沒找到就再來一遍，但是這次搜索的是節點對應的dcu文件。

現在編譯搞定了，每個Unit（即pas文件）已經生成了對于的dcu文件，下面的問題是連接。說到連接，問題就復雜了，連接有兩種：靜態和動態。靜態連接就是說把這些dcu全部合并到一起。這樣，一個Unit對另一個Unit的調用，就成了程序內部的事情了。這樣的好處是快，而且簡單，并發共享之類的問題都容易處理。缺點是目標程序很大，而且如果現在要編寫另一個程序，而Unit3可以重用的話，則在連接時Unit3.dcu被再次拷貝。這樣在兩個程序同時運行時，內存中會有兩個Unit3的副本，比較浪費。動態連接就是說，兩個程序在連接時，僅僅只保留對Unit3的引用，而并不拷貝Unit3的內容。到運行時，把Unit3裝入內存，讓兩個程序公用。Dll和BPL都是動態連接的解決方案。問題在于，delphi中關于連接的選項就只有project|Options|packages菜單中出現，“Build with runtime packages”這句話實在是太模糊了。所以還要再研究一下。
在程序執行的時候，我們可以通過view|debug window|moudles來查看有哪些東西被加載到內存中去了，它們又包含哪些內容。
簡便起見，我們建立如下結構的一個程序：

program ProjectEXE;

uses
  Forms,
  Windows,
  UnitFormMain in 'UnitFormMain.pas' {FormMain};

{$R *.res}

begin
  Application.Initialize;
  Application.CreateForm(TFormMain, FormMain);
  Application.Run;
end.

unit UnitFormMain;

interface

uses
  Windows, StdCtrls, Forms, UnitFormAnother,Classes, Controls;

type
  TFormMain = class(TForm)
    Button1: TButton;
    procedure Button1Click(Sender: TObject);
  private
    { Private declarations }
  public
    { Public declarations }
  end;

var
  FormMain: TFormMain;

implementation

{$R *.dfm}

procedure TFormMain.Button1Click(Sender: TObject);
var
  LForm:TFormAnother;
begin
  LForm:=TFormAnother.Create(Application);
  LForm.ShowModal;
  LForm.Free;
end;

end.

unit UnitFormAnother;

interface

uses
  Forms;

type
  TFormAnother = class(TForm)
  private
    { Private declarations }
  public
    { Public declarations }
  end;

implementation

{$R *.dfm}

end.

在動態連接之后，還存在一個問題：裝入。裝入有兩種策略，靜態也稱為自動，由delphi生成代碼，在裝載exe之前，自動裝入包；另一種是動態，即在程序運行時通過編碼，指定一個包，把它裝入內存。問題在于，我必須搞清楚delphi在什么情況下會自動裝入一個包，什么情況下可以避免delphi自作聰明，這樣才能靈活地使用包。前面的試驗中，只可以看出，在dpr文件執行到begin之前，靜態連接的的包就已經裝入內存了。具體過程我也不清楚，等下一章開始寫自己的包，再來做實驗吧。