Н. Джехани - Язык Ада (1988) (1160771), страница 41
Текст из файла (страница 41)
2. Программы легче написать и отладить. Листинг программы становится короче, и для исходной программы требуется меньше памяти, поскольку стано- 204 гявиа б вится меньше подпрограмм и пакетов. Испытания на правильность программы также становятся короче, однако эти испытания в отличие от случая обычных подпрограмм и пакетов должны учитывать ограничения и условия на настраиваемые формальные параметры настраиваемых подпрограмм или пакетов.
3. Появляется возмоягность абстрагироваться. Настраиваемые подпрограммы и пакеты являются абстрактными версиями обычных подпрограмм и пакетов. Поэтому настраиваемые модули согласуются со стратегией разработки подпрограммы по методу пошаговой детализации. Пошаговая детализация позволяет программисту сосредоточиться на алгоритме, не вдаваясь в детали и подробности. В данном случае деталями являются фактические типы и подпрограммы, используемые в настраиваемой подпрограмме или теле пакета.
4. Типы становятся переносимыми. Изменения в описаниях типа в программе не будут требовать каких-либо изменений настраиваемой подпрограммы или пакета, если подпрограммы, используемые в настраиваемом модуле программы, описываются для модифицируемых типов. Например, предположим, что в программе используется конкретизация настраиваемой процедуры сортировки, которая сортирует массив с элементами типа Т.
Тиц Т был первоначально описан как целый, но теперь его надо заменить на вещественный. При такой модификации нет необходимости изменять настраиваемую подпрограмму или ее конкретизацию для сортировки массива с элементами типа Т. 6.2. Спецификации настройки и тела 112.1, 12.21 Спецификация настройки подпрограммы или пакета имеет форму йепег(с Формальные параметры настройки специгрикация пакета или подпрограммы Формальный параметр настройки может быть обычным описанием параметра, определением настраиваемого типа или формальной подпрограммой настройки~~.
Настраиваемые подпрограммы или пакеты могут не иметь параметров. Некоторые примеры описаний настройки приведены ниже: яепег(с (уре Е1.ЕМ Ь рг(га(е; -- Фактический параметр настройки, соответствующий — ЕЬЕМ,не может быть ограниченным личным типом, -- так как над ним не определены операции присваивания — и равенства. Операции присваивания будут -- использоваться при сортировке гуре ЧЕСТОК Ь актау(1ХТЕОЕК ганне < >) ог ЕЕЕМ; зг(аь Веснин "> "(А, В: 1п Е1.ЕМ) ге(нгн ВООЬЕАХ Ь < >; — Если нет фактического параметра настройки, то — коробки < > помогают идентифицировать -- подпрограмму, видимую в точке конкретизации ргосеонге 1ХБЕКТ1ОХ ЗОКТ О(А: 1н он( УЕСТОВ); н Вместо термина «формальная подпрограмма настройки» можно использовать более короткий, «формальная подпрограмма».
— Прим, дед. 20$ Нвсг виввемыв мо вм Обычная (ненастраиваемая) процедура сортировки получается из настраиваемой процедуры 1$«БЕКТ10)<< БОКТ-б путем конкретизации трех фактических параметров настройки — типа элемента, индексируемого типа и функции сравнения «) »: ре>се$аге ВООЬЕА)<< БОКТ и аеа 1$>(БЕКТ10$<) БОКТ б(ВООЬЕАХ, ВООЬБА)>$ АККАДА, ")"); Другим примером является спецификация настраиваемого пакета БТАСК б, который реализует стек (РОР831: яевег(с Б1ж: РОБ1Т1ЧЕ; (уре БЬЕМ и рг(гасе; ряс)<дне БТАСК б и ргосе$аге Р()БН(Е: $а Е1.ЕМ); ргосе<$аге РОР(Е: оае БЬЕМ); БТАСК ОЧЕКРЬ0%, БТАСК 1)$>(РЕКГЬО%: ехсербоп; еа<$ БТАСК б; БТАСК б конкретизируется двумя параметрами — размером требуемого стека и типом элементов стека.
Спецификация настраиваемой подпрограммы в отличие от обычных подпрограмм должна быть всегда определена. Для обычных подпрограмм тело подпрограммы также может выступать как спецификация подпрограммы. В качестве другого примера рассмотрим следующую настраиваемую процедуру Б%АР б, которая является настраиваемой версией процедуры Б%АР, описанной в гл. 1. Спецификация процедуры 8%АР б следующая: йеаег(с (уре Е1,ЕМ и рг(газе; ргоее$аге В%АР б(Х, У: $а оае ЕЬЕМ); Как упоминалось ранее, тела настраиваемых подпрограмм и пакетов похожи на тела обычных подпрограмм и пакетов.
Например, тело В%АР б имеет вид ргосе<$аге Б%АР б(Х, У: $а оаг Е1.ЕМ) $в Т: ЕЬЕМ; — ЕЬЕМ вЂ” тип формального параметра настройки Ьей(п Т: Х; Х:. Ч; У: Т; еа<$ Б%АР б; 6.2.1. Имена настраиваемых подпрограмм Внутри тела настраиваемой подпрограммы ее имя можно использовать при вызове подпрограммы — рекурсивный вызов текущей конкретизации настраиваемой подпрограммы. Глава б 6.3. Формальные параметры настройки [12.1.1 — 12.1.31 Формальные параметры настройки могут быть обычными параметрами, их вид ограничен видами гп или гп опа При отсутствии в описании формального параметра настройки явного указания вида подразумевается внд !п. Формальный параметр настройки вида !п является константой, в то время как формальный параметр настройки вида т ощ переименовывает соответствующий настраиваемый фактический параметр.
Описание типа формального параметра настройки может быть одним из следующих: !) индексируемым типом, 2) ссылочным типом, 3) определением личного типа, 4) любым дискретным типом (обозначается (< >)), 5) любым целым типом (обозначается гапКе < >), 6) любым типом с плавающей точкой (обозначается г)!й!гв < >), 7) любым типом с фиксированной точкой (обозначается йеаа < >). Несколько примеров описаний настраиваемых типов: гуре.Е1.ЕМ !в рг!гаге; гуре В()РЕЕК(1.ЕХОТН: РОЯТ1ЧЕ) !в !!гп!гег$ рг!гаге; гуре Е1.ЕМ !в (<>); !уре ЧЕСТОК !а аггау (1ХТЕОЕК ганне < >) ау Е1.ЕМ; В языке Ада подпрограммы нельзя передавать как обычные параметры. Тем не менее тот же самый зффект можно получить, используя настраиваемые модули и задавая подпрограмму в качестве формального параметра.
Этот факт иллюстрируегся настраиваемой функцией 1ХТЕОКАТЕ О: аепенс гур КЕАЬЬай!Г <>; и!!Ь гипсе!еп Р(Х: гп КЕАО ге!ага КЕА1.; ргесе!пге 1ХТЕОКАТЕ О(А, В, ЕРЯ:!и КЕАЬ); Подпрограмма, соответствующая формальной подпрограмме настройки, не задается при конкретизации, если 1) за описанием формальной подпрограммы следует ключевое слово а и нмя подпрограммы, которая в данном случае используется по умолчанию; 2) за формальным объявлением подпрограммы следует ключевое слово !в и бокс (т.п < >). Тогда по умолчанию подпрограмма с тем же именем, что и формальная подпрограмма настройки, берется из контекста, в котором конкретизируется формальная подпрограмма или пакет настройки. Такая подпрограмма должна существовать в контексте конкретизации; в противном случае возникнет ошибка. Пример формальных параметров настройки со значением по умолчанию: паЬ уппсГ!еп "> "(А, В: !п Е1.ЕМ) гегвгп ВОО1.ЕАХ !в < >; Наст иввимые мо ли 6.4.
Конкретизация настраиваемых подпрограмм и пакетов [12.31 Настраиваемые подпрограммы и пакеты, прежде чем их можно использовать, должны быть конкретизированы путем сопоставления фактических параметров формальным. Конкретизация — это описание формы: [ ргосеч)вге ~ 1впсйоп ~ раскайе 1 имя 1й вечу имя настройки [( список (рактических-параметров настройки )]; где имя — имя, заданное при конкретизации'з, а имя настройки — имя настраиваемой подпрограммы или пакета. Имя, связанное с конкретизацией, может быть операцией [6.7), если настраивается формальная функция с одним или двумя формальными параметрами (обычными, а не настраиваемыми). Фактические параметры настройки могут задаваться в позиционной или именованной нотации, как и при вызовах подпрограммы.
Фактический параметр настройки может быть выражением, именем переменной, именем подпрограммы, именем входа, именем типа или именем подтипа. Некоторые примеры конкретизаций: ргйеейвге 1)ч(ТЕОЕК БОКТ [й печк Пч)СЕКТ!О[я) БОКТ О(ЕЕЕМ > Пч(ТЕОЕК, ЧЕСТОК > ПчзТЕОЕК АККАДА); -- используется именное соответствие параметров. -- Операция сравнения > для типа 1НТЕОЕК -- должна присутствовать в контексте конкретизации, -- поскольку она явно не определена ргвеейвге МАТК1Х 3'зЧАР [й вета 8%АР О(МАТК1Х); -- используется позиционная запись параметров ряс[саке Пч)ТЕОЕК БТАСК [й печу БТАСК О(100, Пч[ТЕОЕК); Каждая конкретизация настраиваемой подпрограммы или пакета приводит к новому множеству описаний для данной конкретизации (включения и исключения).
б.5. Настраиваемые пакеты без параметров Пакет ОК)эЕКЕО БЕТ, описанный в гл. 3, предоставляет пользователю только одно упорядоченное множество. Однако, реализовав пакет ОКРЕКЕР БЕТ2 с лимитируемым личным типом ОКьз БЕТ, можно обойти это ограничение. Следовательно, определив объекты типа ОКьз БЕТ, можно задать более чем одно упорядоченное множество. Настраиваемые модули также можно использовать для создания более чем одного экземпляра объекта, реализованного пакетом. На- и В результате конкретизации настройки получаются конкретные зкземпляры (иеиастраиваемые) исходных настраиваемых модулей.
При коикретизации им задаются имена или обозначения (в случае функций). — Прим. ред. Глава б пример, описав ОКОЕКЕО-ЯЕТ как настраиваемый пакет ОКОЕКЕО ЯЕТ О без параметров, можно получить более одного множества: йепене расйайе ОКОЕКЕП ВЕТ О!в -- те же спецификации для Х, !СЕКТ, ЯМА).ЬЕБТ н ЕМРТУ, -- как и в ОКРЕКЕП ЗЕТ епд ОКОЕКЕО ЯЕТ О; Более чем одно множество создается посредством нужного числа конкретизаций ОКОЕКЕО БЕТ О, как это показано ниже: раейайе БЕТ 1 )в пен ОКПЕКЕО БЕТ 0; раейайе ЯЕТ 2!я пен ОК)УЕКЕО БЕТ О; На множество операций можно ссылаться, используя нмя операции и нмя конкретизированного пакета.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
