3.4.1 Классы производных типов

Общеклассовые типы определены для (и принадлежат) каждому классу производных типов, укоренённому в помеченном типе (см. 3.9). Учитывая подтип S типа с меткой T, S'Class является subtype_mark для соответствующего подтипа помеченного общеклассового типа T'Class. Такие типы называются «общеклассовыми», потому что когда формальный параметр определяется как общеклассового типа T'Class, допустимым является фактический параметр любого типа в классе производных типов, укоренённом в T (см. 8.6).

Множество значений для общеклассового типа T'Class является дискриминированным объединением множества значений каждого конкретного типа в классе производных типов, укоренённом в T (метка выступает в качестве неявного дискриминанта — см. 3.9). Общеклассовые типы не имеют собственных примитивных подпрограмм. Однако, как поясняется в 3.9.2, операнды общеклассового типа T'Class могут использоваться как часть вызова с диспетчеризацией по примитивной подпрограмме типа T. Единственными компонентами (включая дискриминанты) типа T'Class, которые видны, являются те, что относятся к T. Если S является первым подтипом, то S'Class является первым подтипом.

Универсальные типы определены для (и относятся к) целочисленному, вещественному, фиксированному и доступному классам и обозначаются соответственно universal_integer, universal_real, universal_fixed и universal_access. Они аналогичны общеклассовым типам для этих определённых языком элементарных классов. Как и общеклассовые типы, если формальный параметр имеет универсальный тип, то допустимым является фактический параметр любого типа в соответствующем классе. Кроме того, значение универсального типа (включая целочисленную или вещественную numeric_literal или литерал null) является «универсальным» в том смысле, что оно приемлемо там, где ожидается какой-то конкретный тип в этом классе (см. 8.6).

Множество значений универсального типа является объединением множеств значений, возможных для любого определимого типа в соответствующем классе. Как и общеклассовые типы, универсальные типы не имеют собственных примитивных подпрограмм. Однако их «универсальность» позволяет использовать их как операнды с примитивными подпрограммами любого типа в соответствующем классе.