Введение. 
Процедуры и функции в языке Turbo Pascal

Во второй части методических указаний продолжается знакомство с основными конструкциями языка Turbo Pascal и типы данных. Рассматривается использование определяемых программистом процедур и функций, которые играют роль подпрограмм в языке Turbo Pascal, в частности, рекурсивный вызов процедур и процедурные типы данных. Также обсуждаются перечисляемые типы данных, тип-диапазон и оператор выбора case, одномерные и двумерные массивы.

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

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

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

Некоторые переменные, используемые в программе, являются вспомогательными и могут быть локализованы внутри процедур. Каждая процедура, как и сама программа, состоит из раздела описаний и раздела операторов. В разделе описаний описываются используемые в процедуре константы, переменные, типы, вложенные процедуры низшего уровня и т. д. Однако, все описанные внутри процедуры константы, переменные и т. д. недоступны основной программе. Подобным образом, если процедура более высокого уровня содержит описание процедур и функции низшего уровня, константы и переменные, описанные в процедуре низшего уровня, недоступны процедуре более высокого уровня.

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

Отметим, что имя локальной переменной может, в принципе, совпадать с именем глобальной переменной. При этом, однако, нужно иметь в виду следующее правило: внутри процедуры локальная переменная (описанная внутри этой процедуры)" закрывает" глобальную (описанную в основной программе или в процедуре более высокого уровня), т. е. внутри процедуры с этим именем связывается локальная переменная, глобальная же переменная с тем же именем становится недоступной.

Описание процедуры:

ЗАГОЛОВОК ПРОЦЕДУРЫ:

Procedure (<�описание формальных параметров>); ;

РАЗДЕЛ ОПИСАНИЙ (описание локальных констант, переменных, типов, процедур и функций низшего уровня) РАЗДЕЛ ОПЕРАТОРОВ.

begin

end;

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