从 function 返回 OleVariant 会导致对包含的 IDispatch object 的额外引用无法发布

Question

我有一个 function，它返回一个OleVariant ，其中包含一个IDispatch引用，计数为 object：

class function TGrobber.Make: OleVariant;
begin
   Result := (TGrobber.Create as IDispatch);
   // Reference count of IDispatch inside Result at this point is 1
end;

在 function 的末尾，OleVariant 中OleVariant的RefCount正确为1 。

但是当OleVariant返回给调用者时，包含的 object 突然有一个引用计数2 ：

var
    grobber: OleVariant;
begin
    grobber := TGrobber.Make; // function that returns an OleVariant
    // Reference count of IDispatch inside OleVariant is now 2 (wrong)
end;

这是因为在 Delphi 调用Make function 之后，它调用了 VarCopy ：

Project2.dpr.147: grobber := TGrobber.Make;
004DA79D 8D55E0           lea edx,[ebp-$20]
004DA7A0 A1DC614D00       mov eax,[$004d61dc]
004DA7A5 E8CAC0FFFF       call TGrobber.Make       <== Creates the object (refcount 1)
004DA7AA 8D55E0           lea edx,[ebp-$20]
004DA7AD B800444E00       mov eax,$004e4400
004DA7B2 E8B128F5FF       call @VarCopy            <== Adds an extra reference, loses the old reference

意思是：

• 编译器正在添加对返回变量的额外引用
• 同时不释放旧参考
• 或者根本不调用@VarCopy

我怎样才能确保 Delphi 要么：

• 在复制后销毁旧的OleVariant
• 不复制OleVariant ，因为它不需要复制

Answer 1

编译器不会丢失“旧”引用。 TGrobber.Make()的结果首先存储在一个隐藏的局部变量中（位于[ebp-$20] ），然后将其分配给您的grobber变量（位于$004e4400 ），因此是副本。 所以 refcount 为 2 是正确的。 当包含例程退出时，当它们从 scope 中的 go 变为 go 时，这两个变量将被最终确定，将引用计数减 2。

您的代码实际上相当于执行以下操作：

var
  hidden: OleVariant;
  grobber: OleVariant;
begin
  TGrobber.Make(hidden); // function that returns an OleVariant via a hidden var parameter
  grobber := hidden; // VarCopy(grobber, hidden) is called here
  ...
end; // VarClear(grobber) and VarClear(hidden) are called here...