Лекция 23: Динамическая память и указатели.

End

End

END{print_text}.

program print_text2;

{Вариант программы print_text с выводом LST на экран}

var f,LST:text;c:char;s,nm:string;j,p:word;

const bel=#7;FF=#12;

BEGIN writeln('ПЕЧАТЬ ТЕКСТА ');writeln;

write('Имя файла:');readln(nm);if nm<>'' then

begin assign(f,nm);{$I-} reset(f);{$I+}

if IOResult<>0 then begin writeln('Ошибка');halt end;

assign(LST,'con');rewrite(LST);j:=1;p:=1;

repeat if j mod 50=0 then

begin writeln(LST,FF);writeln(bel,'Конец страницы ',p:3);

writeln('Печатать следующую страницу(Y/N)?',bel);

readln(c);if upcase(c)<>'Y' then

begin close(f);halt end;p:=p+1;for j:=1 to 35 do

write(LST,' ');writeln(LST,'-',p,'-');j:=1

end;readln(f,s);writeln(LST,s);inc(j);

until eof(f);writeln(LST,FF);close(f)

END{print_text2}.

1. Статическая и динамическая память.

2. Управление динамической памятью.

3. Тип данных - Указатель.

4. Принципы работы с указателями.

1. Статическая и динамическая память.

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

Статическая оперативная память в системе Турбо Паскаль выделяется программе отдельным сегментом, размер которого составляет 64 Кбайт. Статическая память освобождается при завершении программы. Такой принцип распределения оперативной памяти представляет серьёзные ограничения для программирования многих задач. Для ряда задач это ограничение столь серьёзно, что делает невозможным решение этих задач. Преодолеть недостатки статической памяти можно использованием динамической памяти.

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

2. Управление динамической памятью.

Для организации динамической памяти в Турбо Паскале предусмотрен специальный механизм, реализованный обслуживающей программой - менеджером динамической памяти. Вся динамическая память рассматривается менеджером как сплошной массив байтов, называемый хип-памятью (heap). Физическая хип-память размещается в старших адресах сразу за областью памяти, отводимой под тело программы. Рис. 3 иллюстрирует принцип организации хип-памяти:

® Направление возрастания адресов

0 ® max

­ ­ ­

HeapOrg HeapPtr HeapEnd

Рис. 3. Организация динамической памяти в Турбо Паскале.

HeapOrg- начало хип-памяти,

HeapPtr- текущая граница свободной хип-памяти,

HeapEnd- конец хип-памяти.

Указатель границы занятой памяти HeapPtr отслеживает запросы программы на выделение динамической памяти под динамически размещаемые переменные и может сдвигаться вправо при каждом обслуженном запросе (величина сдвига зависит от типа динамически размещаемой переменной). На рис.3 левая штриховка хип-памяти соответствует занятой области памяти (по обслуженным запросам), а правая штриховка - незанятой (свободной) хип-памяти. Хип-память выделяется порциями, кратными 8 байтам. При освобождении хип-памяти она возвращается для последующего возможного выделения по очередным запросам. Менеджер хип-памяти ведёт учёт всех свободных фрагментов хип-памяти, организуя их в список свободных фрагментов, расположенных ниже границы HeapPtr. При запросе на выделение хип-памятиꗬÁIЙለ¿ကЀሢ
橢橢뎲뎲Й鈰
��ጕ Ɠ￿￿￿]۸۸۸۸ૌૌૌૠૠૠૠ8ଘʹຌΌૠꀴìᓤŬᙐᙦᙦᙦ嚑ଈ憙̴操Ɯ锜[1]锞锞锞5镓Ô阧Ô電ꄠǴꌔf電हૌ晩嘕|嚑晩晩電ся хип-памяти во многом случайны и зависят от динамики работы программы, может наблюдаться фрагментация структуры хип-памяти, при которой занятые и свободные участки памяти чередуются случайным образом. Менеджер придерживается также некоторой стратегии, позволяющей рационально распределять хип-память (мы не останавливаемся на этой проблеме более подробно).

3. Тип данных - Указатель.

Для работы с динамической памятью в Турбо Паскале используется специальный тип данных - Указатель. Переменная типа Указатель имеет значением адрес оперативной памяти. Адрес приписан каждому байту оперативной памяти (от 0 до max) и состоит из двух частей: сегмента и смещения. Сегмент - непрерывный участок оперативной памяти длиной 64кбайт, начинающийся с физического адреса, кратного 16. Смещение указывает относительный адрес внутри сегмента. Как сегмент, так и смещение являются данными типа word. Таким образом, по своей внутренней структуре указатель состоит из двух слов типа word. С помощью указателя можно размещать в хип-памяти любой тип данных Турбо Паскаля (кроме файла). В случае, когда размещаемый тип данных имеет длину более 1 байта, указатель указывает на начало соответствующей структуры (на первый байт данных).

В Турбо-Паскале имеется два вида указателей:

типизированный указатель, указывающий на заданный тип данных;

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

Форма описания указателя зависит от вида указателя. Типизированный указатель описывается в следующей синтаксической форме:

type <имя типа-указателя> = ^ <имя базового типа >;

Здесь базовым типом может быть любой тип Турбо Паскаля, а символ ^, помещаемый перед базовым типом, идентифицирует тип-указатель.

Например: type pint = ^integer; - тип-указатель на данные типа integer.

Синтаксическая форма описания нетипизированного указателя имеет вид:

type <имя типа-указателя> =pointer;

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

Например: var pp:pint; { переменная типа pint (типизированный указатель)}

np:pointer; {переменная нетипизированного указателя}

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

Рекурсивной называется структура, описание которой содержит обращение к самой себе. Такие обращения в Турбо Паскале возможно реализовать только с помощью указателей.

Например: type refer = ^ inf; inf = record name,adr,tel:string;next:refer end;

Эта рекурсивная структура описывает линейный список, элементами которого являются записи, содержащие информацию о телефонах (три поля: имя, адрес и номер телефона) и указатель на следующую запись в списке.

4. Принципы работы с указателями.

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

Создание указателя на структуру, по сути, является особым способом именования этой структуры, отличным от имён, принятых для статических переменных. Необходимо помнить, что обращаясь к указателю, мы обращаемся не непосредственно к структуре данных (не к её значению !), а лишь к адресу начала размещения этой структуры.

В тех случаях, когда необходимо обратиться к значению представленной структуры данных, следует выполнить операцию разыменования, которая в Турбо Паскале имеет специальное обозначение: если p - указатель, то p^ - значение, на которое указывает p. (Обратите внимание, что символ ^ при разыменовании записывается после переменной-указателя, а не до него, как при описании типизированного указателя).

Над указателями (т.е. адресами) допустимы операторы присваивания вида:

p1:=p2; - где p1,p2 - только указатели одного и того же типа.

p:= nil; - где р - переменная типа указатель, а nil - нулевой указатель (не являющийся ни одним из адресов хип-памяти), т.е. "нулевая" константа типа указатель.

Для работы с указателями в Турбо Паскале предусмотрен ряд стандартных процедур и функций. Важнейшими из них являются процедуры выделения (резервирования) хип-памяти под структуры, на которые указывают указатели.

Выделение хип-памяти под структуры, именуемые типизированными указателями, выполняет следующая процедура:

new(<переменная типизированного указателя>);

При выполнении этой процедуры менеджер выделяет хип-память для размещения структуры, на которую указывает параметр этой процедуры. Значением этого параметра становится адрес, на котором начинается указанная структура. Заметим, что непосредственно после выполнения new значение размещаемой структуры неопределенное - просто под структуру зарезервирована память. Для "наполнения" этой структуры каким-либо значением можно использовать присваивание разыменованному указателю.

Для нетипизированных указателей память выделяется другой процедурой:

getmem(<нетипизированный указатель>, < размер памяти >);

где: <размер памяти> указывается в байтах.

Действие процедуры getmem аналогично процедуре new, различие лишь в том, что размер структуры задаётся явно вторым параметром этой процедуры (для new он определялся неявно по описанию типа указателя).

Заметим, что работа с нетипизированными указателями сложнее, т.к. всю ответственность за размещение структуры и её "наполнение" значением несёт только сам программист. В то же время этот вид указателей обладает большей гибкостью и способен размещать в одном и том же фрагменте памяти различные типы структур, создавая предпосылки для более эффективного использования памяти. Начинающим программистам не рекомендуется, тем не менее, работать с нетипизированными указателями.

Оператор присваивания, процедуры выделения хип-памяти и разыменование переменной-указателя составляют основной арсенал средств работы с указателями. Кроме того, для указателей (как для адресов) допустимы обычные отношения сравнения: =, <>, <, >, <=, >=. Проиллюстрируем эти средства на примере - программе работы с линейным списком - списком телефонов:

program list_tel;{создание списка телефонов}

uses CRT;

type refer=^info; {тип - Указатель на запись}

info= record name,adr,tel:string;

next:refer

end;

var first,p,pp:refer; {указатели на начало списка и текущие}

s:string;

procedure write_list(start:refer);{вывод всех элементов списка}