Osnovy_informatiki_-_7_Parametry_podprogramm

Фактические параметры

При передаче по значению могут быть:

–Переменные

–Константы

–Выражения

Все, что имеет значение

При передаче по ссылке

–Только то, что имеет адрес в памяти (переменные, а в общем случае – другие подпрограммы)

Семантика вызова подпрограммы

Запись активации подпрограммы

Статическая и автоматическая память

Статическая – выделяется один раз до начала программы, освобождается после ее завершения.

Автоматическая – это память на стеке. Выделяется и освобождается по ходу выполнения программы.

Блочные переменные располагаются в автоматической памяти.

Алгоритм вызова подпрограммы

Выделить место на стеке для ЗА

Разместить локальные переменные и параметры

Записать адрес активации вызывающей подпрограммы и адрес возврата на стек

Выполнить подстановку параметров

Перейти на начало кода вызываемой подпрограммы

Алгоритм вызова подпрограммы

Выполнить тело вызываемой подпрограммы

Если это – функция, то заполнить ячейку результата в записи активации.

Освободить память, занимаемую записью активации подпрограммы.

Осуществить переход на адрес возврата.

Побочный эффект

var i: integer;

procedure p; begin i:=i+1;

end;

begin i:=5; p;

write(i);

// "неожиданно" i меняется в результате вызова процедуры p end.

Побочный эффект

var i: integer; procedure row;

// локальная переменная i не описана - ошибка! begin

for i:=1 to 5 do write('*');

writeln end;

begin

for i:=1 to 10 do row;

// зацикливание! end.

Локальные переменные

function Sum(n: integer): integer;

var i,s: integer; //локальные переменные не инициализируются begin

for i:=1 to n do s:=s+n;

Result:=s; end;

При вызове Sum(1) "почему-то" получилось 193499