Выполняется оператор процедуры следующим образом. Мысленно создается блок, охватывающий тело процедуры. В этом воображаемом блоке локализуются идентификаторы всех формальных параметров, включенных в список значений. Затем осуществляется вызов параметров в соответствии с их классом, как это было описано выше,
Подробнее, каждому из формальных параметров, вызываемых значением, присваивается значение соответствующего фактического параметра. Тем самым для каждого формального параметра — массива (т. е. параметра, специфицированного как массив и используемого в теле процедуры в качестве идентификатора массива) определяются границы его индексов — они заимствуются у соответствующего фактического параметра. Каждый формальный параметр, не включенный в список значений, заменяется в теле процедуры соответствующим фактическим пара-
метром, причем если этот фактический параметр — выражение, содержащее знаки операций вне скобок, то он заключается в скобки.
Построенный таким образом блок выполняется, и если в ходе выполнения не произошел переход к какому-либо оператору вне тела процедуры, то после этого начинает выполняться тот оператор, который должен выполняться после оператора процедуры.
§ 13. Примеры процедур
Пусть для т = 1, 2, 4, 1024 требуется отпечатать таблицу значений суммы 1 + 1/2 + ... + 1/т. Для этого можно воспользоваться следующей программой, в которую включена процедура h из предыдущего параграфа. Он содержит в себе описание величины, представленной формальным параметром п — единственным параметром процедуры /*., включенным в список значений. За этим описанием следует оператор присваивания этой величине значения соответствующего фактического параметра т и тело процедуры, в котором формальный параметр s, не включенный в список значений, заменен фактическим параметром х. В результате выполнения такого блока переменная х получит требуемое значение, которое будет отпечатано вместе со значением т при выполнении оператора вывод (т, х).
Можно ли было в основной программе (так обычно называется программа, содержащая описание процедуры и обращение к ней) вместо идентификаторов т и х воспользоваться идентификаторами А, п, s или it занятыми в описании процедуры? В отношении идеитификатора процедуры h ответ ясен — он должен отличаться от всех других идентификаторов, локальных в основном блоке, и следовательно, второй раз использован быть не может.