2015-08-12
912
Любая подпрограмма может быть вызвана не только из основного тела программы, но и из любой другой подпрограммы, объявленной позже нее.
При вызове в подпрограмму передаются фактические параметры или аргументы (в круглых скобках после имени подпрограммы, разделенные запятыми):
| <имя_подпрограммы>(<список_аргументов>) |
Аргументами могут быть переменные, константы и выражения, включающие в себя вызовы функций.
Количество и типы передаваемых в подпрограмму аргументов должны соответствовать количеству и типам ее параметров. Кроме того, тип каждого аргумента должен обязательно учитывать способ подстановки, указанный для соответствующего параметра (подробнее об этом будет рассказано в разделе "Способы подстановки аргументов"). Если у подпрограммы вообще нет объявленных параметров, то при вызове список передаваемых аргументов будет отсутствовать вместе с обрамляющими его скобками.
Вызов функции не может быть самостоятельным оператором, потому что возвращаемое значение нужно куда-то записывать. Зато оно может стать равноправным участником арифметического выражения. Например:
|
|
|
| c:= min(a,a *2); if min(z, min(x,y))= 0 then...; |
Процедура же ничего не возвращает явным образом, поэтому ее вызов является отдельным оператором в программе. Например:
| err(res,'Привет!'); |
Замечание: После того как вызванная подпрограмма завершит свою работу, управление передается оператору, следующему за оператором, вызвавшим эту подпрограмму.
В качестве примера рассмотрим процедуру kwad, которая также служит для печати квадрата в процедуре:
| procedure kwad; var i:integer; begin for i:=1 to 3 do write(‘*’); writeln; write(‘* *’); for i:=1 to 3 do write(‘*’); writeln; end. |
Данный пример ясно показывает, что внутри процедуры также можно объявлять новые переменные. Так как эти переменные могут действовать только в самой процедуре, то говорят, что эти переменные являются локальными. Термин «локальные» объявляет, что переменные могут использоваться (имеют смысл) только в самой процедуре.
В процедуре можно также определять метки, константы, типы и т.д. (и даже новые процедуры). Подобная процедура имеет точно такую же структуру, как и программы, которые мы до сих пор описывали.
