6. Процедуры и функции

Одним из распространенных приемов при проектировании программ является разбиение программы на блоки. Каждый такой блок представляет собой процедуру.

Процедурой называется часть программы, имеющая имя и предназначенная для решения определенной задачи. Так же, как и остальные объекты программы, процедуры перед использованием необходимо сначала объявить в соответствующем разделе программы. Структура процедуры аналогична структуре самой программы:

PROCEDURE <имя процедуры> (<список формальных параметров>);

<разделы объявлений локальных объектов>;

<раздел операторов процедуры>;

Обращение к процедуре в программе или в другой процедуре происходит при помощи оператора процедуры, выполнение которого сводится к выполнению всех операторов процедуры. Оператор процедуры имеет следующий формат:

<имя процедуры> (<список фактических параметров>); .

Параметры

Параметры процедуры являются средством передачи информации в процедуру из программы (или другой процедуры) и обратно. Список формальных параметров представляет собой список идентификаторов с указанием типов. Эти идентификаторы служат для описания формальной схемы обработки данных, выступая в роли некоторых шаблонов. При вызове процедуры происходит настройка этой схемы на обработку конкретных данных - шаблоны заполняются соответствующими фактическими параметрами. Между формальными и фактическими параметрами должно быть соответствие по порядку следования, типам и количеству.

Формальные параметры делятся на параметры-значения и параметры-переменные. В списке формальных параметров перед параметром-переменной ставится служебное слово Var. Соответствующий ему фактический параметр должен быть переменной. Для параметра-значения в качестве соответствующего фактического параметра может выступать переменная или константа (в общем случае - выражение). При вызове процедуры параметр-значение принимает значение своего фактического параметра, параметр-переменная непосредственно изменяет соответствующий фактический параметр в соответствии с действиями процедуры. Поэтому результаты работы процедуры, которые необходимо передать в программу, оформляют как параметры-переменные, а исходные данные для работы процедуры - как параметры-значения.

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

Объявленные внутри процедуры переменные называются локальными. Область их действия - пределы самой процедуры. Переменные, объявленные в программе, имеют силу как в самой программе, так и в любой описанной в ней процедуре, если только их имена не совпадают с именами локальных переменных и формальных параметров-значений процедуры. Такие переменные называются глобальными.

Замечание 1. Любая процедура может содержать описание внутренней по отношению к себе (локальной) процедуры.

Замечание 2. В процедуре может встречаться обращение к другой процедуре программы, описанной ранее.

Замечание 3. Процедуры могут использоваться без параметров, работая непосредственно с глобальными переменными.

Замечание 4. В заголовке процедуры при объявлении типа формальных параметров допускаются только имена типов. В качестве них могут использоваться идентификаторы стандартных типов либо идентификаторы других типов, объявленные в разделе типов программы.