delphi - Delphi 2009 编译器如何处理递归内联方法？

Question

“What's wrong with using inline functions ”和“Can a recursive function be inline ”适用于 Delphi 内联函数吗？此外，有谁知道Delphi中如何处理递归内联函数？

Answer 1

我的猜测可能不是，因为内联只是一个建议，但让我们找出答案。

一个简单的递归阶乘例程:

function Factorial(const aNum: cardinal): cardinal;
begin
  if aNum > 1 then
    Result := Factorial(aNum - 1) * aNum
  else
    Result := 1;
end;

这是对其调用的反汇编:

// fact := Factorial(5);
mov eax,$00000005
call Factorial
mov ebx,eax

以及例程本身的反汇编:

// 9: begin
push ebx
mov ebx,eax
// 10: if aNum > 1 then
cmp ebx,$01
jbe $0040ab30
// 11: Result := Factorial(aNum - 1) * aNum
mov eax,ebx
dec eax
call Factorial
imul ebx
pop ebx
ret 
// 13: Result := 1;
0040ab30: mov eax,$00000001
// 14: end;
pop ebx
ret 

现在我们将其内联，看看调用中有什么不同:

// 21: fact := Factorial(5);
mov eax,$00000005
call Factorial
mov ebx,eax

以及例程本身:

// 9: begin
push ebx
mov ebx,eax
// 10: if aNum > 1 then
cmp ebx,$01
jbe $0040ab30
// 11: Result := Factorial(aNum - 1) * aNum
mov eax,ebx
dec eax
call Factorial
imul ebx
pop ebx
ret     
// 13: Result := 1;
0040ab30: mov eax,$00000001
// 14: end;
pop ebx
ret 

它们对我来说都是一样的，所以我将坚持我最初的假设并说它们不受支持。

顺便说一句:这是 Delphi 2009 中的内容。