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

Пробковый стенд напольный секционный доски и Пробковые стенды.

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


Примечание.

Атрибуты A'FIRST и A'FIRST(1) вырабатывают одно и то же значение. То же можно сказать об атрибутах A'LAST, A'RANGE и A'LENGTH. Для приведенных атрибутов

удовлетворяются следующие соотношения (исключая пустой массив) если тип индекса — целый тип:

A'LENGTH = A'LAST - A'FIRST + 1 A'LENGTH(N) = A'LAST(N) - A'FIRST(N) + 1

Индексируемый тип — лимитируемый, если тип его компонент — лимитируемый (см. 7.4.4).

Ссылки:

агрегат 4.3, атрибут 4.1.4, базовая операция 3.3.3, граница диапазона 3.5, индекс 3.6, индексированная компонента 4.1.1, индексируемый тип 3.6, квалифицированное выражение 4.7, лимитируемый тип 7.4.4, логическая операция 4.5, 4.5,1, неограниченный индексируемый тип 3.6, обозначение 6.1, объект 3.2, ограниченный индексируемый тип 3.6, операция кате-нации 4.5, 4.5.2, операция отношения 4.5, 4.5.2, операция отрицания 4.5, 4.5.6, отрезок 4.1.2, подкомпонента 3.3, предопределенная операция 4.5, преобразование 4.6, присваивание 5.2, проверка принадлежности 4.5, 4.5.2, пустой диапазон 3.5, размерность 3.6, символьный тип 3.5.2, статическое выражение 4.9, строковый литерал 2.6, тип 3.3, универсальный тип 4.10, универсальный целый тип 3.5.4.

3.6.3. СТРОКОВЫЙ ТИП

Значения предопределенного типа STRING — это одномерные массивы компонент предопределенного типа CHARACTER, индексируемые значениями предопределенного подтипа POSITIVE:

subtype

POSITIVE

is

INTEGER

range

1 .. INTEGER'LAST;

type

STRING

is

array

(POSITIVE

range

0)

of

CHARACTER;

Примеры:

STARS : STRING(1 .. 120) := (1 .. 120 => '*' ); QUESTION : constant STRING := "HOW MANY CHARACTERS?"; -- QUESTION'FIRST = 1, QUESTION'LAST = 20 (число СИМВОЛОВ)

ASK_TWICE : conatant STRING := QUESTION & QUESTION; NINETY_SIX : constant ROMAN := "XCVI"; -- см. 3.6

Примечание.

Строковые литералы (см. 2.6 и 4.2) — базовые операции над типом STRING и любым другим одномерным индексируемым типом, тип компонент которого — символьный тип.




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