德尔福的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不会将局部变量对象初始化为零。