6.5 Локальные переменные. Область видимости. Время жизни.

Локальные элементы являются необязательными при описании подпрограмм. Они располагаются между заголовком подпрограммы и телом подпрограммы. В качестве локальных элементов могут использоваться переменные, константы, типы, метки, а также другие подпрограммы.

Время существования локальных элементов подпрограммы ограничено временем выполнения тела подпрограммы. После выхода из подпрограммы все локальные элементы уничтожаются.

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

6.6 Рекурсия. Виды рекурсии. Опережающее описание подпрограмм.

Рекурсивной подпрограммой называют подпрограмму которая в своем теле прямо или косвенно вызывает саму себя. Пример использования – вычисление факториала числа.

Прямая рекурсия. Подпрограмма вызывает саму себя в собственном теле. Косвенная рекурсия. Когда одна подпрограмма вызывает вторую, которая, в свою очередь, вызывает первую подпрограмму. Применяется опережающее описание подпрограмм. Для этого необходимо описать заголовок одной из подпрограмм с директивой forward.

6.7 Процедурные типы

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

typeMyProc=procedure;

PrintProc=procedure (a, b:Integer);

Func=function(x:real):real;

varMyProc: procedure;

Как видно из приведенных примеров, существует два вида процедурных типа: тип-процедура

и тип функция.

7. Модули

7.1 Назначение. Синтаксис.

Модуль – это автономно компилируемая программная единица, включающая в себя различные компоненты интерфейсного раздела (типы, константы, переменные, подпрограммы) и, возможно, некоторые операторы инициирующего раздела. Объекты описанные в интерфейсной части доступны для других модулей и основной программы. Тела процедур и функций располагаются в разделе реализации модуля и скрыты от пользователя.

Модуль в Object Pascal имеет следующую структуру:

unit <имя_модуля>;

interface

<раздел интерфейса>

implementation

<раздел реализации>

initialization

<раздел инициализации>

finalization

<раздел деинициализации>

end.

<имя_модуля>	– правильный идентификатор Object Pascal, заголовок модуля;
interface	– зарезервированное слово, начинает раздел интерфейса модуля;
implementation	– зарезервированное слово, начинает раздел реализации модуля;
initialization	– зарезервированное слово, начинает раздел инициализации модуля;
finalization	– зарезервированное слово, начинает раздел деинициализации модуля;
end	– зарезервированное слово, признак конца модуля.

Заголовок модуля состоит из зарезервированного слова unit и следующего за ним имени модуля. Имя модуля – правильный идентификатор Object Pascal, совпадающий с именем файла модуля. Например если модуль имеет имя Unit1, то имя файла модуля Unit1.pas.

Для подключения модуля к основной программе или к другому модулю необходимо использовать следующую конструкцию

uses <имя_модуля>, < имя_модуля >, ...;

где uses – зарезервированное слово.

Для подключения модуля к программе необходимо разместить uses сразу после объявления program. Объявление uses может следовать за зарезервированными словами interface, implementation в модулях.

Возможен еще один вариант подключения, с явным указанием положения файла модуля.

uses <имя_модуля> in '<имя файла>', ...;

После in указывается полное или относительное имя файла, например

uses test in 'test.pas'; //в каталоге программы

uses test in 'units\test.pas'; //в подкаталоге units каталога программы

uses test in '..\units\test.pas';//в подкаталоге units, родительского каталога

uses test in 'c:\lib\test.pas';//абсолютный путь

В общем случае компилятор ищет файлы модулей по следующему алгоритму:

если явно указан путь до файла, то проверяется его наличие;

если путь явно не указан, то поиск происходит в следующем порядке:

◦ каталог программы;

◦ каталоги для поиска указанные в настройках среды

В разделе interface содержатся объявления всех глобальных объектов модуля (типов, констант, переменных и подпрограмм), которые должны стать доступными основной программе и/или другим модулям. При объявлении глобальных подпрограмм в интерфейсной части указывается только их заголовок.

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

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

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

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