Такие параметры в списке формальных параметров представляются ключевыми словамиprocedure и function.

 

Примеры.

 

procedure p(procedure a);

 

Здесь процедура p имеет один параметр-процедуру a.

 

procedure q(function s: real; b: real);

 

Процедура q имеет два параметра: параметр-функцию s и параметр-значение b.

 

procedure q(function f(i: integer): real);

 

Здесь формальный параметр f – функция от одного целого аргумента, результатf – вещественный.

 

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

Обратиться к процедуре q(function f(i: integer): real) можно так: q(sinus(k)); где sinus(k) есть sin(k). Если k имеет тип integer, тогда sinus(k) – типа real. Это совпадает с типами i и f в заголовке q. Нельзя, однако, обратиться к q с функцией abs(k), а именно q(abs(k)); в этом случае тип формального параметра f – real, а тип фактического abs(k) – integer, т.е. формальный и фактический параметры не совпадают по типу.

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

 

1. procedure tab(function f: real; low, up, step: real);

2.     var

3.         x: real;

4.         j: integer;

5.     begin

6.         x :=low;

7.         for j :=0 to trunc((up – low) / step) do begin

8.             writeln(x:10, f(x):10);

9.             x :=x + step

10.         end

11.     end;

 

Выражение trunc((up – low) / step) дает число точек, в которых выполняется функция f (при счете от 0).

 

Если к функции tab обратиться оператором

 

• tab(sin, 0.0, 6.4, 0.33);

 

то будет напечатана таблица функции sin x для x от 0 до 6.4 с шагом 0.33. Алгоритмы, употребляемые наиболее часто различными пользователями, оформляются в виде процедур и функций, и составляют библиотеку стандартных программ (модулей).

 

При использовании параметров-процедур и параметров-функций надо иметь в виду возможные осложнения.

1.       Ошибки, допускаемые программистом в процедурах, имеющих параметры-процедуры и параметры-функции, иногда бывает трудно найти, что ведет к длительной отладке таких процедур.

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

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