Глава 8. Блоки, локальность и область действия

·        Синтаксис

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

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

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

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

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

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

Синтаксис

В общем виде любой блок имеет следующий формат:

 

Раздел описания меток - это та часть блока, где описываются метки, присваиваемые операторам в соответствующем разделе опера­торов. Каждая метка должна помечать только один оператор.

Меткой может быть идентификатор или последовательность цифр. Используемая в качестве метки последовательность цифр должна на­ходиться в диапазоне от 0 до 9999.

Раздел описания констант содержит описания констант, локаль­ных для этого блока.

Раздел описания типов включает описания всех типов в блоке.

Раздел описания переменных состоит из описания переменных, локальных для этого блока.

Раздел описания процедур и функций состоит из описания про­цедур и функций, локальных для этого блока.

 

В операторе exports перечисляются все процедуры и функции, которые экспортируются данной программой или динамически компону­емой библиотекой. Оператор exports допускается только во внешнем разделе описаний программы или динамически компонуемой библиотеки

- в разделе описаний процедуры, функции или модуля его использо­вать нельзя.

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

Возврат в начало

 

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

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

Возврат в начало

 

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

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

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

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.

 

Возврат в начало