Процедурные переменные

После определения процедурного типа появляется возможность

описывать переменные этого типа. Такие переменные называют проце-

дурными переменными. Например, с учетом описаний типа из предыду-

щего примера, можно объявить следующие переменные:

var

P: SwapProc;

F: MathFunc;

Как и целая переменная, которой можно присвоить значение це-

лого типа, процедурной переменной можно присвоить значение проце-

дурного типа. Таким значением может быть, конечно, другая проце-

дурная переменная, но оно может также представлять собой иденти-

фикатор процедуры или функции. В таком контексте описания проце-

дуры или функции можно рассматривать, как описание особого рода

константы, значением которой является процедура или функция. Нап-

ример, пусть мы имеем следующие описания процедуры и функции:

procedure Swap(var A,B: integer);

var

Temp: integer;

begin

Temp := A;

A := B;

B := Temp;

end.

function Tan(Angle: real): real;

begin

Tan := Sin(Angle) / Cos(Angle);

end.

Описанным ранее переменным P и F теперь можно присвоить зна-

чения:

P := Swap;

F := Tan;

После такого присваивания обращение P(i,j) эквивалентно Swap

(i,j) и F(X) эквивалентно Tan(X).

Как и при любом другом присваивании, значения переменной в

левой и в правой части должны быть совместимы по присваиванию.

Процедурные типы, чтобы они были совместимы по присваиванию,

должны иметь одно и то же число параметров, а параметры на соот-

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

лось ранее, имена параметров в описании процедурного типа никако-

го действия не вызывают.

Кроме того, для обеспечения совместимости по присваиванию

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

ной, должна удовлетворять следующим требованиям:

- Это не должна быть стандартная процедура или функция.

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

- Такая процедура не должна быть процедурой типа inline.

- Она не должна быть процедурой прерывания (interrupt).

Стандартными процедурами и функциями считаются процедуры и

функции, описанные в модуле System, такие, как Writeln, Readln,

Chr, Ord. Чтобы получить возможность использовать стандартную

процедуру или функцию с процедурной переменной, вы должны напи-

сать для нее специальную "оболочку". Например, пусть мы имеем

процедурный тип:

type

IntProc = procedure(N: integer);

Следующая процедура для записи целого числа будет совмести-

мой по присваиванию:

procedure WriteInt(Number: Integer); far;

begin

Write(Number);

end.

Вложенные процедуры и функции с процедурными переменными ис-

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

когда она описывается внутри другой процедуры или функции. В сле-

дующем примере процедура Inner вложена в процедуру Outer и поэто-

му ее нельзя присваивать процедурной переменной:

program Nested;

procedure Outer;

procedure Inner;

begin

Writeln('Процедура Inner является вложенной');

end;

begin

Inner;

end;

begin

Outer;

end.

Использование процедурных типов не ограничивается просто

процедурными переменными. Как и любой другой тип, процедурный тип

может участвовать в описании структурного типа, что видно из сле-

дующих описаний:

type

GotoProc = procedure(X,Y: integer);

ProcList = array[1..10] of GotoProc;

WindowPtr = ^WindowRec;

Window = record

Next: WindowPtr;

Header: string[31];

Top,Left,Bottom,Right: integer;

SetCursor: GotoProc;

end;

var

P: ProcList;

W: WindowPtr;

С учетом этих описаний допустимы следующие вызовы процедур:

P[3](1,1);

W.SetCursor(10,10);

Когда процедурной переменной присваивается значение процеду-

ры, то на физическом уровне происходит следующее: адрес процедуры

сохраняется в переменной. Фактически, процедурная переменная

весьма напоминает переменную-указатель, только вместо ссылки на

данные она указывает на процедуру или функцию. Как и указатель,

процедурная переменная занимает 4 байта (два слова), в которых

содержится адрес памяти. В первом слове хранится смещение, во

втором - сегмент.