В качестве формальных параметров допускается использовать имена процедур или функций. При вызове подпрограммы на место формальных параметров процедур или функций осуществляется подстановка имен соответствующих им фактических процедур или функций.
Для передачи функций и процедур в качестве параметров в Паскале используется понятие процедурного типа, определяющего, какой вид подпрограммы (процедуру или функцию) можно использовать в качестве параметра и с какими параметрами, в свою очередь, должна быть эта подпрограмма. При объявлении процедурного типа указывается заголовок процедуры/функции, в котором опускается ее имя, например:
Туре
Рrос_0 = Procedure; [тип-процедура]
Proc_2 = Procedure(Varх, у); [тип-процедура]
Proc_3 = Procedure (a, b : real; Varу : real); [тип-процедура]
Func_0 = Function: integer; [тип-функция]
Func_1 = Functions (x: real): real; [тип-функция]
Установлены следующие правила использования подпрограмм в качестве параметров:
• они не должны быть стандартными процедурами или функциями;
• они не должны объявляться внутри других процедур или функций;
• для установки правильных связей между вызывающими и вызываемыми подпрограммами они должны иметь в заголовке опцию Far, что определяет «дальнюю» модель вызова этих подпрограмм и формирование их полного адреса;
• согласно принципу опережающего описания объектов в Паскале, процедура или функция может обращаться только к той процедуре или функции, описание которых располагается перед описанием вызывающей процедуры или функции.
