Краткие теоретические сведения

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

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

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

Важность такой структуры хранения данных как файл объясняется тремя причинами:

любая программа может связываться с внешними устройствами только с помощью файлов;

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

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

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

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

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

Турбо Паскаль поддерживает три файловых типа:

текстовые файлы;

типизированные файлы;

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

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

file of тип - типизированный файл (указан тип компоненты); text - текстовый файл; file - нетипизированный файл.