Поток управления между активациями подпрограмм
Поток управления между активациями можно проиллюстрировать вставкой в тела подпрограмм операторов записи.
В следующей функции факториала управление достигает оператора записи сразу после входа и перед выходом из тела функции:
Здесь операторы записи трассируют поток управления между активациями. Символ ^ можно читать как «начало активации», а символ ^ как «завершение активации».
382 |
Глава 14. Управление подпрограммами |
Покажем трассировку для вызова -(3). Для иллюстрации вложенности вызовов используем отступы (в функции средства организации отступов не показаны, но их легко добавить):
Видим, что выполнение активации -(3) приостанавливается, пока управление находится в активациях - (2), -(1) и - (0). |