为什么 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 采用的策略是生命周期管理是类用户的责任，而不是由任何接口引用自动管理。该政策在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

由接口引用管理的生命周期

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

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