Справочное руководство по языку Ада-83


Индексируемые типы


Индексируемый объект (массив) — это составной объект, содержащий компоненты, имеющие один и тот

же подтип. В имени компоненты массива используется одно или несколько индексных значений, принадлежащих заданным дискретным типам. Значение массива — это составное значение, состоящее из значений его компонент

опеределение-индексируемого-типа :: = определение-неограниченного-индексируемого-типа | определение-ограниченного-индексируемого-типа

определение-неограниченного-индексируемого-типа ::= array (определение-подтипа-индекса {, определение-подтипа-индекса}) of

указание-подтипа-компоненты

определение-ограниченного-индексируемого-типа:: = array ограничение-индекса of указание-подтипа-компоненты

определение-подтипа-индекса ::= обозначение-типа range < > ограничение-индекса ::= (дискретный-диапазон {, дискретный-диапазон}) дискретный-диапазон :: = указание-дискретного-подтипа | диапазон

Массив характеризуется числом индексов

(размерность

массива), типом и позицией каждого индекса, верхней и нижней границами каждого индекса, а также типом и возможным ограничением компонент. Порядок индексов существен.

Для каждого возможного значения индекса одномерный массив имеет отдельную компоненту. Многомерный массив имеет отдельную компоненту для каждой возможной последовательности значений индексов, которая может быть образована фиксацией значений для каждой позиции индекса (в данном порядке). Возможными значениями индекса являются все значения между нижней и верхней границами включительно; этот диапазон значений называется

диапазоном индекса.

Определение неограниченного индексируемого типа определяет индексируемый тип. Для каждого объекта индексируемого типа число индексов, тип и позиция каждого индекса, а также подтип компонент будут такими, как в определении типа; значение нижней и верхней границ для каждого индекса принадлежит соответствующему подтипу индекса, кроме пустых массивов, как пояснено в разд. 3.6.1.

Подтипом индекса

для данной позиции индекса по определению является подтип, указанный обозначением типа соответствующего определения подтипа индекса.




Начало  Назад  Вперед



Книжный магазин