我不应该将接口作为 const 传递吗？

Question

我最近（再次）遇到the Delphi compiler code-gen bug when passing an interface as const 泄露参考。

如果您的方法被声明为将接口变量传递为const，则会发生这种情况，例如：

procedure Frob(const Grob: IGrobber);

解决方法是简单地删除const:

procedure Frob(Grob: IGrobber);

我了解const（以及var 和out）允许您通过引用传递项目。在结构的情况下，这会保存一个参数副本；让您只需将指针传递给项目。

对于Object/Pointer/Interface，不需要通过引用传递，因为它是引用；它已经可以放入寄存器了。

为了不再有这个问题，我进行了讨伐。我搜索了所有源代码树：

const [A-Za-z]+\: I[A-Z]

我删除了大约 150 个实例，其中我将接口作为 const 传递。

但有些是我无法改变的。 TWebBrowser 回调事件声明为：

OnDocumentComplete(Sender: TObject; const pDisp: IDispatch; var URL: OleVariant);
                                    \___/
                                      |
                                      ?

我走得太远了吗？我做了坏事吗？

编辑：或者，用一个较少“基于意见” 风格的问题来表述它：是否有任何严重的缺点不 将接口作为 const 传递？

奖励：当 Delphi 不（总是）增加接口引用计数时，它们违反了The Rules of COM：

引用计数规则

规则 1： AddRef 必须为接口指针的每个新副本调用，Release 必须在接口指针的每次销毁时调用，除非后续规则明确允许。

规则 2：一段代码的特殊知识可以允许 AddRef 的两个或多个接口指针的生命周期的开始和结束的关系/Release 对被省略。

因此，虽然它可能是编译器可以利用的优化，但它必须正确执行，以免违反规则。

Answer 1

如果您的方法被声明为将接口变量作为 const 传递，则会发生这种情况，例如：

procedure Frob(const Grob: IGrobber);

这不太对。为了发生泄漏，您需要在代码中没有任何内容引用新创建的对象。所以如果你写：

Frob(grob);

没有问题，因为接口grob已经至少有一个引用。

问题出现在你写的时候：

Frob(TGrobberImplementer.Create);

在那种情况下，没有任何东西引用接口，因此它被泄露了。好吧，只要Frob 的实现中没有任何东西引用它，它就会被泄露。

我做了坏事吗？

嗯，这取决于。我认为你所做的不会有什么特别糟糕的事情发生。在性能方面有一个缺点，因为所有接受接口参数的函数现在都必须使用隐式 try/finally 块添加和释放引用。只有你能判断这是否重要。

更重要的问题与您无法控制的代码有关。你给

procedure OnDocumentComplete(Sender: TObject; const pDisp: IDispatch; var URL: OleVariant);

例如。那里没有问题，因为您从不调用该方法。它是您实现的事件处理程序。框架调用它，它传递一个已经被引用的接口。

真正的问题来自 RTL 中声明的方法或您调用的任何其他第三方代码。如果您正在调用方法，并且如果它们使用const 接口参数，那么您可能会落入陷阱。

这很容易解决，尽管很烦人。

grob := TGrobberImplementer.Create;
Frob(grob);

我处理这个问题的理由是这样的：

1. 按值传递接口参数会降低性能。
2. 我无法确保我调用的每个方法都会按值接受接口参数。
3. 因此，我接受这样一个事实，即我至少在某些时候需要处理调用const 接口参数。
4. 由于有时我必须处理它，而且我讨厌不一致，所以我选择始终接受处理。
5. 因此，我选择将我写的方法中的所有接口参数设为const。
6. 因此，我确保永远不会将接口作为参数传递，除非它已被变量引用。