delphi - 为什么TForm的_release不调用析构函数？

Question

为什么TForm的_release方法不调用析构函数？

var
   F, U : IUnknown;

procedure TForm1.btn1Click(Sender: TObject);
begin
  U := IUnknown(TMyObject.Create);    // MyIterfacedObject (inherits TInterfacedObject)
  F := IUnknown(TMyForm.Create(nil)); 
end;

procedure TForm1.btn2Click(Sender: TObject);
begin
  U := nil;    // Calls destructor
  F._Release;  // Does not call destructor
  F := nil;    // Does not call destructor
end;

我查看了 TInterfaceObject 和 TComponent 类的 _release 方法:

function TInterfacedObject._Release: Integer;
begin
  Result := InterlockedDecrement(FRefCount);
  if Result = 0 then
    Destroy;
end;

<小时/>

function TComponent._Release: Integer;
begin
  if FVCLComObject = nil then
    Result := -1   // -1 indicates no reference counting is taking place
  else
    Result := IVCLComObject(FVCLComObject)._Release;
end;

TInterfacedObject 的 _release 看起来很容易理解，但是 TComponent 的 _release 是做什么的呢？我觉得很奇怪...

Answer 1

原因是TComponent采用的策略是生命周期管理是类的用户的责任，并且不会由任何接口(interface)引用自动管理。该策略在 TComponent._Release 中明确表达。

function TComponent._Release: Integer;
begin
  if FVCLComObject = nil then
    Result := -1   // -1 indicates no reference counting is taking place
  else
    Result := IVCLComObject(FVCLComObject)._Release;
end;

您所描述的常见场景中，FVCLComObject 等于nil。因此代码通过返回 -1 明确表示没有引用计数。甚至还这样评论。

生命周期管理需要以某种方式完成。 Delphi 代码的两种常用模式是:

生命周期由调用者管理

var
  obj: TMyObject;
....
obj := TMyObject.Create;
try
  DoSomething(obj);
finally
  obj.Free; // the object is explicitly destroyed here
end;

尽管如此，TComponent 的用法通常与此略有不同，因为它的构造函数传递了一个所有者组件。然后，该所有者将承担销毁其拥有的组件的责任。所以该模式看起来像这样:

component := TMyComponent.Create(OwnerComponent);
... // now component will be destroyed when OwnerComponent is destroyed

生命周期由接口(interface)引用管理

var
  intf: IMyInterface;
....
intf := TMyObject.Create;
DoSomething(intf);
// the implementing object behind intf is destroyed when the last 
// interface reference leaves scope

您不能混合使用这两种模式。设计选择TComponent 将遵循第一个模式。因此必须禁用接口(interface)引用计数。相比之下，TInterfacedObject 采用另一种策略。