Переменные-процедуры и функции

Рассмотрим программу на рис. 6.13. В ней вводятся две переменные-процедуры P1 и P2 и демонстрируются возможные действия с ними.

TYPE DemoProcType = procedure ( А,В : Word ); VAR Р1, Р2 : DemoProcType; { переменные-процедуры} P : Pointer; { просто указатель } { "Значения" переменных-процедур : } {$F+} PROCEDURE Demo1( X,Y : Word ); BEGIN WriteLn( 'x+y=', x+y ) END; PROCEDURE Demo2( X,Y : Word ); BEGIN WriteLn( 'x-y=', x-y ) END; {$F-} BEGIN { основной блок программы } P1 := Demo1; { присваивание значений переменным } P2 := Demo2; P1( 1, 1 ); { то же самое, что и вызов Demo1(1,1) } P2( 2, 2 ); { то же самое, что и вызов Demo2(2,2) } { Ниже в указатель Р запишется адрес процедуры Р1: } DemoProcType( P ) := P1; DemoProcType(P)( 1, 1 ); { то же, что и вызов Р1(1,1) } { Так значение указателя Р передается переменной : } @P2 := Р; Р2( 2,2 ); { процедура Р2 в итоге стала равна Р1 } END.

Рис. 6.13

Процедурные переменные по формату совместимы с переменными типа Pointer и после приведения типов могут обмениваться с ними значениями. Для того чтобы переменная-процедура понималась как указатель на адрес подпрограммы в ОЗУ, она должна предваряться оператором @. Советуем не злоупотреблять операциями обмена значений таких переменных, тем более с приведениями типов. Програм-{116}мы с подобными приемами очень трудно отлаживать, и они имеют тенденцию «зависать» при малейшей ошибке.

Одной из причин зависания может стать очень распространенная ошибка: попытка использовать переменную-процедуру, не присвоив ей соответствующего значения. Эта ошибка не диагностируется ничем и приводит к непредсказуемым последствиям.

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

TYPE

ProcType = ПроцедурныйИлиФункциональныйТип;

DemoRecType = RECORD

X,Y : Word;

Op : ProcType;

END;

VAR

Rec1,Rec2 : DemoRecType;

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

Обращаем внимание на еще одну особенность работы с процедурными переменными. Если надо убедиться, что процедуры или функции, понимаемые под двумя переменными, одинаковы, то операция сравнения запишется (для переменных Rec1.Op и Rec2.Op) как

IF @Rec1.Op = @Rec2.Op then ... ;

Если убрать оператор @, то при значениях полей Op, соответствующих процедурам, это будет просто синтаксически неверно, а при значениях Op, соответствующих функциям без параметров, будут сопоставляться не сами поля Op, а результаты вызовов функций.