带接口字段的函数返回记录

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 创建任何初始化代码。我假设第一个示例采用编译器内部相同的代码路径，这就是未初始化 Result 的原因。

不管怎样，解决方法很简单：

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 时被初始化。