Delphi 的動態數組1

傳統的Pascal 語言其數組大小是預先確定的，當你用數組結構聲明數據類型時，你必須指定數組元素的個數。專業程序員也許知道些許動態數組的實現技術，一般是採用指針，用手工分配並釋放所需的內存。

Delphi 4中增加了非常簡單的動態數組實現方法，實現過程效仿我前面講過的動態長字符串。與長字符串一樣，動態數組的內存動態分配並且引用記數，不過動態數組不支持 copy-on-write 技術。這不是個大問題，因爲你可以把變量值設置爲nil釋放數組內存。

這樣你就可以聲明一個不指定元素個數的數組，並用SetLength 過程給數組分配一個特定大小的內存，SetLength 過程還可以改變數組大小而不影響其內容，除此外還有一些字符串過程也可用於數組，如Copy 函數。

以下摘錄的代碼突出了一點，這就是：定義數組後必須先爲它分配內存，然後才能開始使用：

 T1.Button1Click(Sender: TObject);
var
  Array1: array of Integer;
begin
  Array1 [1] := 100; // error
  SetLength (Array1, 100);
  Array1 [99] := 100; // OK
  ...
end;

如果你只定義一個數組元素個數，那麼索引總是從0開始。Pascal 中的普通數組既能用不爲零的下標，也能用非整數的下標，但動態數組均不支持這兩種下標。象普通數組一樣，你可以通過Length、High和Low 函數瞭解到動態數組的狀況，不過對於動態數組，Low 函數返回值總是0，High函數返回數組大小減1，這意味着空的動態數組其函數High返回值是-1，這是一個很怪的值，因爲它比Low的返回值還小。

圖 8.1: 例 DynArr 窗體

 

以上作了簡短的介紹，現在舉個簡例，例名DynArr ，見圖8.1。例子實在是很簡單，其實動態數組沒有什麼特別複雜地方。我想通過該例說明幾個程序員可能犯的錯誤。程序中聲明瞭兩個全程數組並在OnCreate 事件中初始化了第一個數組：

var
  Array1, Array2: array of Integer;

 T1.Create(Sender: TObject);
begin
  // allocate
  SetLength (Array1, 100);
end;

這樣就把數組所有值設置爲0。完成這段代碼你馬上就能讀寫數組元素的值，而不用害怕內存出錯，當然條件是你沒有試圖訪問超過數組上界的元素。爲了更好地初始化，程序中添加了一個按鈕，執行數組元素賦值操作：

 T1.btnFillClick(Sender: TObject);
var
  I: Integer;
begin
  for I := Low (Array1) to High (Array1) do
    Array1 [I] := I;
end;

Grow 按鈕用於修改數組大小，但並不影響數組內容。單擊Grow 按鈕後，你可以用Get value按鈕進行檢驗：

 T1.btnGrowClick(Sender: TObject);
begin
  // grow keeping existing values
  SetLength (Array1, 200);
end;

 T1.btnGetClick(Sender: TObject);
begin
  // extract
  Caption := IntToStr (Array1 [99]);
end;

Alias 按鈕的OnClick 事件代碼稍複雜些，程序通過 := 算子把一個數組拷貝給另一個數組，從而有效地創建了一個別名（一個新變量，但引用內存中同一數組）。從中可見，如果你改變了其中一個數組，那麼另一個同樣也會改變，因爲它們指向同一個內存區：

 T1.btnAliasClick(Sender: TObject);
begin
  // alias
  Array2 := Array1;
  // change one (both change)
  Array2 [99] := 1000;
  // show the other
  Caption := IntToStr (Array1 [99]);

在btnAliasClick 事件中增加了兩部分操作內容。第一部分是數組等同測試，不過並不是測試實際的數組元素，而是測試數組所引用的內存區，檢測變量是不是內存中同一數組的兩個別名：

 T1.btnAliasClick(Sender: TObject);
begin
  ...
  if Array1 = Array2 then
    Beep;
  // truncate first array
  Array1 := Copy (Array2, 0, 10);
end;

btnAliasClick 事件的第二部分內容是調用Copy 函數。該函數不僅把數據從一個數組移到另一個數組，而且用函數創建的新數組取代第一個數組，結果變量Array1 所引用的是11個元素的數組，因此，按Get value 和Set value 按鈕將產生一個內存錯誤，並且觸發一個異常（除非你把範圍檢查range-checking 選項關掉，這種情況下，錯誤仍在但屏幕上 不會顯示異常）。雖然如此，Fill 按鈕仍能正常工作，因爲需要修改的數組元素由數組當前的下標範圍確定。