Процедурные типы. Паскаль.

         здесь допускается интерпретация процедур и функций,  как объектов,  которые можно присваивать переменным и передавать в качестве параметров.

             Такие действия можно выполнять с помощью процедурных типов.

             В описании процедурного типа задаются параметры, а для функции – результат

функции.

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

         ¦

         ¦ 

          procedure

          ¦               ¦       

          ¦               ¦список формальных параметров

          ¦

          function : результат

                          ¦

                          список формальных параметров

             Характерно, что синтаксис записи процедурного типа в точности совпадает с записью заголовка процедуры  или  функции,  только опуска-ется  идентификатор  после  ключевого  слова  procedure или function.  Приводится  пример описаний  процедурного типа:

             type

                Proc = procedure;

                SwapProc = procedure(var X, Y: Integer);

                StrProc = procedure(S: String);

                MathFunc = function(X: Real): Real;

                DeviceFunc = function(var F: text): Integer;

                MaxFunc = function(A, B: Real; F: MathFunc): Real;

            Имена параметров в описании процедурного типа  играют  чисто декоративную роль - на смысл описания они не влияют.

            Borland Pascal не позволяет описывать функции, которые возвращают значения процедурного типа. 

            Результат функции должен быть

                             строкового,

                             вещественного,

                             целого,

                            символьного,

                            булевского типа,

                            указателем 

            или иметь перечислимый тип,  определенный пользователем.

6.ПРОЦЕДУРНЫЕ ЗНАЧЕНИЯ.  

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

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

В списке формальных параметров процедуры Exampl:

:         K,L—параметры-значения;

          M—параметр-переменная;

          Prob — параметр-процедура;

          Step — параметр-функция, результатом выполнения которой будет значение вещественного типа.

        При вызове подпрограммы на место формальных параметров-процедур и параметров

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

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

             * значениями nil;

             * ссылкой на переменную процедурного типа;

             * идентификатором процедуры или функции.

     В контексте  процедурных  значений  описание  процедуры  или

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

        Рассмотрим, например, следующее описание:

          var

                P: SwapProc ;

                F: MathFunc ;

             procedure Swap(var A, B: Integer); far;

             var

               Temp: Integer;

             begin

               Temp := A;

               A := B;

               B := Temp;

             end;

             function Tan(Angle: Real); far;

             begin

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

             end;

             Переменным P и F можно присвоить значения следующим образом:

             P := Swap;

             F := Tan;

        а вызовы с помощью P и F можно выполнить так:

             P(I, J);                  { эквивалентно Swap(I, J) }

             X = F(X);                { эквивалентно X := Tan(X) }

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

         if @ P <> nil then P(I, J);

           Внимание. Операция @ используется для  указания того, что P проверяется, а не вызывается.

          Приводятся примеры применения процедурных типов: