Выбор генерирует ТД. Каждое значение образуется из любого набора альтернативных ТД. Этот ТД логически учитывает их соответствие значению другого ТД с признаком {tag).
Указатель генерирует ТД, каждое значение которого устанавливает средства ссылки на значение другого ТД, специфицированного ТД elementtype. Эти значения ТД указателя являются атомарными.
Процедура генерирует ТД, каждое значение которого является значением других ТД, которые называют параметром. Такой ТД включает в себя набор всех операций над значениями конкретной коллекции ТД, концептуально атомарных.
Агрегатные ТД
Генератор агрегатного типа генерирует ТД путем:
- • применения алгоритмической процедуры к пространству значений его ТД для создания пространства значений агрегатного ТД;
- • обеспечения набора характеристических операций, специфических для генератора.
Таким образом, многие свойства агрегатных ТД составляют свойства генератора, независимо от ТД компонентов. В отличие от других генераторов ТД для агрегатных характерно то, что значение компонентов агрегатного значения получается с помощью характеристических операций.
Ниже приведены агрегатные ТД.
Запись генерирует ТД, значения которого составляют совокупность значений компонентов ТД и каждая совокупность имеет значение для каждого компонента ТД, специфицированного фиксированным идентификатором поля field-identifier.
Набор генерирует ТД из пространства значений из поднаборов пространства значений ТД элемент с операциями, свойственными математическому множеству set.
Портфель генерирует ТД, значения которого составляют коллекции образцов значений ТД элемент. Многочисленные образцы того же значения могут подаваться в этой коллекции, а в каком порядке — несущественно.
Последовательность генерирует ТД, значениями которого являются упорядоченные последовательности значений ТД из значений, несвойственных этому ТД; одно и то же значение может встречаться многократно в этой последовательности.
Массив генерирует ТД, значения которого ассоциируются с произведением пространств одного или нескольких конечных ТД, которые называются индексными ТД. Пространство значений этого ТД таково, что каждому значению из пространства индексного ТД соответствует только одно значение элемента.
Таблица генерирует ТД, значения которого составляют коллекции значений из пространства одного или нескольких полей, такое что каждое значение из пространства задает ассоциации между значениями его полей.
