Как компилятор Delphi 2009 обрабатывает рекурсивные встроенные методы? - PullRequest
Новая
       12

Как компилятор Delphi 2009 обрабатывает рекурсивные встроенные методы?

4 голосов
/ 07 апреля 2009

Do " Что не так с использованием встроенных функций " и " Может ли рекурсивная функция быть встроенной ", применимы к встроенным функциям Delphi? Кроме того, кто-нибудь знает, как обрабатываются рекурсивные встроенные функции в Delphi?

1 Ответ

10 голосов
/ 08 апреля 2009

Я думаю, что, вероятно, нет, поскольку inline - это всего лишь предложение, но давайте выясним.

Простая рекурсивная факториальная процедура: 

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.

...