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

Для задания типа-файла следует использовать зарезервированные слова file и of, после чего указать тип компонент файла.

Пример.

type
  Number = file of Integer;         {тип-файл целых чисел}
  Symb = file of 'A'..'Z';         {тип-файл прописных латинских букв}

Стандартный тип Text определяет тип-файл, содержащий символы, объединенные в строки. Следует иметь в виду, что тип Text в Turbo Pascal не эквивалентен типу file of Char.

Введя файловый тип, можно определить переменные файлового типа:

var Fl, F2: Number;
     F3: Text;

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

Пример.

type UnTyp = file;

Тип-файл можно определять и непосредственно при введении файловых переменных:

var Fl, F2: file of Integer;

Файловые переменные имеют специфическое применение. Над ними нельзя выполнять никаких операций (присваивать значение, сравнивать и т. д.). Их можно использовать лишь для выполнения операций с файлами (чтения, записи, удаления файла и т. д.). Работа с файлами будет рассмотрена в п. 11. Кроме того, через файловую переменную можно получить информацию о конкретном файле (тип, параметры, имя файла и т. д.).