Справочник Ada (Ada 2022)
1.3.1 Типы, объекты и их свойства
абстрактный тип
помеченный тип, предназначенный для использования в качестве предка других типов, но не допускающий создание собственных объектов
тип доступа
тип, значения которого обозначают объекты с алиасом
Примечание: Типы доступа соответствуют «типам указателей» или «типам ссылок» в некоторых других языках.
уровень доступности
представление продолжительности жизни сущности в терминах уровня динамического вложенности, в котором сущность известна
алиасируемый вид
вид объекта, который может быть обозначен значением типа доступа
Примечание: Объекты, выделенные аллокаторами, являются алиасируемыми. Объекты также могут быть явно объявлены алиасируемыми с помощью ключевого слова aliased. Атрибут Access можно использовать для создания значения доступа, обозначающего алиасируемый объект.
предок типа
сам тип или, в случае типа, полученного из других типов, его родительский тип или один из его родоначальных типов или один из их предков
Примечание: Предок и потомок — взаимообратные отношения.
массивный тип
составной тип, компоненты которого имеют одинаковый тип
аспект
задаваемое свойство сущности
Примечание: Аспект может быть задан с помощью aspect_specification в объявлении сущности. Некоторые аспекты могут быть запрошены через атрибуты.
атрибут
характеристика или свойство сущности, которое можно запросить, а в некоторых случаях и задать
категория типов
множество типов с одним или несколькими общими свойствами, такими как примитивные операции
Примечание: категория типов, замкнутая относительно наследования, также известна как класс.
символьный тип
перечислительный тип, значения которого включают символы
класс типов
множество типов, замкнутое относительно наследования, что означает, что если данный тип принадлежит классу, то все типы, полученные из этого типа, также принадлежат этому классу
Примечание: типы класса обладают общими свойствами, такими как их примитивные операции.
составной тип
тип с компонентами, такими как массив или запись
управляемый тип
тип, поддерживающий пользовательское присваивание и финализацию
Примечание: объекты всегда финализируются перед уничтожением.
умолчательное начальное состояние
свойство, которое справедливо для каждого объекта заданного типа, инициализированного по умолчанию
производный тип
тип, определённый относительно родительского типа и нуля или более родоначальных типов, указанных в определении производного типа
Примечание 1: Производный тип наследует свойства, такие как компоненты и примитивные операции, от родительского типа и родоначальных типов.
Примечание 2: Тип вместе с типами, полученными из него (прямо или косвенно), образуют класс наследования.
потомок типа
сам тип или тип, полученный (прямо или косвенно) из него
Примечание: Потомок и предок — взаимообратные отношения.
дискретный тип
тип, который является либо целым типом, либо перечислительным типом
дискриминанта
параметр для составного типа, который может, например, управлять границами компонента, являющегося массивом
Примечание: Дискриминанта для типа задачи может быть использована для передачи данных задаче типа при ее создании.
элементарный тип
тип, не имеющий компонентов
перечислительный тип
тип, определяемый перечислением его значений, которые могут обозначаться идентификаторами или символами
полный тип
тип, определяющий полный вид
полный вид
вид типа, который раскрывает все его свойства
Примечание: могут быть и другие виды типа, которые раскрывают меньше свойств.
неполный тип
тип, определяющий неполный вид
Примечание: Неполные типы могут быть использованы для определения рекурсивных структур данных.
неполный вид
вид типа, который раскрывает минимальное количество свойств
Примечание: остальные свойства определяются полным видом, заданным в другом месте.
индексируемый контейнерный тип
тип, который имеет пользовательское поведение для индексирования, посредством аспектов Constant_Indexing или Variable_Indexing
целый тип
тип, представляющий целые числа со знаком или модулярные целые числа
Примечание: тип целого со знаком имеет базовый диапазон, включающий как положительные, так и отрицательные числа, и имеет операции, которые могут вызывать исключение, когда результат находится за пределами базового диапазона. Модулярный тип имеет базовый диапазон, нижняя граница которого равна нулю, и имеет операции с семантикой «обхода». Модулярные типы включают в себя то, что в других языках называется «беззнаковыми типами».
интерфейсный тип
абстрактный помеченный тип, не имеющий компонентов или конкретных операций, за исключением, возможно, пустых процедур
Примечание: Интерфейсные типы используются для компоновки других интерфейсов и помеченных типов и, таким образом, обеспечивают множественное наследование. Только интерфейсный тип может быть использован в качестве родоначального типа другого типа.
инвариант
утверждение, которое, как ожидается, будет истинным для всех объектов данного частного типа, когда просматривается извне определяющего пакета
итерируемый контейнерный тип
тип, имеющий пользовательское поведение для итерации, посредством аспектов Default_Iterator и Iterator_Element
ограниченный тип
тип, для которого копирование (например, в assignment_statement) не разрешено
Примечание: Все типы являются либо ограниченными, либо неограниченными.
необходимый компонент
компонент типа записи или расширения записи, который должен иметь заданное значение в данном агрегате
номинальный подтип
подтип, указанный при определении вида объекта
неограниченный тип
тип, для которого разрешено копирование
объект
сущность, содержащая значение и являющаяся либо константой, либо переменной
Примечание: Объект создается с помощью object_declaration или allocator. Формальный параметр представляет собой (вид) объект. Подкомпонентом объекта является объект.
операционный аспект
аспект, указывающий логическое свойство сущности, такое как предусловие подпрограммы или процедура записи объекта заданного типа в поток
родительский тип производного типа
первый тип предка, указанный в определении производного типа
Примечание: Родитель может быть почти любого типа, включая интерфейсный тип.
частичный вид
вид типа, который раскрывает только некоторые из его свойств
Примечание: Остальные свойства определяются полным видом, заданным в другом месте.
примитивные операции типа
операции (такие как подпрограммы), объявленные вместе с объявлениями типов
Примечание: Примитивные операции наследуются другими типами в том же классе наследования типов.
частное расширение
тип, расширяющий другой тип, с дополнительными свойствами, скрытыми от его клиентов
частный тип
тип, определяющий частичный вид
Примечание: Частные типы могут быть использованы для определения абстракций, скрывающих ненужные детали от их клиентов.
родоначальный тип
тип, указанный в списке интерфейсов, если таковой имеется, в определении интерфейсного, задачного, защищенного или производного типа
Примечание: Родоначальный тип всегда является интерфейсным типом.
защищенный тип
составной тип, компоненты которого доступны только через одну из его защищенных операций, которые синхронизируют одновременный доступ нескольких задач
действительный тип
тип, значения которого являются приближениями действительных чисел
Примечание: Типы с плавающей и фиксированной точкой являются действительными типами.
расширение записи
тип, который расширяет другой тип, необязательно добавляя дополнительные компоненты
тип записи
составной тип, состоящий из нуля или более именованных компонентов, возможно, разных типов
ссылочный тип
тип, у которого есть пользовательское поведение для «.all», определенное аспектом Implicit_Dereference
аспект представления
аспект, который указывает, как сущность отображается на базовом оборудовании, например, размер или выравнивание объекта
скалярный тип
либо дискретный тип, либо действительный тип
стабивое свойство
характеристика, связанная с объектами данного типа, которая сохраняется многими примитивными операциями типа
объект пула памяти
объект, связанный с одним или несколькими типами доступа, из которого берется память для объектов, созданных аллокаторами типа(ов) доступа
Примечание: Некоторые пулы памяти могут быть разделены на подпулы для поддержки более мелкого управления памятью.
поток
последовательность элементов, которые можно использовать вместе с потоковыми атрибутами для поддержки маршалинга и демаршалинга значений большинства типов
подтип
тип вместе с необязательными ограничениями, исключениями NULL и предикатами, которые ограничивают значения типа подмножеством, удовлетворяющим заданным условиям
синхронизированный
может безопасно использоваться несколькими задачами одновременно
Примечание: Синхронизирован используется для квалификации сущностей, как в синхронизированном интерфейсе.
тип с меткой
тип, объекты которого имеют метку типа во время выполнения, которая указывает конкретный тип, для которого был первоначально создан объект
Примечание: Типы с метками могут быть расширены дополнительными компонентами.
тип задачи
составной тип, используемый для представления активных сущностей, которые выполняются параллельно и могут обмениваться данными через очереди записей задач
Примечание: Задача верхнего уровня раздела называется задачей среды.
тип
определяющая характеристика каждого объекта и выражения языка, с сопутствующим набором значений и набором примитивных операций, которые реализуют основные аспекты его семантики
Примечание: Типы сгруппированы в категории. Большинство определенных языком категорий типов также являются классами типов.
представление сущности
представление сущности, которое раскрывает некоторые или все свойства сущности
Примечание: Одна сущность может иметь несколько представлений.
