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).

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