Ada (798525), страница 17
Текст из файла (страница 17)
В этом случаесервисы для подсистемы могут быть инкапсулированы внутри приватных пакетов, используянаследуемые ими преимущества для компиляции и видимости.В спецификацию приватных дочерних пакетов разрешается включать приватную частьспецификации их пакетов-родителей, поскольку такие дочерние модули - приватны. В обычномслучае - это не разрешается, так как нарушает сокрытие деталей реализации родительскойприватной части.private package Stacks.Statistics isprocedure Increment_Push_Count;end Stacks.Statistics;Процедура Stacks.Statistics.Increment_Push_Count могла бы быть вызвана внутри реализациипакета Stacks.
Такая процедура не будет доступна ни одному внешнему, по отношению к этойиерархии модулей, клиенту.8. ПереименованияАда предоставляет программисту возможность осуществлять переименования. Следуетзаметить, что переименование иногда вызывает споры в организациях программирующих наАде.
Некоторым людям переименование нравится, а другим - нет. Существует несколько важныхвещей, которые необходимо понять:•••Переименование не создает нового пространства для данных. Оно просто создает новоеимя для уже присутствующей сущности.Не следует постоянно переименовывать одно и то же. Этип можно запутать всех, включаясамого себя.Переименование необходимо использовать для упрощения кода. Введение нового имени,в некоторых случаях, делает код более легко читаемым.При использовании переименований следует учитывать, что частое переименование объектов иих значений может создать трудности в понимании исходного текста. Хотя каждое новое имяможет иметь определенный смысл в контексте нового пакета, при большом количествепоследующих переименований становиться трудно отследить имя оригинала.8.1 Уменьшение длин именПереименование может быть полезно в случае наличия длинных имен пакетов:withwithAda.Text_IO;Ada.Integer_Text_IO;procedure Gun_Aydin ispackage TIO renames Ada.Text_IO;package IIO renames Ada.Integer_Text_IO;.
. .В этом случае, для внутреннего использования, длинное имя Ada.Text_IO переименовано вкороткое имя TIO, а длинное имя Ada.Integer_Text_IO переименовано в короткое имяIIO.8.2 Переименование знаков операцийВ некоторых случаях, знак операции для типа описанного в пакете, который указан вспецификаторе контекста with, не является непосредственно видимым. В действительности,правила Ады заключаются в том, что сущность, находящаяся в контексте, не будетнепосредственно видимой до тех пор, пока не будет явно указано, что она непосредственновидима. Спецификатор использования use для пакета всегда делает непосредственно видимымизнаки операций операции для типа описанного в пакете, однако, спецификатор использованияuse одновременно делает непосредственно видимыми все публично доступные ресурсы пакета,что может оказаться не желательным.Переименование позволяет явно импортировать только те знаки операций, которые реальнонеобходимы.
При этом, видимость всех остальных ресурсов пакета остается не тронутой.Следующий пример показывает как это можно выполнить:withAda.Text_IO;procedure diamond1 ispackage TIO renames Ada.Text_IO;function "+" (L, R: TIO.Count) return TIO.Count renames TIO."+";function "-" (L, R: TIO.Count) return TIO.Count renames TIO."-";. . .Использование знаков операций облегчается при предварительном планировании использованиязнаков операций в процессе разработки пакета.
В следующем примере знаки операцийпереименовываются во вложенном пакете, который, в последствии, может быть сделаннепосредственно выдимым с помощью спецификатора использования use:package Nestedtype T1isis private;type Status is (Off, Low, Medium, Hight);package Operators isfunction ">=" (L, R: Status) return Boolean renames Nested.">=";function "=" (L, R: Status) return Boolean renames Nested."=";end Operators;privatetype T1 is ......end Nested;Показанный выше, вложенный пакет может быть сделан доступным путем указанияспецификатора контекста "with Nested;", и последующего спецификатора использования"use Nested.Operators;" следующим образом:with Nested;procedure Test_Nested isuse Nested.Operators;...begin.
. .Возможно, что не все одобрительно встретят подобную технику, однако она упрощаетиспользование инфиксной формы знаков операций, поскольку позволяет отказаться отлокального переименования. Следует заметить, что такое решение будет лучше чемиспользование спецификатора использования типа "use type", поскольку делает видимымтолько ограниченное множество знаков операций. Однако, такой подход требуетдополнительных усилий от разработчика пакета.8.3 Переименование исключенийВ некоторых случаях полезно осуществить локальное переименование исключения:withAda.IO_Exceptions;package My_IO isData_Error: exception renames Ada.IO_Exceptions.Data_Error;...end My_IO;8.4 Переименование компонентовНаиболее часто забываемым свойством переименования Ады является возможностьпредоставления собственного имени определенному компоненту составного типа:withAda.Text_IO;package Rename_A_Variable isRecord_Count: renames Ada.Text_IO.Count;...end Rename_A_Variable;8.4.1 Переименование отрезка массиваПредположим, что у нас есть следующая строка:Name: String(1..60);Причем, отрезок (1..30) - это фамилия (last name), отрезок (31..59) - имя (first name),символ в позиции 60 - это инициал отчества (middle name).
Используя переименования мыможем выполнить следующее:declareLast : String renames Name(1..30);First : String renames Name(31..59);Middle : String renames Name(60..60);beginAda.Text_IO.Put_Line(Last);Ada.Text_IO.Put_Line(First);Ada.Text_IO.Put_Line(Middle);end;В результате, каждый вызов Put_Line будет обращаться к именованному объекту, а не кдиапазону индексов. При этом не осуществляется распределение дополнительного пространствадля данных, а обеспечивается новое имя для доступа к уже существующим данным.8.4.2 Переименование поля записиПредположим, что у нас имеются следующие описания:subtype Number_Symbolis Character range '0' ..
'9';subtype Address_Character is Character rangeAda.Characters.Latin_1.Space .. Ada.Characters.Latin_1.LC_Z;typetypeAddress_DataNumber_Datais array (Positive range <>) of Address_Character;is array (Positive range <>) of Number_Symbol;typePhone_NumberisrecordCountry_Code : Number_Data(1..2);Area_CodePrefix: Number_Data(1..3);: Number_Data(1..3);Last_Four: Number_Data(1..4);end record;typeAddress_RecordisrecordThe_Phone: Phone_Number;Street_Address_1 : Address_Data(1..30);Street_Address_2 : Address_Data(1..20);City: Address_Data(1..25);State: Address_Data(1..2);Zip: Number_Data(1..5);Plus_4: Number_Data(1..4);end record;One_Address_Record: Address_Record;Используя переименование, мы можем переименовать один из внутренних компонентовпеременной записи One_Address_Record типа Address_Record, для прямогоиспользования в программе. Например, мы можем переименовать Area_Code в инструкцииблока:declareAC: Number_Data renames One_Address_Record.The_Phone.Area_Code;begin...end;Описание AC не требует никакого распределения дополнительного пространства данных.Вместо этого, оно локализует имя для компонента, который вложен в запись.
При наличиикомпонентов записей с большим уровнем вложения, такой подход может оказаться весьмаудобным.8.5 Переименование библиотечного модуляПредположим, что в нашей библиотеке есть пакет который часто используется, и предположим,что этот пакет имеет довольно длинное имя. Пользуясь переименованием, мы можем указатьэтот пакет в спецификаторе контекста with, после чего, переименовать пакет с длиннымименем, и скомпилировать полученный модуль с более коротким именем обратно в библиотеку.Например:with Graphics.Common_Display_Types;package CDT renames Graphics.Common_Display_Types;Далее, мы можем использовать библиотечный модуль CDT, с более коротким именем, также каки библиотечный модуль Graphics.Common_Display_Types.
При этом следует избегатьпереименований, когда новое имя очень сильно отличается от оригинала.9. Настраиваемые модули в языке Ада (generics)Долгие годы одной из самых больших надежд программистов была надежда в многократномповторном использовании однажды написанного кода (похоже, ...и осталась). Хотя библиотекиматематических подпрограмм используются достаточно широко, следует заметить, чтоматематика оказалась весьма удачной предметной областью в которой функции хорошо описаныи стабильны. Попытки разработать подобные библиотеки в других предметных областях имелидостаточно ограниченный успех из-за неминуемого изменения алгоритмов обработки и типовданных в подпрограммах.
Ада пытается помочь в решении этой проблемы предоставляявозможность производства кода, который в большей степени зависит не от спецификииспользуемого типа данных, а от общности алгоритма обработки.Как описано Найдичем (Naiditch), настраиваемые модули во многом подобны шаблонамстандартных писем. Шаблоны стандартных писем, в основном, являются законченнымиписьмами, но с несколькими пустыми местами в которых необходимо произвести подстановку(например, дописать имя и адрес). Таким образом, шаблоны стандартных писем не могут бытьотосланы до тех по пока не будут заполнены пустые места, которые должны содержать этунедостающую информацию.Подобным образом, настраиваемые модули не могут быть непосредственно использованы. Мысоздаем новую подпрограмму или пакет путем конкретизации (instantiating) настраиваемогомодуля, или, другими словами, создаем из настраиваемого модуля экземпляр настроенногомодуля.
При конкретизации настраиваемого модуля мы должны предоставить недостающуюинформацию, которая может быть информацией о типе, значении или даже подпрограмме.9.1 Общие сведения о настраиваемых модуляхВ языке Ада, любой программный модуль (подпрограмма или пакет) может быть настраиваемыммодулем. Такой настраиваемый модуль используется для создания экземпляра кода, которыйбудет работать с фактическим типом данных. Требуемый тип данных передается как параметрнастройки при конкретизации настраиваемого модуля (создании экземпляра настроенногомодуля). Как правило, описание настраиваемого модуля представлено двумя частями:спецификацией настраиваемого модуля и телом настраиваемого модуля.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
