3.2.1 Объявления типов

Объявление type_declaration объявляет тип и его первый подтип.

Для данного типа не должно быть подкомпонента, тип которого совпадает с данным типом.

Идентификатор defining_identifier объявления type_declaration обозначает первый подтип типа. Часть known_discriminant_part, если она есть, определяет дискриминанты типа (см. 3.7, “Дискриминанты”). Остальная часть объявления type_declaration определяет остальные характеристики (представления) типа.

Тип, определенный объявлением type_declaration, является именованным типом; такой тип имеет один или несколько именованных подтипов. Некоторые другие формы объявления также включают определения типов в качестве части объявления объекта. Определяемый таким объявлением тип является анонимным — у него нет именованных подтипов. Для целей пояснения этот международный стандарт иногда ссылается на анонимный тип с помощью псевдонима, написанного курсивом, и использует такие псевдонимы в местах, где синтаксис обычно требует identifier. Для именованного типа, первым подтипом которого является T, в этом международном стандарте иногда используется ссылка на тип T как просто «тип T».

Именованный тип, объявленный полным объявлением типа full_type_declaration, или анонимный тип, который определяется определением доступа access_definition или как часть объявления объекта такого типа, называется полным типом. Объявление полного типа также объявляет полное представление типа. Определение типа type_definition, task_definition, protected_definition или access_definition, определяющее полный тип, называется полным определением типа. Типы, объявленные другими формами объявления type_declaration, не являются отдельными типами; они являются частичным или неполным представлением какого-либо полного типа.

Определение типа неявно объявляет определенные предопределенные операторы, которые работают с типом в соответствии с классами, к которым относится тип, как указано в 4.5, «Операторы и оценка выражений».

Предопределенные типы (например, типы Boolean, Wide_Character, Integer, root_integer и universal_integer) — это типы, которые определены в предопределенном пакете библиотек Standard; этот пакет также содержит (явные) объявления их предопределенных операторов. Пакет Standard описан в A.1.

Выполнение full_type_declaration состоит из выполнения полного определения типа. Каждое выполнение полного определения типа создаёт отдельный тип и его первый подтип.

Примеры определений типов: