Динамические массивы Одномерные динамические массивы

Динамические массивы введены в Object Pascal только начи­ная с Delphi 4. Они отличаются от обычных статических масси­вов тем, что в них не объявляется заранее длина — число элемен­тов. Поэтому динамические массивы удобно использовать в при­ложениях, где объем обрабатываемых массивов заранее неизве­стен и определяется в процессе выполнения в зависимости от дей­ствий пользователя или объема перерабатываемой информации.

Объявление динамического массива содержит только его имя и тип элементов — один из базовых типов. Синтаксис объявле­ния:

<имя> array of <базовый тип>

Например

var A: array of integer;

объявляет переменную А как динамический массив целых чисел.

При объявлении динамического массива место под него не от­водится. Прежде, чем использовать массив, надо задать его раз­мер процедурой SetLength. В качестве аргументов в нее переда­ются имя массива и целое значение, характеризующее число эле­ментов. Например SetLength(A,10);

выделяет для массива А место в памяти под 10 элементов и зада­ет нулевые значения всех элементов.

Индексы динамического массива — всегда целые числа, начи­нающиеся с 0. Таким образом, в приведенном примере массив со­держит элементы от А[0] до А[9].

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

var A: array of integer;

N,i : integer;

begin

N:=5;

SetLength(A,N); {массив A(0,0,0,0,0)}

for i:=0 to N do A[i]:=i+l; {массив A(1,2,3,4,5)}

N:=7;

SetLength(A,N); {массив A(1,2,3,4,5,0,0)}

N:=3;

SetLength(A,N); {массив А(1,2,3)}

N:=4;

SetLength(A,N); {массив А(1,2,3,0)}

end;

Впрочем, усечение динамического массива лучше проводить функцией Сору, присваивая ее результат самому массиву. На­пример, оператор

А := Сору(А, О, 3);

усекает динамический массив А, оставляя неизменными первые три его элемента.

Если динамический массив уже размещен в памяти, к перемен­ной этого массива можно применять стандартные для массивов функции Length — длина, High — наибольшее значение индекса (очевидно, что всегда High = Length — 1) и Low — наименьшее значение индекса (всегда 0). Если массив имеет нулевую длину, то High возвращает -1, т.е. при этом получается, что High < Low.

Сама переменная динамического массива является указате­лем на начало массива. Если место под массив еще не выделено, значение переменной равно nil. Но это не совсем обычный указа­тель. Его нельзя разыменовывать операцией ^, нельзя передать в процедуры New и Dispose.

Удалить из памяти динамический массив можно одним из следующих способов: присвоить ему значение nil, использовать функцию Finalize или установить нулевую длину. Таким обра­зом, эквивалентны следующие операторы:

А := nil;

ИЛИ

Finalize(A);

ИЛИ

SetLength(A,0);

Если динамические массивы определены как переменные од­ного типа, например

var А,В: array of integer;

и размер массива А не меньше размера массива В или А = nil, то

возможно присваивание вида

В := А;

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

Если динамические массивы объявлены не как переменные одного типа, т.е.

var A: array of integer;

В: array of integer;

то присваивание

В := A;

вообще не допускается.

В операциях сравнения динамических массивов сравниваются только сами указатели, а не значения элементов массивов. Таким образом, выражение А = В вернет true только в случае, если А и В указывают на один и тот же массив. А вот выражение А[0] = В[0] сравнивает значения первых элементов двух массивов.

Динамические массивы могут передаваться в качестве пара­метров в те функции и процедуры, в описаниях которых пара­метр объявлен как массив базового типа без указания индекса, т. е. открытый массив. Например, функция

function CheckStrings(A: array of string): Boolean;

может работать в равной степени и со статическими, и с динами­ческими массивами.