Вопросы к главе 6.

1. Как можно описать файлы ?

2. Какие типы файлов существуют в Турбо Паскале ?

3. Как организовать прямой доступ к типизированным файлам ?

4. Особенности работы с типизированными файлами.

5. Особенности работы с текстовыми файлами.

6. Особенности работы с нетипизированными файлами.

7. Основные стандартные процедуры и функции для работы с типизированными файлами.

8. Основные стандартные процедуры и функции для работы с нетипизированными файлами.

9. Основные стандартные процедуры и функции для работы с текстовыми файлами.

10. Общий алгоритм создания файла.

11. Общий алгоритм обработки файла.

7. Динамическая память.

В предшествующих разделах использовались переменные, память под которые выделялась статически, то есть на стадии компиляции. Эти области памяти (для переменных из раздела VARданного блока) существуют до конца работы блока, даже если эти переменные уже не нужны. При этом память нередко используется неэффективно, достаточно вспомнить «настройку» массива на фактическое количество элементов, а также, если, например, объявлено несколько массивов большого объема статической памяти, а в каждый конкретный момент используются не все.

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

Можно отметить следующие достоинства динамической памяти:

- экономичность и эффективность ее использования;

- возможность динамического изменения числа элементов в связанных структурах, например, списках (в статической памяти число элементов фиксировано для каждой компиляции);

- статические переменные существуют только в течение жизни блока, в котором они объявлены, а динамические - и после выхода из блока до окончания программы. Переменная, размещаемая динамически, не объявляется в разделе VARи не имеет имени в программе («невидимка»). Компилятор не планирует выделение места в памяти под такие переменные.

1. Указатель.

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

Переменная типа «указатель» содержит адрес размещения участка динамической памяти, с которой связан этот указатель. Компилятор отводит под переменную типа «указатель» четыре байта статической памяти. Обычно указатель, связанный с определенным типом данных, называется типизированным. Однако он может быть и не типизированным, то есть совместимым с указателями любого типа данных. В этом случае указатель называется свободным (несвязанным).

Формат описания типа «указатель» следующий:

TYPE <идентификатор указателя>=^<тип>;

Примеры объявления типов «указатель» и переменных типа «указатель».

type

{ правильные объявления типов}

p1=^word; { p1 - идентификатор типа «указатель» на данные типа word.}

p2=^char; { p2 - идентификатор типа «указатель» на данные типа char}

p4=array[1..10] of ^real; {p4 - идентификатор типа «указатель» на массив указателей, ссылающихся на данные типа real}

{ неправильные объявления типов}

p5=^array[1..10] of real;

p6=^string[25];

p7=^record

field1 : string [15];

field2 : real;

end;

В формате объявления типа «указатель» должен быть указан идентификатор типа, поэтому стандартные идентификаторы (integer, realи т.д.) можно указывать непосредственно в описаниях типа «указатель». Ошибки в описаниях типовp5, p6иp7будут отмечены компилятором из-за того, что, в таких случаях надо прежде описать идентификатор типа, а затем использовать его в других описаниях.

Следующие описания будут правильными:

type

...

mas = array[1..10] of real;

st = string[25];

rec = record

field1 : string [15];

field2 : real;

end;

var

p5 : ^mas;

p6 : ^st;

p7 : ^rec;

...

Указатель может находиться в одном из трех состояний, а именно:

1. еще не инициализирован;

2. содержит адрес размещения;

3. содержит значение предопределенной константы nil; такой указатель называется пустым, то есть не указывает ни на какую переменную. Указатель со значениемnil содержит 0 в каждом из четырех байтов.

Указатели можно сравнивать с другими указателями ( =, <> ), присваивать им адрес или значение другого указателя, передавать как параметр. Указатель нельзя отпечатать или вывести на экран.

Обращение к выделенной динамический памяти кодируется следующим образом:

<идентификатор указателя>^

Рассмотрим пример обращения к переменным, размещенным в динамической памяти:

type

sym=^char;

zap=record

field1, field2: real;

end;

m=array[0..9] of word;

var

ch : sym;

rec : ^zap;

mas : ^m;

...

ch^:='*'; {обращение к динамической переменной типа char, запись в эту область символа звездочка}

...

Readln (rec^.field1); {обращение к полю field1 динамической записи, ввод в него данных с клавиатуры }

...

Writeln ( mas[5]^); {обращение к элементу mas[5] динамического массива, вывод на экран значения указанного элемента}

...

Фактически можно говорить, что ch^, rec^.field1 и mas[5]^исполняют роль имён динамических объектов в программе, адреса которых хранятся в указателяхсh, recиmasсоответственно.

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

Например.

var

p:pointer;

...

p^:=1; {ошибка!}