delphi - Delphi编译器什么时候创建隐式接口(interface)变量？

Question

我正在 StackOverflow 上测试一段代码的注释，遇到了隐式接口(interface)变量出现的情况。我看不出在这种情况下是什么原因造成的。我有一个迷你工厂，它返回新创建的对象的接口(interface)。如果我在过程 block 中调用该方法，那么我只会得到 1 的引用计数。如果我从主程序 block 中调用它，那么我会得到 2 的引用计数。

我用 Delphi 10 Seattle 对此进行了测试。是否存在包含隐式接口(interface)创建规则的资源，并且工厂返回接口(interface)的模式是否不可靠？

program TestRefCount;

{$APPTYPE CONSOLE}

{$R *.res}

uses
  System.SysUtils,
  Vcl.Dialogs;

type
  IMyInterface = interface(IInterface)
    ['{62EB2C46-9B8A-47CE-A881-DB96E6F6437D}']
    procedure DoSomething;
    function GetRefCount: Integer;
  end;

  TMyObject = class(TInterfacedObject, IMyInterface)
  strict private
    FMyValue: Integer;
  public
    procedure Init;
    procedure DoSomething;
    function GetRefCount: Integer;
  end;

  TMyFactory = class(TObject)
  private
    function CreateMyInt: IMyInterface;
  end;

procedure TMyObject.DoSomething;
begin
  MessageDlg(IntToStr(FMyValue), mtInformation, [mbok], 0);
end;

function TMyObject.GetRefCount: Integer;
begin
  Result := FRefCount;
end;

procedure TMyObject.Init;
begin
  FMyValue := 100;
end;

function TMyFactory.CreateMyInt: IMyInterface;
var
  myObject: TMyObject;
begin
  myObject := TMyObject.Create;
  Assert(myObject.GetRefCount = 0);
  myObject.Init;
  Assert(myObject.GetRefCount = 0);
  Result := myObject;
  Assert(myObject.GetRefCount = 1);
  Assert(Result.GetRefCount = 1);
end;

procedure WorkWithIntf;
var
  myFactory: TMyFactory;
  myInt: IMyInterface;
begin
  myFactory := TMyFactory.Create;
  try
    myInt := myFactory.CreateMyInt;
    Assert(myInt.GetRefCount = 1);
    myInt.DoSomething;
    Assert(myInt.GetRefCount = 1);
  finally
    myFactory.Free;
  end;
end;

var
  myFactory: TMyFactory;
  myInt: IMyInterface;
begin
  try
    // This case doesn't have an implicit interface variable
    WorkWithIntf;
    // This case does have an implicit interface variable
    myFactory := TMyFactory.Create;
    try
      myInt := myFactory.CreateMyInt;
      Assert(myInt.GetRefCount = 1); // This fails because the refcount is 2
      myInt.DoSomething;
      Assert(myInt.GetRefCount = 1);
    finally
      myFactory.Free;
    end;
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
end.

这是没有隐式接口(interface)变量的第一个 block :

TestRefCount.dpr.67: myInt := myFactory.CreateMyInt;
005C6A5A 8D55F8           lea edx,[ebp-$08]
005C6A5D 8B45FC           mov eax,[ebp-$04]
005C6A60 E83BFEFFFF       call TMyFactory.CreateMyInt
TestRefCount.dpr.68: Assert(myInt.GetRefCount = 1);
005C6A65 8B45F8           mov eax,[ebp-$08]

这是第二个 block ，我们可以在其中看到隐式接口(interface)变量:

TestRefCount.dpr.86: myInt := myFactory.CreateMyInt;
005CF513 8D55EC           lea edx,[ebp-$14]
005CF516 A19CB75D00       mov eax,[$005db79c]
005CF51B E88073FFFF       call TMyFactory.CreateMyInt
005CF520 8B55EC           mov edx,[ebp-$14]
005CF523 B8A0B75D00       mov eax,$005db7a0
005CF528 E8C7E3E3FF       call @IntfCopy
TestRefCount.dpr.87: Assert(myInt.GetRefCount = 1); // This fails because the refcount is 2
005CF52D A1A0B75D00       mov eax,[$005db7a0]

Answer 1

据我了解，并且没有在任何文档中记录下来，编译器以不同的方式对待局部变量和全局变量。对于本地，它相信对本地的分配会成功。因此不需要隐式本地。这是你的第一个案例。

对于全局变量，编译器更加谨慎。它以怀疑的态度看待全局变量。如果变量赋值失败，它会发出防御代码。编译器首先分配给隐式局部变量，该分配确信会成功。因此，接口(interface)的引用计数将增加。然后它分配给全局。如果失败，那么至少隐式局部有一个引用，并且能够递减它并正确释放接口(interface)。

您可能想知道为什么编译器对分配给全局变量感到紧张。你知道它是安全的，不会失败，编译器还怕什么？它的全局变量的概念更广泛。例如，它会将指向接口(interface)引用的指针视为全局指针。编译器试图防止该指针无效、赋值失败以及没有人引用该接口(interface)。编译器只考虑两种情况:局部和全局。它信任对局部变量的赋值，而其他所有内容都与潜在风险的全局变量混在一起。包括您完全安全的全局。

在我看来，编译器过于谨慎。如果程序员说可以给变量赋值，我不认为这是编译器怀疑的地方。如果程序员犯了错误，那么程序员当然应该准备好接受后果。它们会泄漏以及运行时内存访问失败。但设计师们采取了不同的、更保守的方法。

您看到隐式局部变量的另一种情况是在函数返回值上使用 as 运算符时。例如:

Foo := GetBar as IFoo;

更多信息请参见:The mysterious case of the unexpected implicit interface variable 。

不过这个案子很明确。隐式局部变量至关重要，因为 as 引发异常是完全合理的。