Блоки подпрограмм
Блоки подпрограмм позволяют включать в основной программный блок дополнительные алгоритмические блоки, которые могут быть запущены на исполнение из основной программы любое количество раз.
Блоки подпрограмм описывают самостоятельный законченный алгоритм.
В языке Pascal имеется два типа блока подпрограмм:
процедура;
функция.
Подпрограммы-процедуры
В заголовке процедуры определяется её идентификатор и формальные параметры.
Синтаксис описания блока процедуры:
{заголовок процедуры}
Procedure Ид_процедуры [(список_формальных_параметров)];
{раздел описаний}
[const <описания констант>;]
[type <описания типов>;]
[var <описания переменных>;]
[<описания подпрограмм>]
begin
{раздел операторов}
end;
Запуск процедуры осуществляется с помощью оператора вызова процедуры:
Синтаксис вызова процедуры:
Ид_процедуры [(список_фактических_параметров)];
Если в содержащемся в процедуре операторе внутри модуля процедуры используется идентификатор процедуры, то процедура будет выполняться рекурсивно (будет при выполнении обращаться сама к себе). Такой вызов подпрограммы называют рекурсивным.
Подпрограммы-функции
В заголовке функции определяется идентификатор функции, формальные параметры (если они имеются) и тип результата функции.
{заголовок функции}
function Ид_функции (список_формальных_параметров): тип_результата;
{раздел описаний}
[const <описания констант>;]
[type <описания типов>;]
[var <описания переменных>;]
[<описания подпрограмм>]
begin
{раздел операторов}
end;
Функция активизируется при вычислении выражения с функцией. Вызов функции в выражении имеет вид:
Ид_функции [(список_фактических_параметров)];
В модуле должен содержаться, по крайней мере, один оператор присваивания, в котором идентификатору функции присваивается значение. Результатом функции (тем значением, которое возвращается в точку вызова) является последнее присвоенное идентификатору функции значение.
Если такой оператор присваивания отсутствует или он не был выполнен, то значение, возвращаемое функцией, не определено.
Синтаксис оператора возврата значения из функции:
Ид_функции := выражение
Выражение должно быть совместимо по присваиванию с типом результата функции (см. раздел Совместимость в операциях присваивания стр. 19).
Правила видимости идентификаторов
Наличие идентификатора какого-либо объекта языка (переменой, константы, типа, процедуры или функции) в разделе описаний означает определение идентификатора. Каждый раз, когда идентификатор встречаются в программе, он должен находиться в области действия этого описания.
Область действия идентификатора распространяется от их места его описания в тексте до конца текущего блока, включая все блоки, входящие в текущий блок. Так переменная i, описанная в основной программе (рис. 23), будет видна и в самой программе, и в процедурах Blok2 и Blok3.
Рисунок 23 – Области видимости описаний
Описание идентификатора должно предшествовать любому вхождению идентификатора в текст программы.
Рассмотрим следующую ситуацию. Допустим, что в программе Blok1 вложен блок процедуры Blok2. Если в обоих блоках имеются описания переменных с одинаковым идентификатором, например, k, то в блоке Blok1 имеется доступ только к идентификатору k, который в нем описан, и аналогично внутри блока Blok2 имеется доступ только к идентификатору k, описание которого он содержит (рис. 24).
Рисунок 24 – Переопределение идентификатора во внутреннем блоке
Параметры
В описании процедуры или функции задается список формальных параметров. Каждый формальный параметр, описанный в списке формальных параметров, является локальной переменной по отношению к описываемой процедуре или функции, и в разделе операторов его можно использовать как обычную переменную.
Фактический параметр представляет собой определённое значение или переменную, с помощью которой инициализируется соответствующий формальный параметр.
Параметры-значения
Формальный параметр-значение обрабатывается как локальная по отношению к процедуре или функции переменная, за исключением того, что он получает свое начальное значение из соответствующего фактического параметра при активизации процедуры или функции. Изменения, которые претерпевает формальный параметр-значение, не влияют на значение фактического параметра.
Синтаксис описания параметров-значений в списке формальных параметров подпрограммы: