Александр Цветков - Язык программирования PASCAL

Массив – это регулярная структура данных, которая состоит из пронумерованных компонент одного и того же типа. Этот тип мы будем называть базовым типом.

Массивы могут быть одномерными:

и многомерными (например, двумерными) :

С точки зрения машинной реализации, все массивы – одномерные, разница лишь в том, как пронумерованы элементы массива. Описание одномерного массива, если считать его элементы целыми числами выглядит следующим образом:

A : array[1..8] ofinteger;

здесь array– ключевое слово, которое и обозначает собственно массив, в квадратных скобках указан диапазон первого и единственного индекса.

В Pascal’е в качестве диапазона индекса может выступать любой отрезок перечислимого типа, например ‘A’..’H’, либо 0..7. Однако на практике чаще всего удобнее в качестве индексов использовать отрезок целого типа, причем нижний (меньший) индекс разумно выбирать единицей или нулем.

Одной из самых неприятных ошибок программирования – является ошибка обращения к несуществующему элементу массива, или как говорят, ошибка выхода индекса за допустимый диапазон. Поэтому предыдущее определение массива A лучше переписать так:

ConstN = 8;

Var A : array[1..N] ofinteger;

и в дальнейшем в программе при работе с массивом использовать не конкретные числа, а константы, которые определяют диапазон индексов, кроме того, программу можно будет легко модифицировать для работы с массивом другой размерности, так как необходимо будет изменить всего лишь одну строчку!

- 33 -

Иногда формальность описания следует развить, выделив описание типа отдельно, это будет абсолютно необходимо, если вы собираетесь использовать в процедурах и функциях параметры-массивы.

ConstN = 8;

Type TA = array[1..N] ofinteger;

Var A : TA;

Дополнительные удобства этого подхода заключаются в том, что массивы, описанные в разных местах как массивы типа TA, будут являться совместимыми по типу, а в случае описания массивов A и B одинаковым способом, но без объявления типамассива, они будут считаться несовместимыми. Например,

ConstN = 8;

Type TA = array[1..N] ofinteger;

Var A : TA;

Var B : TA;

здесь A и B – массивы одного и того же типа. А здесь:

ConstN = 8;

Var A : array[1..N] ofinteger;

Var B : array[1..N] ofinteger;

здесь A и B – массивы будут считаться разных типов. Хотя следующее описание определяет массивы одинаковых типов:

ConstN = 8;

Var A,B : array[1..N] ofinteger;

В качестве базового типа допустим абсолютно любой тип, в том числе и массив, т.е. допустим массив массивов:

ConstM = 5; N = 8;

Var A : array[1..M] of array[1..N] ofinteger;

Подобная ситуация встречается довольно часто, поэтому для нее существует разумное сокращение:

ConstM = 5;

N = 8;

Var A : array[1..M,1..N] ofinteger;

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

Рассмотрим выполнение элементарных манипуляций с массивами. Самая простая задача – заполнение всех элементов одним и тем же значением:

{Инициализация массива}

fori:=1 toN doA[i]:=0;

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

Подобная конструкция допустима везде, где допустима простая переменная.

- 34 -

Цикл for– чрезвычайно удобная и полезная вещь при работе с массивами.

Оператор вида fori:=1 toN do– можно «переводить» как «выполнить для всех элементов массива».

Если два массива одного типа, то допустимо присваивание одного массива другому одним оператором:

B:=A;

Следующие два примера показывают, как осуществить ввод-вывод с небольшим сервисом:

{ввод массива}

fori:=1 toN do

begin

write('Ввeдите ',i,'-й элемент: ');

readln(A[i])

end;

Из этого примера видно, что массив вводится поэлементно, и как организовать нехитрый сервис. Вывод производится аналогично: