РАЗДЕЛ 10.СТРУКТУРНЫЕ ТИПЫ

10.1.Массивы

10.1.1. Задание массивов

Все описанные в предыдущих разделах типы являются скалярными, т.е. типами, состоящими из одного элемента данных.

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

Массив – упорядоченная совокупность однотипных элементов, имеющих общее имя. Данное имя называется полной переменной, так как ее значением является весь массив.

Тип элементов массива называется базовым типом массива.

Для выделения отдельных элементов массива используются индексы (индексные выражения). Индекс задает правило вычисления номера нужного элемента массива.

Для указания определенного элемента массива используется формат

(рисунок 10.1).

<Имя_массива> [ <Индексное_выражение> ]

,

Рисунок 10.1 − Синтаксическая диаграмма указания элемента массива

Индексное выражение – это выражение скалярного типа. Количество индексных выражений определяется количеством измерений массива.

Одномерный массив А можно представить как вектор

173

а двумерный массив В – как матрицу

-------------------------------------------------------

B[N,1], B[N,2} ..., B[N,M]

Количество элементов массива, их упорядоченность и тип должны задаваться явно при описании массива до начала выполнения программы и не могут изменяться в процессе выполнения программы.

Задание типа массив имеет формат, который представляет рисунок 10.2.

<Тип_Array> ::=

Array [ <Тип_Индекса> ]

,

Of <Тип>

Рисунок 10.2 – Синтаксическая диаграмма задания типа массив

Здесь <Тип> – это тип элементов массива (базовый тип). Он может быть задан как <Имя_типа> или <Задание_типа> (см. рисунок 6.10).

Множество значений <Типа_индекса> должно быть перенумерованным. <Тип_индекса> определяет верхнюю и нижнюю границу и значения, которые может принимать индексное выражение. В качестве <Типа_индекса> могут быть использованы любые перенумерованные типы, за исключением длинного целого и его поддиапазонов.

174

Пример 10.1.

Использование типа диапазон в качестве <Типа_индекса>.

Type

Diapazon = 1 .. 20;

{Явное задание типа. Одномерный массив из 20 элементов вещественного типа:}

Vector = Array [Diapazon] Of Real;

{Явное задание типа. Двумерный массив из 46 строк и 20 столбцов, содержащий элементы ограниченного типа:}

Matritca = Array [–5 .. 40, Diapazon] Of 0 .. 100; Var

I: Diapazon;

A, B: Vector;

E, F: Matritca;

{Неявное задание типа. Одномерный массив из 20 элементов типа Char:}

C, D: Array [1 .. 20] Of Char;

{Неявное задание типа. Одномерный массив из 4 элементов перечислимого типа:}

Mes: Array [1 .. 4] Of (Pn, Vt, Sr, Ch, Pt, Sb, Vs);

Пример 10.2.

Использование перечислимого типа в качестве <Типа_индекса>.

Type

Fam = (Ivanov, Petrov, Sidorov, Andreev, Sergeev);

{Явное задание типа. Одномерный массив из 5 элементов типа диапазон:}

Vozrast = Array [Fam] Of 18 .. 70;

{Или так:

Vozrast = Array[(Ivanov, Petrov, Sidorov, Andreev, Sergeev)] Of 18 .. 70;} Var

Voz: Vozrast; F: Fam;

{Неявное задание типа. Одномерный массив из 5 элементов типа диапазон:}

Godrozd: Array [Fam] Of 1920 .. 1980;

Переменную F можно использовать в качестве индекса для выделения отдельных элементов массивов Voz, Godrozd:

175

Voz [F] Godrozd [F].

В зависимости от значения F выбираются конкретные элементы массива, например:

Voz [Ivanov] Voz [Petrov]

Пример 10.3.

Использование идентификаторов скалярного типа в качестве <Типа_индекса>.

Type

{Одномерный массив из двух элементов вещественного типа:}

Mas1 = Array [Boolean] Of Real;

{Одномерный массив из 256 элементов целого типа:}

Mas2 = Array [Char] Of Integer; Var

M1: Mas1;

M2: Mas2;

J, А, В: Boolean; Simv : Char;

Пример 10.4.

Примеры обращений к элементам массивов, объявленных в примерах

10.1 ÷ 10.3.

176

(Simv – переменная типа Char).

При использовании индексных выражений необходимо следить, чтобы их значения не выходили за пределы <Типа_индекса> в объявлении массива.

Синтаксическая диаграмма задания типа Array (см. рисунок 10.2)

является сокращенной формой задания многомерных массивов.

Полная форма задания многомерных массивов образуется на основании задания массивов меньшей размерности. Например, двумерный массив – матрица из N строк и M столбцов – может быть представлен как одномерный массив, состоящий из N элементов, а каждый элемент этого массива в свою очередь является одномерным массивом, состоящим из M элементов.

Таким образом, в соответствии с полной формой задания многомерных массивов двумерный массив А целых чисел, состоящий из 10 строк и 20 столбцов, может быть объявлен так, как это сделано в примере 10.5.

Пример 10.5.

Способы объявления мгогомерных массивов. 1-й способ.

Type

Dvummas = Array [1 .. 10] Of Array [1 .. 20] Of Integer;

Var

A: Dvummas;

2-й способ.

Type

Odnmas = Array [1 .. 20] Of Integer;

Dvummas = Array [1 .. 10] Of Odnmas;

Var

A: Dvummas;

Из полной формы объявления массива очевидно, что к элементу A [I, J] двумерного массива А можно обращаться так:

177

A [I] [J]

Такая запись трактуется как J-ый элемент I-ого элемента массива А, т.е. элемент, находящийся на пересечении I-ой строки и J-ого столбца.

Отсюда следует, что Паскаль допускает переменные, обозначающие

подмассивы.

Запись A[I] для двумерного массива А будет означать I-ую строку массива А.

Для М-мерного массива обращение к его элементу в соответствии с полной формой объявления массивов выглядит так

A[I1] [I2]...[IМ]

Вэтом случае запись A[I1] означает (М – 1)-мерный подмассив массива

А.

Вмногомерных массивах тип индекса не обязательно должен быть одним

итем же. Индексы по каждому измерению могут иметь разные типы.

Пример 10.6.

Использование индексов разного типа.

Type

Den = 1 .. 31;

Mes = (Yan, Feb, Mar, Apr, Mai, Iyn, Iyl, Avg, Sen, Okt, Noi, Dec); God = 1900 .. 2000;

Data = Array [Den, Mes, God] Of (Pn, Vt, Sr, Ch, Pt, Sb, Vs);

Тип Data может быть задан и таким образом:

Type

Data = Array [1 .. 31, (Yan, Feb, Mar, Apr, Mai, Iyn, Iyl, Avg, Sen, Okt, Noi, Dec), 1900 .. 2000] Of (Pon, Vt, Sr, Cht, Pyat, Sub, Vos);

Мерность (размерность) массива синтаксисом языка Паскаль не ограничена. Она ограничена только объемом памяти. Максимально допустимый размер массива равен 65520 байт (размер сегмента данных).

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

Например, дан двумерный массив А целых чисел (типа Integer):

178