德爾福的TStringList免費導致異常

Question

考慮這短短的Delphi程序：當我運行這

procedure TfrmXQuery.FieldListFillFromDefault; 
var 
    field_list: TStringList; 
begin 
    try 
    if x <> '' then begin 
     field_list := TStringList.Create; 
     {do some stuff with field_list} 
    end; 
    finally 
    if field_list <> NIL then 
    begin 
     field_list.Free; 
    end; 
    end; 
end; 

，德爾福3，其中x = ''，因此永遠不會創建FIELD_LIST，

1. 爲什麼field_list <> NIL？
2. 是未初始化爲NIL的對象？
3. 如果不是NIL這是什麼？
4. 如果是未分配而不是NIL我怎麼知道是否要Free呢？該Assigned功能並沒有告訴我：if Assigned(an_object)是if an_object = NIL

Answer 1

等價的問題是if x = ''，將finally發生反正。由於field_list僅在x <> ''時才被初始化，因此它是一個隨機內存位置，因爲它是一個未初始化的局部變量。隨機值允許調用field_list.free，因爲它不等於nil。 （德爾福未初始化的局部變量（這些函數或過程）中聲明。）

var 
    somevar: sometype;  
begin 
    // at this point, somevar is just a chunk of memory that 
    // holds whatever happens to be in that chunk 
    somevar := nil;   // now somevar = a specific value you can test 

    // other code 
end; 

你不應該來測試<> nil（如別人的意見所指出的那樣），如果你正確地組織你的代碼。

procedure TfrmXQuery.FieldListFillFromDefault; 
var 
    field_list : TStringList; 
begin 
    if x <> '' then 
    begin 
    field_list := TStringList.Create; 
    try 
     {do some stuff with field_list} 
    finally 
     field_list.Free; 
    end; 
    end; 
end; 

所以，現在我知道（如果你打開提示和警告，編譯器會告訴你，field_list may not have been initialized，這會幫助你解決這個你自己。）

Answer 2

是局部對象過程或函數不被初始化爲NIL我修改了代碼如下：

procedure TfrmXQuery.FieldListFillFromDefault; 
var 
    field_list: TStringList; 
begin 
    try 
    field_list := NIL; 
    if x <> '' then begin 
     field_list := TStringList.Create; 
     {do some stuff with field_list} 
    end; 
    finally 
    field_list.Free; 
    end; 
end; 

我也可以把try..finally其周圍只是字符串列表創建和代碼但我喜歡保護整個程序;例如，如果它是try..except塊，我擔心if x測試可能會失敗。 Delphi不會將局部變量對象初始化爲零。