Обращение к процедурам (вызов процедур)

Обращение к процедуре является оператором процедуры и имеет вид:

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

Пример 2. Программа, предназначенная для решения квадратного уравнения вида , где p и q - вещественные числа:

{Здесь должно быть описание процедуры sqr_equation примера 1}

var p, q, x1, x2 : real;

roots_are : boolean;

begin

writeln(‘Введите p и q’); read(p, q);

sqr_equation(p+q, p-q, 1, x1, x2, roots_are);

if roots_are then writeln(‘x1=’, x1,’ x2=’, x2)

else writeln('корней нет')

end.

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

1) менее жесткое ограничение на типы - требуется только совместимость по присваиванию, а не тождественность;

2) фактический параметр является выражением, необязательно переменной;

3) информация не может быть испорчена через этот параметр, то есть даже если этот параметр является переменной, то его значение при выходе из подпрограммы остается тем же, что и при входе;

4) параметры-значения в теле подпрограммы можно использовать как локальные переменные.

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

Все изменения параметров-переменных в теле подпрограммы сохраняются при возвращении в вызывающую программу.