Cтраница 2
Статическая область и стек не требуют подробных комментариев. Активационные записи подпрограмм, находящиеся в стеке, содержат значения деактивированных формальных параметров, локальных переменных и идентификаторов имен подпрограмм, поскольку для представления текущей среды ссылок используется метод центральной таблицы среды ссылок. Таким образом, стек является скрытым и не участвует непосредственно в обработке ссылок. [16]
Этот способ удобен для индексирования при обращении к аргументам СТЭЛЗа. Если значение счетчика NARG превышает число определенных аргументов СТЭЛЗа, то значение формального параметра & NARG считается пустым. В начале генерации каждого СТЭЛЗа счетчик NARG обнуляется. [17]
Если фактический параметр является простой переменной пли переменной с индексами, то параметры для передачи значения-результата похожи на параметры, передаваемые по ссылке. Различие состоит в том, что при передаче по ссылке любое изменение значения формального параметра немедленно отражается на значении соответствующего фактического параметра, тогда как при передаче по значению-результату фактический параметр меняется только при выходе из вызываемой подпрограммы. [18]
Фактические параметры в этих случаях могут быть опущены, что особенно удобно, когда значения формальных параметров по умолчанию оказываются достаточными для подавляющего большинства случаев. [19]
Формальные параметры-переменные служат для модификации внутри подпрограммы значений соответствующих фактических параметров. Формальный параметр-переменная представляет фактическую переменную во время выполнения процедуры или функции, поэтому все изменения значения формального параметра отражаются на фактическом параметре. [20]
Если в секции формальных параметров никакой символ не предшествует списку параметров, то все параметры из этого списка являются параметрами-значениями. Формальный параметр в этом случае - просто локальная переменная вызываемой процедуры. Значение формального параметра может изменяться при выполнении процедуры, однако никакого влияния на значение фактического параметра это не оказывает. Следовательно, параметр-значение не может представлять собой результаты работы процедуры. [21]
В прочих случаях для процедуры и для обращающейся к ней программы безразлично, вызывается ли формальный параметр, выступающий в теле процедуры в роли простой переменной или идентификатора массива, значением или наименованием. Здесь следует руководствоваться соображениями экономии. При переводе описания процедуры на машинный язык вызов значением формальных параметров - переменных реализуется, как правило, экономнее, чем вызов по наименованию. Для такого формального параметра выделяется всего одна ячейка, в которую помещается значение соответствующего фактического параметра, вычисляемое один раз - в момент обращения к процедуре. Для формальных параметров - массивов, наоборот, проще и экономнее организуется вызов наименованием. Для этого достаточно передать процедуре ( точнее - реализующему ее участку машинной программы) информацию о месте расположения в памяти массива - фактического параметра и о его размерах. При вызове массивов значением необходимо выделить участок памяти и разместить на нем копию массива - фактического параметра. Поэтому не рекомендуется без особой нужды вызывать параметры-массивы значением, а параметры-переменные - по наименованию. [22]
В прочих случаях для процедуры и для обращающейся к ней программы безразлично, вызывается ли формальный параметр, выступающий в теле процедуры в роли простой переменной или идентификатора массива, значением или наименованием. Здесь следует руководствоваться соображениями экономии. При переводе описания процедуры на машинный язык вызов значением формальных параметров - переменных реализуется, как правило, экономнее, чем вызов по наименованию. Для такого формального параметра выделяется всего одна ячейка, в которую помещается значение соответствующего фактического параметра, вычисляемое один раз - в момент обращения к процедуре. Для формальных параметров - массивов, наоборот, проще и экономнее организуется вызов наименованием. [23]
При передаче параметров по значению формальный параметр связывается с тем же значением, что и значение фактического параметра. Изменения значения формального параметра во время вычисления функции никак не отражаются на значении фактического параметра. С помощью параметров, передаваемых по значению, информацию можно передавать только внутрь процедур, но не обратно из них. При передаче параметров по ссылке изменения значений формальных параметров видны извне и можно возвращать данные из процедуры с помощью присваивания значений формальным параметрам. [24]