2.10. Файлы

2.10.1. Основные свойства файлов

Файл - это тип данных, состоящий из последовательности произвольного количества элементов одного типа. Количество элементов может меняться в ходе работы программы.

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

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

В Паскале имеется два вида файлов: последовательного и произвольного доступа.

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

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

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

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

• открытие файла;

• чтение или запись данных;

• закрытие файла.

2.10.2. Типизированные файлы

Элементами типизированных файлов могут быть числа, массивы, записи, но не файлы.

Для использования типизированных файлов вначале нужно определить тип файла в разделе описания типов следующим образом:

TYPE

имя = FILE OF базовый_тип;

где - FILE OF ключевые слова,

имя - имя типа файла,

базовый_тип - тип элементов файла.

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

Затем нужно объявить файловую переменную определенного файлового типа.

VAR

имя_переменной:имя_файлового_типа;

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

ASSIGN (файловая переменная, имя файла),

где имя файла — строка, содержащая дисковое имя файла.

Больше нигде в программе не появится имя файла, всюду его заменит файловая переменная.

Затем файл необходимо открыть. Имеются две процедуры открытия файла:

RESET (файловая_переменная);

и

REWRITE (файловая_переменная);

При использовании процедуры RESET файл на диске должен существовать, в противном случае, возникает ошибка.

Содержимое файла при открытии не меняется, данные можно читать из файла, записывать в файл.

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

После открытия файл готов для чтения и записи.

Для открытого файла существует понятие текущего указателя. Это номер элемента файла (считая от нуля), с которым выполняется чтение или запись.

При открытии файла текущий указатель устанавливается на начало файла, то есть на нулевой элемент.

Чтение из типизированного файла выполняется процедурой

READ (файловая_переменная, список переменных),

запись — процедурой

WRITE (файловая_переменная, список выражений),

где переменные и выражения должны быть базового типа.

Запись и чтение из типизированных файлов выполняются без преобразования данных

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

SEEK (файловая_переменная, номер_элемента: longint)

Текущее положение указателя файла возвращается функцией

FilePos (файловая_переменная): longint;

а общее количество записей — функцией

FileSize (файловая_переменная) : longint;

Функция

EOF (файловая_переменная) :boolean;

возвращает TRUE, когда достигнут конец файла и FALSE в других случаях.

Процедура

CLOSE (файловая_переменная);

закрывает файл.

При этом все изменения окончательно сохраняются на диске, после чего связь между файловой переменной и самим файлом заканчивается.

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

program work_file; var

f: file of real;

R: real;

I: integer; s: string;

begin

readln(s); {ввести имя файла)

assign (f, s);

rewrite (f); {создать новый файл } {сохранить вещественные числа в типизированном файле}

for i:= I to 5 do

begin

readln (R); write (f,R);

end;

{записать последнее число на место первого}

seek (£, fileSize(f) - 1);

read (f, R);

seek(f,0);

write (f, R);

{дописать в файл число 5.5}

seek (f, fileSize (f));

R:= 5.5;

write (f, R);

close (f); {закрыть файл}

{вывести содержимое файла на экран}

reset (f);

while not eof(f) do

begin

read (f,R); writeln (R);

end {while};

{закрыть файл}

close (f);

end.