为什么 FreeAndNil 实现在 Free 之前执行 Nil？

Question

如果你看一下 FreeAndNil 过程的代码，你会看到：

procedure FreeAndNil(var Obj);
var
  Temp: TObject;
begin
  Temp := TObject(Obj);
  Pointer(Obj) := nil;
  Temp.Free;
end;

他们将Nil 分配给对象引用并且仅在销毁它之后才分配的原因是什么？为什么不反过来呢？

Answer 1

我可以想到两个这样做的原因，但似乎都没有令人信服的理由。

原因 1：保证在引发异常的情况下将引用设置为 nil

实现实现了这一点。如果析构函数引发，则引用仍设置为 nil。另一种方法是使用finally 块：

try
  TObject(Obj).Free;
finally
  TObject(Obj) := nil;
end;

这样做的缺点是性能。特别是在 x86 上，try/finally 有点贵。在这样一个基本的例程中，避免这种费用是谨慎的。

为什么我觉得不惜一切代价实现零的愿望并不令人信服？好吧，一旦析构函数开始失败，你也可以放弃。您无法再清楚地推断程序的状态。您无法分辨出什么失败以及您的程序处于什么状态。我认为，面对引发的析构函数，正确的做法是终止进程。

原因2：保证其他线程可以检测到对象正在被销毁

这又实现了，但没有实际用处。是的，您可以测试是否分配了引用。但是然后呢？另一个线程不能在没有同步的情况下调用对象上的方法。您所能做的就是了解对象是否还活着。如果是这样，那么这个状态在析构函数运行之前还是之后发生变化又有什么关系呢？

因此，虽然我将此作为可能的原因，但我无法相信 Embarcadero 中的任何人真的被这种论点所左右。

Answer 2

David's second reason 有一个更引人注目的变体。虽然有人可能会争辩说，如果它适用，还有其他问题需要解决。

原因3：确保同一线程上的事件处理程序可以检测到对象正在被销毁

这是一个虚构的假设示例：

TOwner.HandleCallback;
begin
  if Assigned(FChild) then
    FChild.DoSomething;
end;

TChildClass.Destroy;
begin
  if Assigned(FOnCallback) then FOnCallback;
  inherited Destroy;
end;

现在如果 TOwner 来电：

FChild.Free;
FChild := nil;

FChild 在其销毁周期的中间将被要求发送至DoSomething。某种灾难的秘诀。 FreeAndNil 的实现巧妙地避免了这种情况。

是的，您可能会争辩说在销毁期间触发回调事件是危险的，但它确实有其好处。 Delphi/VCL 代码中的例子很少。尤其是如果您将关注范围扩大到包括调用多态方法 - 这也将破坏序列的各个方面置于您的控制之外。

现在我必须指出，我不知道 Delphi 库代码中可能出现此问题的任何特定情况。但是在 VCL 的某些部分中存在一些复杂的循环依赖关系。因此，如果将实现更改为 SysUtils 中更明显的选择会导致一些令人不快的意外，我不会感到惊讶。

Answer 3

多年来唯一真正困扰我的是FreeAndNil(var obj) 缺乏类型安全性。我知道，由于缺乏足够的语言支持，根本无法做到正确，但由于我们有一段时间使用泛型，这里有一个快速简单的工具，可以让您的生活更轻松。

type
  TypeSafe = class sealed
  public
    class procedure FreeAndNil<T : class>( var obj : T);  static; inline;
  end;


class procedure TypeSafe.FreeAndNil<T>( var obj : T);
begin
  SysUtils.FreeAndNil( obj);
end;

如果您为普通的FreeAndNil(var Obj) 添加重载并将其标记为deprecated，您就有机会找到有人将接口指针交给它的所有地方——并且如果代码库只是很大相信我，你会发现有趣的东西。

procedure FreeAndNil(var Obj); inline; deprecated 'use TypeSafe.FreeAndNil<T>() instead';

请注意，您甚至不必指定<T>，因为编译器足够聪明，可以为您找到正确的类型。只需在顶部添加单位并全部更改

FreeAndNil(foobar);

在你的源代码中放入

TypeSafe.FreeAndNil(foobar);

你就完成了。