Н. Джехани - Язык Ада (1988) (1160771), страница 65
Текст из файла (страница 65)
Более того, предвыполнение определения типа для числовых или производных типов' создает как базовый тип, так и подтип базового типа; то же самое выполняется для определения ограниченного индексируемого типа (одной из двух форм определения индексируемого типа). Простое имя в полном описании типа обозначает описанный тип, если только описание типа не объявляет базовый тип и подтип базового типа; в этом случае простое имя обозначает подтип, а базовый тип является анонимным.
Тип называется анонимным, если он не имеет простого имени. Для наглядности в этом стандарте время от времени используется псевдоимя анонимного типа, написанное курсивом, там, где обычно по синтакоису требуется идентификатор. Примеры определений типов: (УУН!ТЕ, ЯЕО, 'ГЕО.ОУУ, ОЯЕЕМ, ВШЕ, ВЯОУУМ, В(АСК) пище 1 ., 72 епеу(1 .. 10) е( !МТЕВЕЯ Примеры описаний типов: гурв СОЬОН Ь (УУН!ТЕ, ЯЕО, УЕЬЬОУЧ, ОНЕЕМ, ВЕЦЕ, ВЯОУУМ, В(АСК): 1уре СОЬОММ ! ° !пиве 1 .. 72; гуре ТАВ!.Е ! ° епеу(1 ..
10) е! ИЧТЕОЕН; Примечание. Два определения типа всегда определяют два различных типа, даже если они текстуально идентичны. Таким образом, данные ниже описания А и В задают различные индексируемые типьс А: епеу(1 .. 10) е! ВООЬЕАМ; В: епеу(! .. 10) еу ВООЬЕАМ; Если А и В описаны в групповом описании объектов, то их типы (анонимные) тем не менее различны, так как это групповое описание объектов эквивалентно двум приведенным выше единичным описаниям. А. В; епеу(1 .. 10) е! ВООЬЕАМ; Неполные описания типов используются для определения рекурсивных и взаимосвязанных типов (см. 3.8.1).
Описания личных типов используются в спецификациях пакетов и в описаниях параметров настройки,(см. 7.4 и 12.1). Ссылки: базовый тип З.З, групповое описание объектов 3.2, зарезервированное слово 2.9, идентификатор 2.3, неполное описание типа 3.8.1, ограниченный подтип 3.3, описание 3.1, описание личного типа 7.4, определение вещественного типа 3.5.6, определение индексируемого ограниченного типа 3.6, определение индексируемого типа 3.6, определение перечислимого типа 3.5.1, определение производного типа 3.4, определение ссылочного типа 38, определение целого типа 3.5.4, предвыполнение 3.9, производный тип 3.4, раздел дискриминантов 3.7.1, тип 3.3, числовой тип 3.5.
332. ОПИСАНИЯ ПОДТИПОВ Описание подтипа объявляет подтип. описание подтипа с = вмб!уре идентификатор (в указание подтипа; указание подтипа с = обозначение типа (ограничение) обозначение типа::= имя гила(имя подгнпа ограничение с = ограничение диапазона ) ограничение плавающего типа ( ограничение фиксированного типа ) ограничение индекса ) ограничение дискриминанта Глава 3 Обозначение типа обозначает тип или подтип. Если обозначение типа — имя типа, то оно обозначает этот тип, а также соответствующий неограниченный подтип. Базовым типом, соответствующим обозначению гила, является по определению базовый тип типа или подтипа, указанного обозначением типа.
Указание подтнпа определяет подтип базового типа, соответствующего обозначению типа. Если в указании подтипа после обозначения типа стоит ограничение индекса, то обозна. чение типа не должно обозначать подтип с уже ограниченным индексом. Аналогично для ограничения дискриминанта: обозначение типа не должно иметь ограничение дискриминанта. Предвыполнение описания подтипа состоит из предвыполнения указания подтипа.
Это предвыполнение создает подтип. Если указание подтипа не включает ограничение, то определяемыи подтип тот же, что и укаэанный обозначением типа подтип. Предвыполнение указания подтипа, содержащего ограничение, происходит следующим образом: а) вначале предвыполняется ограничение; б) ограничение проверяется на совместимость с типом или подтипом, заданным обозначе. нием типа. После предвыпопнения ограничения получается условие, наложенное ограничением.(Правила предвыполнения ограничения таковы, что выра!кения и диапазоны ограничений вычис. ляются при предвыполнении всех этих ограничений.) Правила определения совместимости даны в соответствующих разделах для каждои формы ограничения. Эти правила таковы, что если ограничение совместимо с подтипом, то наложенное ограничением условие не может противоречить никакому условию, уже заданному для значений этого подтипа.
В противном случае возбуждается исключение СО)ЧЗТНАЛЧТ ЕННОН. Примеры описаний подтилов: амЬтуре ВА1лвОЧЧ амЬ!уре Веб вьОе емЬ\уре 1НТ амЬзуре ЗМАЬ !ВТ амЬтуре ОР ТО К амЬ!уре 80ОАВЕ мамура МАЬЕ Ь СОЬОВ галве ЙЕО .. ВьОЕ: Ь ВА(У(ВОЧУ; !е ЛЧТЕОЕЙ; !е ЛЧТЕОЕЯ гаева -10 .. 1О; !а СОЬОММ гамаа 1,. К; !а МАТЯ!Х(1 .. 10, 1 .. 10); Ь РЕВЗОМ(ЕЕХ > М): — см. З.ЗП вЂ” см. 3.3.1 — см. 3.6 — см. 3.6 3.3.3. КЛАССИФИКАЦИЯ ОПЕРАЦИЙ Множество операций над типом включает явно описанные подпрограммы с параметром или результатом этого типа; такие подпрограммы необходимо описывать после описания типа.
Остальные операции неявно описываются сразу после каждого описания типа. К ним относятся базовые операции, предопределенные операции (см. 4.5) и литералы перечисления. Описанием производного типа неявно задаются операции, включающие производные подпрограммы. Считается, что описания операций расположены между описанием типа и последую. щим описанием, если таковое имеется.
Неявные описания производных подпрограмм располо. жены последними. Базовыми операциямн являются: ° Присваивание (в операторах присваивания и инициализациях), генератор, проверка принадлежности или форма управления с промежуточной проверкои. ° Именуемая компонента, индексируемая компонента или отрезок. ° Квалификация (в квалифицированных выражениях), явное преобразование типа или неявное преобразование значения типа универсальный целый или универсапьныи веществен.
ный в соответствующее значение другого числового типа. Примечание. Описание подтипа не определяет нового типа. Ссылки: базовый тип 3.3, выражение 4.4, вычисление 4.5, дискриминант З.З, зарезервированное слово 2.9, имя типа 3.3.1, исключение СО)ЧЗТНА))ЧТ ЕННОН 11.1, неограниченный подтип 3.3, ограничение диапазона 3.5, ограничение дискриминанта 3.7.2, ограничение индекса 3.6.1, ограничение плавающего типа 3.5.7, ограничение фиксированного типа 3.5.9, описание 3.1, подтип 3.3, предвыполнение 3.9, совместимость с ограничением диапазона 3.5, совместимость с ограничением дискриминанта 3.7.2, совместимость с ограничением индекса 3.6.1, со.
вместимость с ограничением плавающего типа 3.5.7, совместимость с ограничением фиксированного типа 35.9, тип 3.3. 3О3 Описания л типы ° Числовой литерал (для универсального типа), литерал пм)1 (для ссылочного типа), строковый литерал, агрегат или атрибут. Для каждого типа или подтипа Т определен следующий атрибут: Т'ВАЗЕ Базовый тип Т. Этот атрибут допустим только в качестве префикса име.
ни другого атрибута, например Т'ВАЗЕ'Р(ВЗТ. Примечание. Каждый литерал — это операция, в результате выполнения которой вырабатывается сооветствующее значение (см. 4.2). Подобно этому, агрегат — это операция, в результате выполнения которой вырабатывается значение составного типа (см. 4.3), Некоторые операции оперируют со значениями данного типа, например предопределенные операции и некоторые подпрограммы и атрибуты. Некоторые операции возвращают значение данного типа, например литералы и некоторые функции, атрибуты и предопределенные операции. Присваивание — это операция, которая оперирует с объектом и значением. В результате вычисления операции, соответствующей именуемой компоненте, индексируемой компоненте или отрезку, вырабатывается объект или значение, обозначенное этой формой имени. Ссылки: агрегат 4.3, атрибут 4.1.4, генератор 4.8, именуемая компонента 4.1.3, индвксируемая компонента 4.1.1., квалифицированное выражение 4.Т, литерал 4.2, литерал перечисления 3.5.1, начальное значение 3.2.1, объект 3.2.1, 3.2, описание типа 3.3.1, отрезок 4.1.2, подпрограм.
ма 6, подтип 3.3, предопределенная операция 4.5, преобразование 4.6, присваивание 5.2, проверка принадлежности 4.5, 4.5.2, производная подпрограмма 3.4, пустой литерал 3.6, символь. ный литерал 2.5, составной тип 3.3, строковыи литерал 2.6, тип 3.3, универсальный вещественныи тип 3.5.6, универсальный тип 4.10, универсальный целый тип 3.5.4, управление с промежуточной проверкой 4.5, 4.5,1, формальный параметр 6.1, функция 6.5, числовой литерал 2.4, числовой тип 3.5.
34. ПРОИЗВОДНЫЕ ТИПЫ Определение производного типа задает новый (базовый) тип, свойства которого наследуют своиства родительского типа: новый тип называется производным типом. Определение производного типа создает одновременно производный лодтип, являющийся подтипом прои> водного типа.
определение производного типа:, = пещ указание подтипа Указание подтипа после зарезервированного слова лещ определяет родительский подтил. Родительский тип является базовым для родительского подтипа. Если для родительского подтипа существует ограничение, то подобное ограничение существует и для производного подтипа; разница состоит только в том, что для ограничения диапазона и для ограничения плаваю. щего или фиксированного типов, которое включает ограничение диапазона, значение каждой границы заменяется на соответствующее значение производного типа.
Производный тип обладает следующими свойствами: ° Производный тип относится к тому же самому классу типов, что и родительскии тип. Набор возможных значений для производного типа есть копия набора возможных значений для родительского типа. Если родительский тип составнои, то такие же компоненты существуют и у производного типа, а подтип соответствующих компонент тот же самый. ° Для каждой базовой операции над родительским типом существует соответствующая базовая операция над производным типом. Допускается явное преобразование значения родительского типа в соответствующее значение производного типа и наоборот, как поясняется в равд. 4.6.
° Для каждого литерала перечисления или предопределенной операции над родитель. ским типом существует соответствующая операция над производным типом. . Если родительский тип — задачныи тип, то для каждого входа родительского типа существует соответствующий вход производного типа. ° Если выражение по умолчанию существует для компоненты объекта, имеющего роди. тельский тип, то то же самое выражение используется для соответствующей компоненты объекта производного типа. ° Если родительский тип — ссылочный тип, то родительский и производный типы имеют один и тот же набор; существует пустое ссылочное значение для производного типа, которое по умолчанию является значением этого типа.
Глава 8 ° Если существует явный спецификатор представления для родительского типа и если этот спецификатор расположен до (но не после) определения производного типа, то соответствующий спецификатор представления неявно задан и для производного типа. ° Подпрограммы, которые являются операциями над родительским типом, называются наследуемыми. Для каждой наследуемой подпрограммы родительского типа имеется соответствующая производная подпрограмма над производным типом. Могут быть выделены два сорта наследуемых подпрограмм.
Во-первых, если родительский тип описан непосредственно в видимом разделе пакета, то подпрограмма, явно описанная непосредственно в видимом раэ деле, становится наследуемой после конца видимого раздела (если подпрограмма — операция над родительским типом). (Явное описание — это описание подпрограммы, описание переиме. нования подпрограммы или конкретизация настройки.) Во-вторых, если родительский тип сам является производным и не описан в видимом разделе пакета, то подпрограмма, которая ста.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
