Глава 9. Модули.

  9.2 Заголовок модуля и связь модулей друг с другом
  9.3 Интерфейсная часть 
  9.4 Исполняемая часть 
  9.5 Инициирующая часть 
  9.6 Компиляция модулей 
  9.7 Доступ к объявленным в модуле объектам
  9.8 Стандартные модули

            оглавление


МОДУЛИ


Стандартный Паскаль в том виде, как он описан в [6], не предусматривает механизмов раздельной компиляции частей программы с последующей их сборкой перед выполнением. Более того, последовательное проведение в жизнь принципа обязательного описания любого объекта перед его использованием делает фактически невозможным разработку разнообразных библиотек прикладных программ. Точнее, такие библиотеки в рамка стандартного Паскаля могут существовать только в виде исходных текстов программист должен сам включать в программу подчас весьма обширны тексты различных поддерживающих процедур, таких, как процедуры матричной алгебры, численного интегрирования, математической статистик И Т.П.
Вполне понятно, поэтому стремление разработчиков коммерчески: компиляторов Паскаля включать в язык средства, повышающие его модульность. Чаще всего таким средством является разрешение использовать внешние процедуры и функции, тело которых заменяется зарезервированным словом EXTERNAL. Разработчики Турбо Паскаля пошли в этом направлении еще дальше, включив в язык механизм так называемых модулей.
Модуль - это автономно компилируемая программная единица, включающая в себя различные компоненты раздела описаний (типы, константы, переменные, процедуры и функции) и, возможно, некоторые исполняемые операторы инициирующей части. По своей организации и характеру использования в программе модули Турбо Паскаля близки к модулям-пакетам (PACKAGE) языка программирования Ада [12]. В них так же, как в пакетах Ады, явным образом выделяется некоторая «видимая» интерфейсная часть, в которой сконцентрированы описания глобальных типов, констант и переменных, а также приводятся заголовки глобальных процедур и функций. Появление объектов в интерфейсной части делает их доступными для других модулей и основной программы. Тела процедур и функций располагаются в исполняемой части модуля, которая может быть скрыта от пользователя.
    Насколько сильно изменяются свойства языка Паскаль при введении механизма модулей свидетельствует следующее замечание его автора Н.Вирта [3, с.89], сделанное им по поводу более позднего языка Модула-2: «Модули - самая важная черта, отличающая язык Модула-2 от его предшественника Паскаля». Кстати, из пяти основных отличий Модулы-2 от Паскаля, сформулированных Н.Виртом в предисловии к книге [3], три -модули, средства программирования низшего уровня и процедурные типы - реализованы в Турбо Паскале.
    Модули представляют собой прекрасный инструмент для разработки библиотек прикладных программ и мощное средство модульного программирования. Важная особенность модулей заключается в том, что компилятор Турбо Паскаля размещает их программный код в отдельном сегмента памяти. Максимальная длина сегмента не может превышать 64 Кбайта, однако количество одновременно используемых модулей ограничивается лишь доступной памятью, что дает возможность создавать весьма крупные программы.

 

                            Вверх

9.1. СТРУКТУРА МОДУЛЕЙ


    Модуль имеет следующую структуру:
                     ишт<амя>;
                        INTERFACE
                       Интерфейсная часть>
                         IMPLEMENTATION
                      Исполняемая часть>
                        BEGIN Инициирующая часть>
                            END.
    Здесь UNIT - зарезервированное слово (единица); начинает заголовок модуля;
<имя> - имя модуля (правильный идентификатор); INTERFACE - зарезервированное слово (интерфейс); начинает интерфейсную часть модуля;
IMPLEMENTATION - зарезервированное слово (выполнение); начинает исполняемую часть;
BEGIN - зарезервированное слово; начинает инициирующую часть; часть модуля BEGIN <шшциирующая часть> необязательна; END - зарезервированное слово - признак конца модуля. Таким образом, модуль состоит из заголовка и трех составных частей, любая из которых может быть пустой.
             
                     Вверх

9.2. ЗАГОЛОВОК МОДУЛЯ И СВЯЗЬ МОДУЛЕЙ ДРУГ С ДРУГОМ


   Заголовок модуля состоит из зарезервированного слова UNIT» следующего за ним имени модуля. Для правильной работы среды Турбо Паскаля и возможности подключения средств, облегчающих разработку крупных программ (см. п.9.6), это имя должно совпадать с именем дискового файла, в который помещается исходный текст модуля. Если, например, имеем заголовок
                                             Unit Global;
то исходный текст соответствующего модуля должен размещаться в дисковом файле GLOBAL.PAS. Имя модуля служит для его связи с другими модулями и основной программой. Эта связь устанавливается специальным предложением
                                       USES <сп.модулей) 
   Здесь USES - зарезервированное слово (использует);
<сп.модулей> - список модулей, с которыми устанавливается связь; элементами списка являются имена модулей, отделяемые друг от друга запятыми, например: 
                                      Uses CRT, Graph, Global:
   Если объявление USES... используется, оно должно открывать раздел описаний основной программы. Модули могут использовать другие - модули. Предложение USES в модулях может следовать либо сразу за зарезервированным словом INTERFACE, либо сразу за словом      IMPLEMENTATION.
 
                          Вверх

9.3. ИНТЕРФЕЙСНАЯ ЧАСТЬ


     Интерфейсная часть открывается зарезервированным словом INTERFACE. В этой части содержатся объявления всех глобальных объектов модуля (типов, констант, переменных и подпрограмм), которые должны стать доступными основной программе и/или другим модулям. При объявлении глобальных подпрограмм в интерфейсной части указывается только их заголовок, например:
                UNIT Cmplx; 
                INTERFACE 
    type 
      complex = record 
        re, Im : real 
        end; 
     Procedure AddC (x, у : complex; var z : complex);
      Procedure MulC (x, у : complex; var z : complex);
 Если теперь в основной программе написать предложение
                                 Uses Cmplx;
то в программе станут доступными тип COMPLEX и две процедуры -ADDC и МULC из модуля      CMPLX.
Отметим, что объявление подпрограмм в интерфейсной части автоматически сопровождается их компиляцией с использованием дальней; модели памяти (см. гл.8). Таким образом обеспечивается доступ к подпрограммам из основной программы и других модулей.
Следует учесть, что все константы и переменные, объявленные интерфейсной части модуля, равно как и глобальные константы и переменные основной программы, помещаются компилятором Турбо Паскаля в общий сегмент данных (максимальная длина сегмента 65536 байт). Порядок появления различных разделов объявлений и их количество может быть произвольным. Бели в интерфейсной части объявляются внешние подпрограммы или подпрограммы в машинных кодах (см. гл. 11), их тела (т.е. зарезервированное слово EXTERNAL, в первом случае, и машинные коды вместе со словом INLINE - во втором) должны следовать сразу за их заголовками в исполняемой части модуля (не в интерфейсной). В интерфейсной части модулей нельзя использовать опережающее описание.
 
                        Вверх

9.4. ИСПОЛНЯЕМАЯ ЧАСТЬ


   Исполняемая часть начинается зарезервированным словом IMPLEMENTATION и содержит описания подпрограмм, объявленных в интерфейсной части. В ней могут объявляться локальные для модуля объекты - вспомогательные типы, константы, переменные и блоки, а также - метки, если они используются в инициирующей части.
Описанию подпрограммы, объявленной в интерфейсной части модуля, в исполняемой части должен предшествовать заголовок, в котором можно опускать список формальных переменных (и тип результата для функции), так как они уже описаны в интерфейсной части. Но если заголовок подпрограммы приводится в полном виде, т.е. со списком формальных параметров и объявлением результата, он должен совпадать с заголовком, объявленным в интерфейсной части, например:
                      Unit Cmplx; 
                          Interfасе 
                             type
                           complex =record
                     re, im : real
                              end;
                      Procedure AddC (x, у : complex; var r : complex):
                  Implementation
                    Procedure AddC;
                                begin
                                     z.re :=x.re + y.re: 
                                     z,Im := x.Im * y.Im 
                                  end; 
                                  end.
Локальные переменные и константы, а также все программные коды, порожденные при компиляции модуля, помещаются в общий сегмент памяти.
 
                      Вверх

9.5. ИНИЦИИРУЮЩАЯ ЧАСТЬ


    Инициирующая часть завершает модуль. Она может отсутствовать вместе с начинающим ее словом BEGIN или быть пустой - тогда за BEGIN сразу следует признак конца модуля (слово END и следующая за ним точка).
В инициирующей части размещаются исполняемые операторы, содержащие некоторый фрагмент программы. Эти операторы исполняются до передачи управления основной программе и обычно используются для подготовки ее работы. Например, в них могут инициироваться переменные, открываться нужные файлы, устанавливаться связи с другими ПК по коммуникационным каналам и т.п.:
                          Unit FileText;
                            I nterface
                       Procedure Prlnt(t : string):
                       Implementation
                  var
                          f : text;
                        const
                    name = 'output. txt';


                          Procedure Print: 
                                     begin 
                               writeln(f,s); 
                          end; 
                                  { Начало инициирующей части: ) 
                                        begin
                                 assign(f, name);
                                 rewriie(f);
                                   { Конец инициирующей части } 
                                       end.
          He рекомендуется делать инициирующую часть пустой,, лучше и опустить: пустая часть содержит пустой оператор, которому будет передано управление при запуске программы. Это часто вызывает проблемы
при разработке оверлейных программ (см. гл. 11).
 
                          Вверх

9.6. КОМПИЛЯЦИЯ МОДУЛЕЙ


  В среде Турбо Паскаля имеются средства, управляющие способом: компиляции модулей и облегчающие разработку крупных программных проектов. В частности, определены три режима компиляции: COMPILE МАКЕ и BUILD (см. прил. 1). Режимы отличаются только способом связи, компилируемого модуля или основной программы с другими модулями, объявленными в предложении USES.
   При компиляции модуля или основной программы в режиме COMPILE все упоминающиеся в предложении USES модули должны быть предварительно откомпилированы и результаты компиляции помещены в одноименные файлы с расширением .TPU. Например, если в программе (модуле) имеется предложение
                           Uses Global;
то на диске в каталоге, объявленном опцией UNIT DIRECTORIES (см. прил.1), уже должен находиться файл GLOBAL.TPU. Файл с расширением TPU (от англ. Turbo Pascal Unit) создается в результате компиляции: модуля.
  В режиме МАКЕ компилятор проверяет наличие TPU-файлов для каждого объявленного модуля. Если какой-либо из файлов не обнаружен, система пытается отыскать одноименный файл с расширением .PAS, т.е. файл с исходным текстом модуля, и, если .RAS-файл найден, приступает к его компиляции. Кроме того, в этом режиме система следит за возможными изменениями исходного текста любого используемого модуля. Бели в PAS-файл (исходный текст модуля) внесены какие-либо изменения, то независимо от того, есть ли уже в каталоге соответствующий TPU-файл или нет, система осуществляет его компиляцию перед компиляцией основной программы. Более того, если изменения внесены в интерфейсную. часть модуля, то будут перекомпилированы также и все другие модули, обращающиеся к нему. Режим МАКЕ, таким образом, существенно облегчает процесс разработки крупных программ с множеством модулей: программист избавляется от необходимости следить за соответствием существующих TPU-файлов их исходному тексту, так как система делает это автоматически.
В режиме BUILD существующие TPU-файлы игнорируются, и система пытается отыскать (и компилировать) соответствующий P-AS-файл для каждого объявленного в предложении USES модуля. После компиляции в режиме BUILD программист может быть уверен в том, что учтены все сделанные им изменения в любом из модулей.
Подключение модулей к основной программе и их возможная компиляция осуществляются в порядке их объявления в предложении USES. При переходе к очередному модулю система предварительно отыскивает все модули, на которые он ссылается. Ссылки модулей друг на друга могут образовывать древовидную структуру любой сложности, однако запрещается явное или косвенное обращение модуля к самому себе. Например, недопустимы следующие объявления:
                   Unit A; Unit В;
                  Interface Interface
                     Uses S; Uses A;
                         Implementation Implementation
               end. 

           end.
Это ограничение можно обойти, если «спрятать» предложение USES в исполняемые части зависимых модулей:
                        Unit A; UnitB;
                             Interface Interface
                            Implementation Implementation
                                Uses B; Uses A;
                         end. 
                      end.
Дело в том, что Турбо Паскаль разрешает ссылки на частично откомпилированные модули, что приблизительно соответствует опережающему описанию подпрограммы. Если интерфейсные части любых двух модулей независимы (это непременное условие!), Турбо Паскаль сможет идентифицировать все глобальные идентификаторы в каждом из модулей, после чего откомпилирует тела модулей обычным способом.
 
                              Вверх

9.7. ДОСТУП К ОБЪЯВЛЕННЫМ В МОДУЛЕ ОБЪЕКТАМ


   Пусть, например, мы создаем модуль, реализующий арифметику комплексных чисел (напомню, что такая арифметика ни в стандартном Паскале, ни в Турбо Паскале не предусмотрена). К сожалению, в Турбо Паскале нельзя использовать функции, значения которых имели бы структурированный тип (запись, например), поэтому арифметика комплексных чисел реализуется четырьмя процедурами: 
                {UNIT Cmplx;}
                 INTERFACE 
                  {.............................................}

                        type 
                       complex = record 
                        re, Im : real 
                      end 
                          Procedure AddC (x, у : complex: var z: complex); 
                            Procedure SubC (x, у : complex; var z: complex);
                         Procedure MulC (x, у : complex; var z: complex); 
                           Procedure DIvC (x, у : complex; var z: complex); 
                                 const
                        с : complex = (re : 0.1; Im : -1);
                         IMPLEMENTATION 
                     {..........— . — .......... — -- — ——...... } 
                           PROCEDURE AddC; 
                                      begin
                                 z.re := x.re + y.re: 
                                 z. Im := x . im + у. Im 
                                    end {AddC};
                          PROCEDURE SubC;
                                      begin
                                    z .re := x.re - y.re;
                                      z . im := x.Im - y. Im
                                end {SubC}: 
                                   PROCEDURE MulC; 
                                    begin
                                           z.re := x.re * y.re - x.im * y.im; 
                                              z.lm := x.re * y.im + x.im * y.re 
                                        end {MulC}; 
                             PROCEDURE DivC; 
                                       var 
                                         zz : real; 
                                            begin
                                    zz :=sqr(y.re) + sqr(y.im);
                                      z.re := (x.re * y.re + x.im * y.im) / zz; ;
                                        z.lm := (x.re * y.im - x.lm * y.re) / zz 
                                     end {DIvC}:
                                                END.
   Текст этого модуля следует поместить в файл CMPLX.PAS. Вы можете его откомпилировать, создав TPU-файл, после чего Вашей программе станут доступны процедуры из новой библиотеки. Например, в следующей программе (пример 19) осуществляются четыре арифметические операции над парой комплексных чисел. 
П р и м е р 19. 
                          Uses Cmplx; 
                                  var 
                                a, b, с : complex; 
                                      BEGIN 
                                     a.re :=1; a.im := 1;
                                        b.re := 1; b.im :=2;
                                           AddC(a. b. c); 
                                          writeln('Сложение : ', c.re:5:1, c.lm:5:1,'i'); 
                                            SubC(a. b, c);
                                            wrlteln('Вычитание : ', с.rе:5:1, c.lm:5:1,'I'); 
                                                MulCfa, b, c); 
                                             writeln('Умножение : ', c.re:5:1. c.lm:5:1,' I'); 
                                         DivC(a, b, c);
                                     wrlteln('Деление : ', c.re:5:1, c.Im:5:1,'i'); 
                           END. 
После объявления Uses Cmplx программе стали доступны все объекты, объявленные в интерфейсной части модуля CMPLX. При необходимости можно переопределить любой их этих объектов, как это произошло, например, с объявленной в модуле типизированной константой С. Переопределение объекта означает, что вновь объявленный объект «закрывает» ранее определенный в модуле одноименный объект. Чтобы получить доступ к «закрытому» объекту, нужно воспользоваться составным именем: перед именем объекта поставить имя модуля и точку. Например, оператор
wrHeln(cmp1x.c.re:5:1, cmplx.c.lm:S:1,'l'): выведет на экран содержимое «закрытой» типизированной константы из предыдущего примера.
 
                               Вверх

9.8. СТАНДАРТНЫЕ МОДУЛИ


    В Турбо Паскале имеется восемь стандартных модулей, в которых содержится большое число разнообразных типов, констант, процедур и функций. Этими модулями являются SYSTEM, DOS, CRT, PRINTER, GRAPH, OVERLAY, TURBO3 и GRAPHS. Модули GRAPH, TURBOS и GRAPHS содержатся в одноименных ТPU-файлах, остальные входят в состав библиотечного файла TURBO.TPL. Лишь один модуль SYSTEM подключается к любой программе автоматически, все остальные становятся доступны только после указания их имен в списке, следующем за словом USES.
Ниже приводится краткая характеристика стандартных модулей. Полное описание их интерфейсных частей приведено в прил.4.
Модуль SYSTEM. В него входят все процедуры и функции стандартного Паскаля, а также встроенные процедуры и функции Турбо Паскаля, которые не вошли в другие стандартные модули (например, INC, DEC, GETDIR и т.п.). Как уже отмечалось, модуль SYSTEM подключается к любой программе независимо от того, объявлен ли он в предложении USES или нет, поэтому его глобальные константы, переменные и подпрограммы считаются встроенными в Турбо Паскаль.
Модуль PRINTER. Делает доступным вывод текстов на матричный принтер. В нем определяется файловая переменная LST типа TEXT, которая связывается с логическим устройством PRN. После подключения модуля может быть выполнена, например, такая программа:
                      Uses Printer; 
                           begin
                          writeln (LST, 'Турбо Паскаль') 
                             end.
    Модуль CRT. В нем сосредоточены процедуры и функции, обеспечивающие управление текстовым режимом работы экрана. С помощью входящих в модуль программ можно перемещать курсор в произвольную позицию экрана, менять цвет выводимых символов и окружающего их фона, создавать окна. Кроме того, в модуль включены также процедуры «слепого» чтения клавиатуры и управления звуком.
Модуль GRAPH. Содержит обширный набор типов, констант, процедур и функций для управления графическим режимом работы экрана. С помощью подпрограмм, входящих в модуль GRAPH, можно создавать разнообразные графические изображения и выводить на экран текстовые надписи стандартными или разработанными программистом шрифтами.
Подпрограммы модуля GRAPH после соответствующей настройки могут поддерживать различные типы аппаратных графических средств. Настройка на имеющиеся в распоряжении программиста технические средства графики осуществляется специальными программами - драйверами,; которые не входят в библиотечный файл GRAPH. TPU, но поставляются вместе с ним.
Модуль DOS. В модуле собраны процедуры и функции, открывающие доступ программам к средствам дисковой операционной системы MS DOS.
Модуль OVERLAY. Он необходим при разработке громоздких программ с перекрытиями. Как уже говорилось, Турбо Паскаль обеспечивает создание программ, длина которых ограничивается лишь доступной оперативной памятью ПК. Для большинства IBM-совместимых ПК доступная программе память составляет около 580 Кбайт (без инструментальных оболочек типа Norton Commander и без самой системы Турбо Паскаль). Память такого размера достаточна для большинства применений, тем не менее использование программ с перекрытиями (см. гл.11) снимает это ограничение.
Два библиотечных модуля TURBO3 и GRAPH3 введены для совместимости с ранней версией 3.0 системы Турбо Паскаль.
 
                          Вверх   оглавление
 
Хостинг от uCoz