Delphi中如何检测已无实例但Assigned为True的对象变量？

我编写了如下Delphi代码：

var F: TMyForm;
begin
  F:=TMyForm.Create;
  F.DoSomeActionAndFreeForm;
  if Assigned(F) then begin
    F.DoSomethingOther;
  end;
end;

其中TMyForm.DoSomeActionAndFreeForm的实现是Self.Close；

执行F.DoSomeActionAndFreeForm后，窗体实例已经被销毁，但变量F并不会自动置为nil——因为对象销毁时无法通知所有引用它的变量清空。

这段代码是为GUI单元测试程序写的快速测试代码，用于自动执行操作并记录性能，所以需要让它能正常运行。我试过用try-except静默捕获EAccessViolation的方案：

//替换原有的if判断
//if Assigned(F) then begin
//  F.DoSomethingOther;
//end;
try
  F.DoSomethingOther;
except
  on E: EAccessViolation do begin
    //不做任何处理，不重抛异常也不提示错误
  end
end;

这个方案虽然能实现“有实例就执行方法，没实例就跳过”的效果，但不够优雅，想找更好的解决办法。

方案1：手动维护引用的nil状态 #

如果可以调整调用逻辑，在窗体销毁后手动将变量置为nil。因为Self.Close触发的销毁可能依赖VCL消息循环，所以可以等待窗体完全销毁后再更新变量：

var F: TMyForm;
begin
  F:=TMyForm.Create;
  try
    F.DoSomeActionAndFreeForm;
    // 等待窗体销毁完成（处理异步销毁的消息）
    while Assigned(F) and F.HandleAllocated do
      Application.ProcessMessages;
    // 手动置nil
    F := nil;
  finally
    // 兜底处理，防止异常导致销毁流程中断
    if Assigned(F) then
      F.Free;
  end;
  
  if Assigned(F) then begin
    F.DoSomethingOther;
  end;
end;

如果能修改TMyForm的方法，还可以让方法主动更新引用：

procedure TMyForm.DoSomeActionAndFreeForm(var AReference: TMyForm);
begin
  Self.Close;
  // 等待销毁完成后更新引用
  while HandleAllocated do
    Application.ProcessMessages;
  AReference := nil;
end;

// 调用处
F.DoSomeActionAndFreeForm(F);

方案2：利用VCL的FreeNotification自动跟踪销毁 #

借助Delphi组件的通知机制，让变量在窗体销毁时自动置为nil：

type
  TReferenceTracker = class(TComponent)
  private
    FTarget: TComponent;
    FReference: ^TComponent;
    procedure Notification(AComponent: TComponent; Operation: TOperation); override;
  public
    constructor Create(AOwner: TComponent; ATarget: TComponent; var AReference: TComponent); reintroduce;
  end;

constructor TReferenceTracker.Create(AOwner: TComponent; ATarget: TComponent; var AReference: TComponent);
begin
  inherited Create(AOwner);
  FTarget := ATarget;
  FReference := @AReference;
  FTarget.FreeNotification(Self);
end;

procedure TReferenceTracker.Notification(AComponent: TComponent; Operation: TOperation);
begin
  inherited;
  if (Operation = opRemove) and (AComponent = FTarget) then
    FReference^ := nil;
end;

// 调用处
var F: TMyForm;
    Tracker: TReferenceTracker;
begin
  F:=TMyForm.Create;
  Tracker := TReferenceTracker.Create(nil, F, F);
  try
    F.DoSomeActionAndFreeForm;
    // 等待通知消息处理完成
    Application.ProcessMessages;
  finally
    Tracker.Free;
  end;
  
  if Assigned(F) then begin
    F.DoSomethingOther;
  end;
end;

这个方案利用VCL内置的通知机制，在窗体销毁时自动清空引用变量，让Assigned(F)能正确判断实例状态。

方案3：直接检查组件的销毁状态 #

对于VCL组件，不用仅依赖指针是否为nil，而是检查组件的ComponentState标志：

var F: TMyForm;
begin
  F:=TMyForm.Create;
  F.DoSomeActionAndFreeForm;
  
  // 同时检查指针和组件是否已销毁
  if Assigned(F) and (csDestroyed not in F.ComponentState) then begin
    F.DoSomethingOther;
  end;
end;

csDestroyed标志会在组件开始销毁时被设置，即便指针还未置nil，也能准确判断实例是否有效。

内容的提问来源于stack exchange，提问作者TomR