Ответы на экзаменационные билеты_2 / Чистые процедуры. Правила и способы подстан. парам

ЧИСТАЯ ПРОЦЕДУРА - процедура с параметрами, не содержащая глобальных переменных. Использование чистых процедур можно считать одной из важнейших рекомендаций для получения корректных программ, в противном случае высока вероятность возникновения побочного эффекта.
ПОДСТАНОВКА ПАРАМЕТРОВ:
При подстановке фактических параметров вместо формальных должно быть выполнено основное правило их соответствия: по количеству, порядку и типу.
Существуют три способа подстановки параметров: по значению, по типу и по имени. Рассмотрим два из них.

1) Подстановка параметра-значения.
При подстановке по значению фактический параметр вычисляется и полу­ченное значение подставляется вместо формального параметра.
В общем случае фактический параметр может быть выражением.
Правило описания:
<формальный параметр-значение>::=<список имен>:<имя типа>.
Пример. Использование параметра-значения:
{х - параметр-значение}
program Value (Output);
var a:airay[1..2] of byte;
procedure P (x:byte);
begin x:=x+2 end;
begin {Главная программа}
a[1]:=10; a[2]:=20;
P(a[1]);
P(a[l]+a[2]);
write(a[1],a[2]);
end.
Механизм подстановки параметра-значения включает следующие этапы:
1. В памяти выделяется место для формального параметра (х);
2. Вычисляется значение фактического параметра (а[1], а[1] + а[2]) и при­сваивается переменной х.
3. Далее связь между фактическим и формальным параметром обрывается, т.е. значение фактического параметра не изменяется при выполнении процедуры.
Этот способ используется, когда параметр является аргументом процедуры, значение которого не должно быть изменено при ее выполнении.

2) Подстановка параметра-переменной(по имени).
При подстановке по переменной формальный параметр ссылается на имя фактического параметра. Фактический параметр может быть только именем про­стой или структурной переменной.
Правило описания:
<формальный параметр-переменная>::=vаг<список имен>:<имя типа>.
Пример. Использование параметра-переменной.
{х - параметр-переменная }
program Name (Output);
var a:array[1..2]of byte;
procedure P(var x:byte);
begin х:=х+2 end;
begin {Главная программа}
а[1]:=10; а[2]:=20;
P(a[1]);
P(a[2]);
write(a[1],a[2]);
end.
Meханизм подстановки параметра-переменной включает следующие этапы:
1. В памяти не выделяется место для формального параметра (х), а исполь­зуется то место, где размещается фактический параметр (ссылка на фактический параметр а[1],а[2]).
2. Так как фактический параметр отождествляется с формальным, то при изменении формального параметра изменяется и фактический.
Результат выполнения процедуры должен быть описан как параметр-переменная.
Сравнивая способы подстановки, можно так оценить эффективность их ис­пользования:
- подстановка по значению не является эффективной с точки зрения исполь­зуемого объема памяти, так как требует дополнительной памяти для формального параметра, но повышает надежность программы, сохраняя значение аргумента;
- подстановка по переменной является более эффективной по памяти, так как не требует дополнительной памяти под формальный параметр. Поэтому этот способ рекомендуется использовать не только для выходных параметров, но и для структурных переменных (например, массивов) большого объема, даже если они являются аргументами.