Параметры-переменные

При передаче параметров-переменных в подпрограмму через стек фактически передаются их адреса. Следовательно, подпрограмма имеет доступ к этим параметрам и может их изменять.

Объявление параметра-переменной. Параметр-переменная описывается в заголовке подпрограммы аналогично параметру-значению, но только перед именем параметра записывается зарезервированное слово var. Действие слова varраспространяется до ближайшей точки с запятой, т.е. в пределах одной группы.

Пример.

Procedure MaxMin (A: tArr; var Max, Min: real; N: word);

Здесь Max, Min – параметры-переменные, A, N – параметры-значения.

Тип параметров-переменных может быть любым, включая файловый.

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

type tArr = array[l..100] of Integer;

то и фактический параметр должен быть переменной или типизированной константой типа tArr.

Пример. Функция вычисления максимального элемента в массиве. Используем в качестве первого параметра параметр-переменную:

function Max (var Mas; tArr; N: Byte): Integer;

var Ma: Integer;

i: Byte;

begin

Ma:= Mas[1];

for i:= 2 to N do

if Ma < Mas[i] then Ma:= Mas[i];

Max:= Ma

end;

Этот вариант лучше предыдущего тем, что в данном случае в стеке не создается копия исходного массива, что улучшает быстродействие и экономит память. Однако при такой передаче параметра возможно его нежелательное изменение (такой вариант передачи параметра допустим только в таких небольших подпрограммах, как в данном примере, когда программист может проконтролировать отсутствие несанкционированного изменения параметра). Недостаток же, связанный с тем, что подпрограмма может работать только с одним типом массивов, остается.

Параметры-константы

Часто в качестве параметра в подпрограмму следует передать ту или иную переменную, но изменять ее подпрограмма не должна. В этом случае нежелательно передавать этот параметр как параметр-переменную. Можно его передать как параметр-значение, однако, если эта переменная имеет большой размер (массив, запись и т. д.), то копия такого параметра займет большую часть стека и даже может его переполнить. Это же приводит и к уменьшению быстродействия программы. В этой ситуации параметр лучше передать как параметр-константу. Такой параметр, если он структурированного типа, передается своим адресом, но предусматривается защита от его изменения. Использовать параметр-константу можно только в версии 7.0.

Параметр-константа указывается в заголовке подпрограммы аналогично параметру-значению, но перед именем параметра записывается зарезервированное слово const. Действие слова const распространяется до ближайшей точки с запятой, т. е. в пределах одной группы.

Пример.

function NewString (const S: string): string;

Тип параметра-значения может быть любым за исключением файлового.

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

Параметр-константу нельзя передавать в другую подпрограмму в качестве фактического параметра.

Пример.

Функция вычисления максимального элемента в массиве. Используем в качестве первого параметра параметр-константу:

function Max(const Mas: tArr; N: Byte): Integer;

var Ma: Integer;

i: Byte;

begin

Ma:= Mas[1];

for i:= 2 to N do

if Ma < Mas[i] then Ma:= Mas[i];

Max:= Ma

end;

Параметры без типа

В Turbo Pascal можно использовать параметры-переменные и параметры-константы без указания типа. В этом случае фактический параметр может быть переменной любого типа, а ответственность за правильность использования того или иного параметра возлагается на программиста.

Пример.

function Equal(var Paraml, Param2; Len: Word): Boolean;

Здесь Paraml, Param2 - параметры-переменные без типа (вместо них можно использовать, например, любые переменные простого типа, типа-массив, типа-запись и т. д.); Len - параметр-значение.

Следует иметь в виду, что параметр без типа внутри подпрограммы типа не имеет и его перед использованием следует преобразовать к конкретному типу, применяя идентификатор соответствующего типа.