Идентификатор - процедура
Cтраница 2
Я упоминал, что идентификаторы процедур инициализируются через описания. В таком случае связывание процедуры с идентификатором может быть изменено присваиванием. Я уже отмечал, как это делается с помощью указателей. Разумеется, существуют и другие способы. Простейший из них состоит в-том, чтобы вовсе не заменять идентификатор, а пользоваться, индексом выбора, который фиксирует одну процедуру из некоего множества. [16]
Оператор процедуры состоит из идентификатора процедуры и, возможно, следующего за ним списка фактических параметров, заключенного в круглые скобки. [17]
Оператором процедуры называется совокупность идентификатора процедуры и перечня так называемых фактических параметров. Выполнение оператора процедуры заключается в следующем. Среди описаний, присутствующих в блоке, в котором содержится выполняемый оператор процедуры, находят описание процедуры. Если его там не окажется, ищут описание процедуры в блоке, содержащем данный, и так далее до тех пор, пока описание процедуры не будет найдено. Оно состоит из заголовка процедуры и тела процедуры, которое является оператором. В заголовке содержатся перечень формальных параметров процедуры и так называемый список значений, в котором повторены некоторые из формальных - параметров. Тем формальным параметрам процедуры, которые указаны в списке значений; производится присваивание значений фактических параметров из числа указанных в операторе процедуры. Остальные формальные параметры процедуры заменяются в теле процедуры отвечающими им фактическими параметрами. Соответствие между формальными параметрами процедуры и фактическими параметрами, указанными в операторе процедуры, получается путем сопоставления в одном и том же порядке элементов перечня фактических параметров и перечня формальных параметров. [18]
Оператор процедуры состоит из идентификатора процедуры и, возможно, следующего за ним списка фактических параметров, заключенного в круглые скобки. [19]
Тип значения, присваиваемого идентификатору процедуры, должен соответствовать самому первому описателю, стоящему в заголовке процедуры. [20]
Константа процедурного типа должна указывать идентификатор процедуры или функции, совместимый по присваиванию с типом константы. [21]
Указатель функции записывается в виде идентификатора процедуры, за которым следует заключенный в круглые скобки список фактических параметров, разделенных ограничителями параметра. [22]
С другой стороны, переменная или идентификатор процедуры могут быть локализованы путем описания ( см. разд. Такая локализованная переменная или идентификатор процедуры имеют смысл только внутри этого блока; та же переменная или тот же идентификатор процедуры, встречающиеся вне данного блока, не имеют никакого отношения к значению или к процедуре, используемым внутри блока. Переменные или идентификаторы процедур, не описанные в том блоке, в котором они используются, понимаются как не локализованные в этом блоке, и, следовательно, они представляют один и тот же объект внутри данного блока и в блоке, включающем данный блок. Поскольку любой оператор в блоке может быть в свою очередь блоком, понятия локализованной и нелокализованной величины следует понимать рекурсивно. Так, переменная или идентификатор процедуры, не локализованные в блоке А, могут быть или не быть локализованы в блоке В, который содержит А как одну из своих компонент. [23]
Ко времени вызова В определены все идентификаторы процедуры А, за исключением X, которой в это время не было в памяти, и L. Оператор ( 14) ( в А) объявляет L константой типа метки, в то время как оператор ( 9) ( в В) объявляет L переменной типа метки. [24]
 |
Синтаксическая структура оператора процедуры. [25] |
Здесь идентификатор th выбран в качестве идентификатора процедуры вычисления thx; th ( к, у); - заголовок процедуры ( без списка значений и совокупности спецификаций); х, у - формальные параметры: х - выходной, у - параметр-результат. [26]
Совокупность формальных параметров размещается непосредственно за идентификатором процедуры. [27]
Заголовок процедуры представляет собой следующую последовательность: идентификатор процедуры, заключенный в круглые скобки список формальных параметров, основной символ; ( точка с запятой), список значений, совокупность спецификаций. [28]
Результат выполнения процедуры должен быть присвоен непосредственно идентификатору процедуры. Поэтому в теле процедуры должен быть один или несколько операторов присваивания с идентификатором этой процедуры в левой части, и, по крайней мере, один из них должен выполняться. По этой причине в числе формальных параметров ( по сравнению с процедурой) не должно быть идентификатора для обозначения результата выполнения процедуры. [29]
Синтаксис записи оператора процедуры следующий: вначале записывается идентификатор процедуры, к которой мы хотим обратиться, а затем список фактических параметров, заключенный в круглые скобки. [30]
Страницы: 1 2 3 4