Question

在询问this question about interface fields in records后，我认为以下内容可行（注意断言）：

type
  TRec <T> = record
    Intf : IInterface;
  end;

  TTestClass = class
  public
    function ReturnRec : TRec <Integer>;
  end;

  // Implementation 
  function TTestClass.ReturnRec : TRec <Integer>;
  begin
    Assert (Result.Intf = nil);    // Interface field in record should be initialized!
    Result.Intf := TInterfacedObject.Create;
  end;

我使用以下代码对此进行了测试：

  for I := 1 to 1000 do
    Rec := Test.ReturnRec;

并且断言失败了！

我的错在哪里？什么假设是错的？

Answer 1

功能

function ReturnRec: TRec<Integer>;

在语义上等于过程

procedure ReturnRec(var Result: TRec<Integer>);

[我很确定有人来自Embarcadero，可能是Barry Kelly或Alan Bauer在某个地方说过这个，但我现在找不到参考。]

在第二种情况下，编译器假定记录将在传递给ReturnRec之前初始化（如果需要），并且不会在ReturnRec内部为rec创建任何初始化代码。我假设第一个例子中的编译器内部使用了相同的代码路径，这就是结果未初始化的原因。

无论如何，解决方案很简单：

function TTestClass.ReturnRec : TRec <Integer>;
begin
  Result.Intf := TInterfacedObject.Create;
end;

假设编译器知道它在做什么并分配接口，一切都会正常工作。

修改

您遇到的问题来自'for'循环。你的代码

for I := 1 to 1000 do
  Rec := Test.ReturnRec;

被编译成这样的东西：

var
  result: TRec<Integer>;

Initialize(result);
for I := 1 to 1000 do begin
  Test.ReturnRec(result);
  rec := result;
end;

这就是为什么你重复使用相同的记录，这就是为什么Result.Intf只是第一次没有初始化。

EDIT2

您可以通过将循环中的t.ReturnRec调用移到单独的方法来欺骗编译器。

procedure GetRec(t: TTest; var rec: TRec);
begin
  rec := t.ReturnRec;
end;

for i := 1 to 1000 do
  GetRec(t, rec);

现在隐藏的结果变量存在于GetRec过程中，并且每次调用GetRec时都会初始化。

函数返回记录与接口字段

1 个答案: