9.5. Совместимость типов

Паскаль – это типизированный язык. В нем соблюдается концепция типов, в соответствии с которой все применяемые в языке операции определены только над операндами совместимых типов.

Два типа считаются совместимыми, если:

1. оба они есть один и тот же тип,

2. оба они действительные,

3. оба они целые,

4. один тип есть тип – диапазон второго типа,

5. оба они являются типами – диапазонами одного и того же базового типа,

6. оба они являются множествами, составленными из элементов одного и того же базового типа,

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

8. один тип есть тип – строка, а другой тип – строка, упакованная строка или символ,

9. один тип есть любой указатель, а другой – не типизированный указатель,

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

10. Файловые типы

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

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

- формировать большие массивы данных,

- своевременно их корректировать,

- транспортировать их в другие программы

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

10.1. Определение файлового типа

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

исходные данные;

программа;

результаты;

любые тексты

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

Различают три основных вида файлов:

- последовательные;

- прямого доступа

- индексированные (файлы с ключами).

В двух последних типах данных поиск необходимых данных может осуществляться по адресам данных.

Турбо-Паскаль работает с последовательными файлами.

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

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

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

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