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


Индексируемые типы - часть 3


(1 .. MAX_LINE_SIZE)

of

CHARACTER:

Примеры описаний объектов с определениями ограниченного индексируемого типа:

GRID :

array

(1 .. 80, 1 .. 100)

of

BOOLEAN;

MIX :

array

(COLOR

range

RED .. GREEN)

of

BOOLEAN;

PAGE :

array

(1 .. 50)

of

LINE; -- массив массивов

Примечание.

Данное для одномерного массива правило означает, что описание с определением ограниченного индексируемого типа, например

type Т is array(

POSITIVE

range

MIN .. MAX)

of

COMPONENT;

эквивалентно (при отсутствии некорректной зависимости от порядка) последовательности описаний:

subtype

под тип__индекса

is

POSITIVE

range

MIN .. МАХ;

type

индексируемый

_

тип

is

array

(подтип_индекса

range

<>)

of

COMPONENT;

subtype

Т

is

индексируемый_тип (подтип

_

индекса)',

где

подтип

-

индекса

и

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

оба анонимны. Следовательно, Т &#x2014; имя подтипа, и все объекты, описанные с этим обозначением типа, &#x2014; массивы, имеющие одни и те же границы. Аналогичные преобразования применяются к многомерным массивам.

Подобное преобразование применяется к объекту, описание которого включает определение ограниченного индексируемого типа. Следствием этого является то, что нет двух таких объектов одного и того же типа.

Ссылки:

анонимный тип 3.3.1, в некотором порядке 1.6, граница диапазона 3.5, диапазон 3.5, дискретный тип 3.5, имя 4.1, компонента 3.3, обозначение типа 3.3.2, объект 3.2, ограничение 3.3, описание типа 3.3.1, определение типа 3,3.1, подтип 3.3, Предвыполнение 3.1, 3.9, тип 3.3, указание подтипа 3.3.2.

3.6.1. ОГРАНИЧЕНИЯ ИНДЕКСА И ДИСКРЕТНЫЕ ДИАПАЗОНЫ

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

Для дискретного диапазона, использованного в определении ограниченного индексируемого типа и определенного диапазоном, неявное преобразование к предопределенному типу INTEGER производится в том случае, если каждая граница &#x2014; это либо числовой литерал, либо именованное число, либо атрибут, а тип обеих границ (до неявного преобразования) является




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



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