Содержание

• Содержание
  • Параметр–значение
    • Описание
    • Механизм передачи значения
  • Параметр–переменная
    • Описание
    • Механизм передачи значения
  • Параметр–константа
    • Описание
    • Механизм передачи значения
• Примечания

Параметр–значение

Описание

В списке параметров подпрограммы перед параметром–значением служебное слово отсутствует¹. Например, функция func3 имеет три параметра–значения:

При вызове подпрограммы параметру–значению может соответствовать аргумент, являющийся выражением, переменной или константой, например:

Для типов данных здесь не обязательно строгое совпадение (эквивалентность), достаточно и совместимости по присваиванию (см. лекцию 2).

Механизм передачи значения

В области памяти, выделяемой для работы вызываемой подпрограммы, создаётся переменная с именем <имя_подпрограммы>.<имя_параметра>, и в эту переменную записывается значение переданного в соответствующий параметр аргумента. Дальнейшие действия, производимые подпрограммой, выполняются именно над этой новой переменной. Значение же входного аргумента не затрагивается. Следовательно, после окончания работы подпрограммы, когда весь её временный контекст будет уничтожен, значение аргумента останется точно таким же, каким оно было на момент вызова подпрограммы.

В качестве примера рассмотрим последовательность действий, выполняемых при передаче аргументов 1 + а / 2, а и Тrue в описанную выше функцию func3. Пусть а — переменная, имеющая тип Byte, тогда значение выражения 1 + a / 2 будет иметь тип Real, а True и вовсе является константой (неименованной).

Итак, при вызове func3(1 + a / 2, a, True) будут выполнены следующие действия:

1. создать временные переменные func3.x, func3.k, func3.flag;
2. вычислить значение выражения 1 + а / 2 и записать его в переменную func3.x;
3. записать в переменную func3.k значение переменной а;
4. записать в переменную func3.flag значение константы True;
5. произвести действия, описанные в теле функции;
6. уничтожить все временные переменные, в том числе func3.x, func3.k, func3.flag.

Уже видно, что значения аргументов не изменятся.

Замечание: При использовании параметров–значений в контексте подпрограммы создаются хотя и временные, но вполне полноценные копии входных аргументов. Поэтому нежелательно передавать в параметры–значения «большие» аргументы (например, массивы): они будут занимать много лишней памяти.

Параметр–переменная

Описание

В списке параметров подпрограммы перед параметром–переменной ставится служебное слово var. Например, процедура proc3 имеет три параметра–переменные и один параметр–значение:

При вызове подпрограммы параметру–переменной может соответствовать только аргумент–переменная; константы и выражения запрещены. Кроме того, тип аргумента и тип параметра–переменной должны быть эквивалентными (см. лекцию 2).

Механизм передачи значения

В отличие от параметра–значения, для параметра–переменной не создаётся копии при вызове подпрограммы. Вместо этого в работе подпрограммы участвует та самая переменная, которая послужила аргументом. Понятно, что если её значение изменится в процессе работы подпрограммы, то это изменение сохранится и после того, как будет уничтожен контекст подпрограммы. Понятно опять же и ограничение на аргументы, которые должны соответствовать параметрам–переменным: ни константа, ни выражение не смогут сохранить изменения, внесённые в процессе работы подпрограммы.

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

Замечание: Для экономии памяти в параметр–переменную можно передавать и такую переменную, изменять значение которой не требуется. Скажем, если нужно передать в качестве аргумента массив, то лучше не создавать его копию, как это будет сделано при использовании параметра–значения, а использовать параметр–переменную.

Параметр–константа

Описание

В списке параметров подпрограммы перед параметром–константой ставится служебное слово const. Например, процедура proc4 имеет один параметр–переменную и один параметр–константу:

При вызове подпрограммы параметру–константе может соответствовать аргумент, являющийся выражением, переменной или константой. Во время выполнения подпрограммы соответствующая переменная считается обычной константой. Ограничением является то, что при вызове другой подпрограммы из тела текущего параметра–константе не может быть подставлен в качестве аргумента в параметр–переменную.

Для типов данных здесь не обязательно строгое совпадение (эквивалентность), достаточно и совместимости по присваиванию (см. лекцию 2).

Механизм передачи значения

В некоторых источниках² можно встретить утверждение о том, что для параметра–константы, как и для параметра–переменной, не создаётся копии в момент вызова подпрограммы. Однако выполнение простейшей проверки

доказывает обратное: физические адреса³ переменной а и параметра с различаются. Следовательно, в памяти эти переменные занимают разные позиции, а не одну, как было бы в случае параметра–переменной. Вы можете убедиться в этом самостоятельно, запустив данную программу в трёх разных вариантах (для параметра–значения, параметра–переменной и параметра–константы), а затем сравнив результаты.

Примечания

1. ^ Иными словами, атрибут является пустым.
2. ^ Например, Бежанова М.М., Москвина Л.А. Практическое программирование. Приёмы создания программ на языке Паскаль. М.: «Научный мир», 2001.
3. ^ Способы работы с физическими адресами мы рассмотрим в лекции 10.