§ 3. Структурированный тип данных массив

Линейный массив удобно представить как ряд ячеек. У каждой есть индекс, а внутри хранится значение. В a[3] число 3 — индекс; значение этой ячейки может быть 100 или −7. Порядок по индексам не означает, что значения отсортированы.

Для диапазона L..R число ячеек равно R−L+1. У array[1..10] of integer десять элементов; у array[−2..2] тоже пять, а не два. Допустимость индекса проверяют до обращения. Одномерный массив имеет один индекс, двумерный — два. Массив из 100 элементов не становится двумерным из-за большого размера.

В примерах используется статический массив PascalABC.NET с индексами от 1. Описание array[1..12] of integer выделяет 12 ячеек. Если задача использует только первые n, должно выполняться 0 ≤ n ≤ 12. Пустой используемый префикс возможен, но у него нет первого элемента и среднего значения.

У других массивов границы могут отличаться: например, динамические массивы PascalABC.NET индексируются с нуля. Поэтому правило «все массивы начинаются с единицы» неверно. Для совместимых статических массивов можно использовать присваивание массива целиком; поэлементные суммы и изменения обычно записывают циклом. Семантика присваивания зависит от вида массива.

type TData = array[1..12] of integer;
var a: TData;
    n, i: integer;
begin
  Readln(n);
  if (n < 0) or (n > 12) then
    Writeln('Недопустимая длина')
  else
  begin
    for i := 1 to n do Read(a[i]);
    for i := n downto 1 do Write(a[i], ' ');
  end;
end.

При вводе чисел повторяют Read(a[i]) для всех используемых индексов. При выводе добавляют разделитель, иначе числа 1 и 23 могут выглядеть как 123. Чтобы вывести элементы в обратном порядке, перебирают индексы от n до 1; сам массив при таком выводе не меняется.

Заполнение может идти по формуле, например a[i] := 2*i. Random(k) даёт целое от 0 до k−1. Для целых от A до B включительно при A ≤ B используют Random(B−A+1)+A. Чтобы получить чётные значения от 20 до 70, подходит 2*(Random(26)+10). Нельзя подменять включённую верхнюю границу исключённой.

Для доступа к a[k] в используемой части необходимо 1 ≤ k ≤ n. Обращение к третьему и пятому элементам имеет смысл только при n ≥ 5. Ошибка на единицу возникает, когда цикл заканчивается на n+1 или пропускает крайний элемент.

В трассировке записывают i и a[i], а при изменении — значения до и после. Два массива могут хранить связанные данные: x[i] и y[i] описывают одну точку. Соответствие индексов нельзя нарушать. Данные тренажёра ограничены двенадцатью целыми числами от −20 до 20, чтобы все ячейки и шаги оставались видимыми.