13.3.2 仅销毁对象一次

​ 另一个问题是，如果调用对象的析构函数两次，将会导致错误。析构函数是释放对象内存的方法。我们可以为析构函数编写代码，通常是覆盖默认的 Destroy 析构函数，以便让对象在被销毁之前执行一些代码。

​ Destroy是TObject类的虚析构函数。大多数需要在对象销毁时执行自定义清理代码的类都会覆盖此虚方法。您绝对不应该定义新的析构函数，因为通常对象是通过调用Free方法来销毁的，而Free方法会为您调用Destroy虚析构函数（可能是重载版本）。

​ 正如我刚提到的，Free只是TObject类的一个方法，被所有其他类继承。Free方法基本上在调用Destroy虚析构函数之前检查当前对象（Self）是否为nil。

注解：您可能会想知道为什么如果对象引用为nil，您仍然可以安全地调用Free，但不能调用Destroy。原因是Free是一个位于给定内存位置的已知方法，而Destroy虚函数是在运行时查看对象的类型来确定的，如果对象不存在，这个操作就非常危险

​ 以下是Free的伪代码：

procedure TObject.Free;
begin
  if Self <> nil then
    Destroy;
end;

​ 接下来，我们可以将注意力转向Assigned函数。当我们将指针传递给此函数时，它只是测试指针是否为nil。因此，以下两个语句在大多数情况下是等效的：

if Assigned(MyObj) then
  ...
if MyObj <> nil then
  ...

​ 请注意，这些语句仅测试指针是否不为nil；它们不检查它是否是有效的指针。如果您编写以下代码：

MyObj.Free;  //不会把MyObj设置为nil
if MyObj <> nil then
  MyObj.DoSomething;

测试将评估为True，并且在调用对象方法的行中会出现错误。需要注意的是，调用Free不会将对象的引用设置为nil。

​ 自动将对象设置为nil是不可能的。您可能有多个引用指向同一个对象，而Object Pascal 不会跟踪它们。同时，在方法中（例如Free方法），我们可以操作对象，但我们对对象引用一无所知——即我们用于调用该方法的变量的内存地址。

​ 换句话说，在Free方法或类的其他任何方法中，我们知道对象（Self）的内存地址，但我们不知道引用对象的变量的内存位置，比如MyObj。因此，Free方法无法影响MyObj变量。

​ 然而，当我们将对象作为按引用传递参数的方式调用一个外部函数时，该函数随后可以选择修改原始对象引用。这正是FreeAndNil过程所做的事情，FreeAndNil过程可以替代使用Free然后将引用变量设置为nil。以下是FreeAndNil的代码：

procedure FreeAndNil(const [ref] Obj: TObject); inline;
var
  Temp: TObject;
begin
  Temp := Obj;
  TObject(Pointer(@Obj)^) := nil;
  Temp.Free;
end;

​ 在过去，参数只是一个指针，缺点是您可以将原始指针、接口引用和其他不兼容的数据结构传递给FreeAndNil过程。这通常会导致内存损坏和难以发现的错误。从Delphi 10.4开始，代码已被修改如上所示，使用TObject类型的const引用参数，将参数限制为对象。

注解：许多Delphi专家会争论，FreeAndNil永远不应该使用，因为引用对象的变量的可见性应该与其生命周期相匹配。如果对象拥有另一个对象并在析构函数中释放它，就不需要将引用设置为nil，因为它是不再使用的对象的一部分。同样，具有在try-finally块中释放的局部变量也不需要将其设置为nil，因为它即将退出作用域。

​ 顺便提了一下，除了Free方法之外，TObject还有一个DisposeOf方法，它是多年以前Object Pascal语言支持ARC的产物。目前，DisposeOf方法只是调用Free。

​ 总结一下关于这些内存清理操作的使用，这里是一些建议：

• 始终调用Free来销毁对象，而不是调用Destroy析构函数。
• 在调用Free之后使用FreeAndNil，或将对象引用设置为nil，除非引用紧接着超出作用域。