Глава 7. Динамические структуры данных §7.1. Динамические переменные

Все рассмотренные ранее структуры данных являются статическими. Память под переменные выделяется на этапе трансляции, ее объем и распределение не может изменяться во время решения задачи в зависимости от вводимых условий. Исключение составляют файлы. Однако файл не рассматривается как единое целое. Его обработка — это, по сути дела, обработка отдельных компонентов. Здесь постоянно может требоваться «подкачка» компонент в буферную область оперативной памяти. Работа с компонентами файла — очень медленная операция с точки зрения процессора.

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

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

Доступ к динамическим переменным осуществляется с помощью указателей (или ссылок), которые становятся определенными после создания динамического объекта.

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

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

1. В IBM-совместимых компьютерах используется сегментная организация памяти. Для 16-разрядных ОС, которой является и MS-DOS, максимальный размер сегмента данных не может превышать 64 Кбайт. Поэтому, если общее количество описанных статических переменных выходит за эту границу, возникает сообщение об ошибке «Выход за пределы памяти». Динамические переменные могут находиться в разных сегментах, поэтому их размер ограничен только размером оперативной памяти. Начиная с Delphi 2.0 (предназначенной для работы в Windows 95 OCR2, – 32-разрядной операционной системы, и выше) это ограничение снимается. Но здесь широко используются объекты, которые и являются динамическими.

2. Если в программе используются буфера памяти для временного хранения данных заранее неизвестного размера, обычно хранящихся в файлах. Это относится, например, к созданию текстовых редакторов.

3. Если в программе используются структуры данных, по своей природе являющиеся динамическими, или наиболее просто описываемые с помощью динамических структур. Например, используются объекты, связанные списки или деревья.