19.1.4 Механизм формальных параметров

При изучении процедур и функций были использованы два термина «формальные параметры» и «фактические параметры».

Формальные параметры – показывают, в какой ФОРМЕ будут передаваться параметры в подпрограмму;

Фактические параметры – реальные параметры, имеющие ФАКТИЧЕСКИЕ значения, передаваемые в подпрограмму или возвращаемые из нее.

Формальные параметры могут быть представлены четырьмя категориями:

Параметры – значения (передаются через стек, поэтому не изменяются подпрограммой);

Параметры – переменные (передаются через адрес, поэтому могут изменяться, VAR);

Параметры – константы (передаются через адрес, но контроль от изменения, CONST);

Параметры - процедуры и параметры – функции.

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

Имена параметров могут быть любыми, в том числе и совпадать с именами объектов программы. Необходимо лишь помнить, что в этом случае параметр основной программы с таким именем становится недоступным для непосредственного использования подпрограммой.

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

Например, нельзя записать

Function Max(A: array[1..100] of real): real;

Чтобы правильно записать этот заголовок, следует в основной программе ввести тип массив, а затем использовать его в заголовке:

Type tArr = array[1..100] of real;

…..

Function Max(A:tArr): real;

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

19.1.4.1 Параметры-значения

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

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

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

Пример. В разделе описаний основной программы

Описание типов:

Type

Tarr = Array [1..100] of Integer;

Описание переменных:

Var

Massiv: tArr;

Maxim: Integer;

Описание функции :

Function Max (Mas: tArr; N: Integer): Integer;

Var Ma: Integer:

I: Byte;

Begin

Ma := Mas[1];

For I :=1 to N do

If Ma < Mas[I] then

Ma := Mas [I];

Max:=Ma

End;

В теле программы:

Maxim := Max (Massiv, 5);

Функция определяет максимальное число из первых пяти чисел массива Massiv.

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

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

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

Объявление параметра-переменной. Параметр-переменная описывается в заголовке подпрограммы аналогично параметру-значению, но только перед именем параметра записывается зарезервированное слово 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;

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