Правила для области действия

Наличие идентификатора или метки в описании означает опреде-

ление идентификатора или метки. Каждый раз, когда идентификатор

или метка встречаются в программе, они должны находиться в облас-

ти действия этого описания.

Область действия для блока

Область действия идентификатора или метки в описании метки,

константе, типа, переменной, процедуры или функции распространя-

ется от их описания до конца текущего блока, включая все блоки,

входящие в текущий блок. Ниже приводится несколько исключений.

Идентификатор или метка, описанные во внешнем блоке, могут

заново описываться во внутреннем блоке, входящем во внешний блок.

До точки описания во внутреннем блоке или после конца вложенного

блока идентификатор или метка представляют элемент, описанный во

внешнем охватывающем блоке.

program Outer; { начало внешней области действия ъ

type

I = Integer; { определяет I как Integer }

var

T: I; { определяет T как целочисленную

переменную }

procedure Inner; { начало внутреннего блока }

type

T = I; { переопределяет T с типом Integer }

var

I: T; { переопределяет I как целочисленную

переменную }

begin

I := 1; { конец вложенного блока }

end;

begin

T := 1; { конец внешнего блока }

end.

Область действия записи

Область действия идентификатора поля, описанного в определе-

нии записи, простирается от точки описания до конца определения

типа запись. Кроме того, область действия идентификаторов включа-

ет десигнаторы поля и операторы with над ссылками на переменную

данного типа записи.

Примечание: О типе запись рассказывается в Главе 4.

Область действия объекта

Область действия идентификатора элемента, описанного в объ-

ектном типе, простирается от точки описания до конца определения

объектного типа и распространяется на все дочерние объектные типы

и блоки всех описаний методов объектного типа. Область действия

идентификаторов элемента включает десигнаторы поля и операторы

with над ссылками на переменную данного объектного типа.

Примечание: о типе запись рассказывается в Главе 4.

Область действия модуля

Область действия идентификаторов, описанных в интерфейсной

секции модуля, подчиняется правилам области действия блока и

распространяется на всех клиентов модуля. Другими словами, прог-

раммы и модули, содержащие операторы uses (операторы использова-

ния) имеют доступ к идентификаторам, которые описаны в интерфейс-

ной части модулей, указанных в этих операторах uses.

Каждый модуль в операторе uses определяет свою область дейс-

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

Первый модуль в операторе uses представляет самую внешнюю область

действия, а последний модуль представляет самую внутреннюю об-

ласть действия. Это означает, что если два или более модулей со-

держат описание одного и того же идентификатора, то при неуточ-

ненном обращении к этому идентификатору будет выбран тот вариант,

который был описан в последнем модуле в операторе uses. Однако,

вы можете выбрать любой вариант этого идентификатора, указав

уточненный идентификатор.

Идентификаторы встроенных констант, типов, переменных, про-

цедур и функций Borland Pascal действуют, как если бы они были

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

в целом. В действительности эти стандартные объекты описаны в мо-

дуле System, который используется любой программой или модулем

прежде любого модуля, указанного в операторе uses. Это означает,

что любой модуль или программа могут переопределить стандартные

идентификаторы, а обращение к ним может быть выполнено с помощью

уточненного (составного) идентификатора, например, System.Integer

или System.Writeln.