Delphi：为什么 FreeAndNil *真的* nil 我的对象？

Question

我想将对象 A 传递给第二个对象 B，让 B 进行一些处理，最后释放 A，以防不再需要它。下面给出了一个淡化的版本。

program Project6;
{$APPTYPE CONSOLE}
uses
  SysUtils;
type
  TMyObject = class(TObject)
  public
    FField1:  string;
    FField2:  string;
  end;
  TBigObject = class(TObject)
  public
    FMyObject:  TMyObject;
    procedure Bind(var MyObject:  TMyObject);
    procedure Free();
  end;
procedure TBigObject.Bind(var MyObject: TMyObject);
begin
  FMyObject := MyObject;
end;
procedure TBigObject.Free;
begin
  FreeAndNil(FMyObject);
  Destroy();
end;
var
  MyObject:   TMyObject;
  BigObject:  TBigObject;
begin
  try
    MyObject := TMyObject.Create();
    BigObject := TBigObject.Create();
    BigObject.Bind(MyObject);
    BigObject.Free();
    if (Assigned(MyObject)) then begin
      WriteLn('Set MyObject free!');
      MyObject.Free();
    end;
    ReadLn;
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
end.

（别介意糟糕的设计。）现在，我不明白为什么 FreeAndNil 实际上会释放 MyObject，而 Assigned(MyObject) 被评估为 true（在 MyObject.Free() 处给出 AV）。

有人可以帮我解惑吗？

Answer 1

您的代码有一些特殊之处。

首先，你不应该重写 Free，你应该重写你的类的虚拟析构函数（Destroy）。

但是 ISTM 认为 BigObject 不是 MyObject 的所有者，所以 BigObject 根本不应该尝试释放它。

正如 CodeInChaos 已经说过的，FreeAndNil 只释放 一个 变量，在本例中是 FMyObject 字段。无论如何都不需要 FreeAndNil，因为在对象被释放后不会发生任何事情。

Assigned 不能用于检查对象是否已被释放。它只能检查 nil，而 FreeAndNil 只将 一个引用 设置为 nil，而不是对象本身（这是不可能的）。

你的程序设计应该是这样的，一个对象只有在没有人访问它的情况下才能并且只会被释放。

Answer 2

您有两个对该对象的引用副本，但仅将其中一个设置为 nil。你的代码相当于这个：

i := 1;
j := i;
i := 0;
Writeln(j);//outputs 1

我在此示例中使用整数，因为我确信您熟悉它们的工作方式。对象引用实际上只是指针，其行为方式完全相同。

根据对象引用转换示例使其看起来像这样：

obj1 := TObject.Create;
obj2 := obj1;
obj1.Free;//these two lines are
obj1 := nil;//equivalent to FreeAndNil
//but obj2 still refers to the destroyed object

---

旁白：你永远不应该直接调用 Destroy 并且永远不要声明一个名为 Free 的方法。而是重写 Destroy 并调用 TObject 中定义的静态 Free，或者实际上是 FreeAndNil。

Answer 3

MyObject 是与字段 FMyObject 不同的变量。而你只是niling 字段FMyObject。

FreeAndNil 释放指向的对象，nils 是你传入的变量。它不会神奇地发现和nil 指向你释放的对象的所有其他变量。

FreeAndNil(FMyObject); 做同样的事情：

object(FMyObject).Free();
FMyObject=nil;

（从技术上讲，这并不完全正确，由于var 参数未指定类型，转换为对象是重新解释转换，但这与此处无关）

这显然只修改FMyObject 而不是MyObject

---

哦，我刚刚注意到你隐藏了原来的 Free 方法？这太疯狂了。 FreeAndNil 仍然使用原来的 Free。在您的示例中这并没有影响到您，因为您在静态类型为TBigObject 而不是FreeAndNil 的变量上调用Free。但这是灾难的收据。

您应该改写析构函数Destroy。

Answer 4

原因很简单，你没有一个引用而不是另一个。考虑这个例子：

var
  Obj1, Obj2: TObject;
begin
  Obj1 := TObject.Create;
  Obj2 := Obj1;
  FreeAndNil(Obj1);
  // Obj1 is released and nil, Obj2 is non-nil but now points to undefined memory
  // ie. accessing it will cause access violations
end;