Подпрограммы в Паскале. Область видимости. Локальные и глобальные идентификаторы.

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

1. по количеству;

2. по типу: на соответствующих местах должны стоять величины одного и того же типа;

3. по смыслу: на соответственных местах должны стоять параметры, в которые вкладывается один и тот же смысл.

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