Delphi 什么时候尊重“内联”，什么时候不尊重？

Question

我试图优化一段具有以下构造的代码：

while (i > 0) do begin
  Dec(i);

这看起来效率低下，所以我尝试这样做：

while (Dec(i) >= 0) do begin

这不起作用，因为 Dec 是一个过程而不是函数。

所以我将其重写为：

procedure Withloop;
var
  ....
  function Decr(var a: integer): integer; inline;
  begin
    Dec(a);
    Result:= a;
  end;

...
  while (Decr(i) >= 0) do begin

但这被编译为：

SDIMAIN.pas.448: while (Decr(i) >= 0) do begin
00468EE5 8BC4             mov eax,esp
00468EE7 E8D0FEFFFF       call Decr          <<--- A call??
00468EEC 85C0             test eax,eax
00468EEE 0F8D12FFFFFF     jnl $00468e06
00468EF4 EB01             jmp $00468ef7

但是在程序的另一部分，它内联了一个函数就好了。
我可以使用什么经验法则（或硬性规则）来知道 Delphi 将遵守 inline 指令？

Answer 1

Delphi 文档 枚举了以下条件：内联发生或不发生：

• 任何形式的后期绑定方法都不会发生内联。这包括
  虚拟、动态和消息方法。
• 包含汇编代码的例程不会被内联。
• 构造函数和析构函数不会内联。
• 主程序块、单元初始化和单元终结
  块无法内联。
• 使用前未定义的例程无法内联。
• 无法内联采用开放数组参数的例程。
• 代码可以在包内内联，但是内联永远不会跨包发生
  包边界。
• 循环依赖的单元之间不进行内联。这
  包括间接循环
  依赖关系，例如，单元 A 使用
  单元 B，单元 B 使用单元 C，
  依次使用单位 A。在本例中，
  编译单元A时，没有代码
  单元 B 或单元 C 将内联于
  单元A。
• 当单元处于循环依赖关系时，编译器可以内联代码，如下所示
  只要要内联的代码来了
  来自圆形之外的单位
  关系。在上面的例子中，如果
  单元A也使用了单元D，代码来自
  单元 D 可以内联到 A 中，因为它
  不涉及该通函
  依赖性。
• 如果在接口部分定义了一个例程并且它访问
  实现中定义的符号
  部分，该例程不能是
  内联。
• 如果标有内联的例程使用来自其他单元的外部符号，则所有
  这些单位必须列在
  使用语句，否则例程
  无法内联。
• while-do 中条件表达式中使用的过程和函数
  和repeat-until 语句不能
  内联扩展。
• 在一个单元内，应定​​义内联函数的主体
  在调用该函数之前。
  否则，函数体，
  编译器不知道这一点
  当它到达调用站点时，无法
  内联扩展。

对于您的情况，请检查此条件：

while-do 和 Repeat-until 语句中的条件表达式中使用的过程和函数不能内联扩展。

Answer 2

由于某种原因，编译器不会内联 while 循环控制表达式。 Hallvard Vassbotn 不久前讨论过这个问题（阅读文章结尾）。