Понятие множества в языке Object Pascal основывается на математическом представлении о множествах - это ограниченная совокупность различных элементов.
Во множестве нет понятия порядка элементов. Элемент множества может присутствовать или отсутствовать во множестве. Поэтому в памяти ЭВМ каждый элемент множества представляется одним битом. Количество байт памяти занимаемое множеством определяется N div 8 +1, где N – количество элементов в множестве.
Для построения конкретного множественного типа используются порядковые типы данных. Тип элементов, составляющих множество, называется базовым типом. Множество может содержать не более 256 элементов.
Множество описывается в разделе описания типов:
Type
<имя_типа>=set of <знач>|<имя_ст_типа>
<знач> - значение интервального типа.
<имя_ст_типа> - имя стандартного порядкового типа -byte,char,Boolean или интервального типа.
Константы множественного типа записываются в виде заключенной в квадратные скобки последовательности элементов или интервалов базового типа, разделенных запятыми, например:
['A', 'C'] [0, 2, 7] [3, 7, 11..14]
Константа [] означает пустое подмножество.
Порядок перечисления элементов базового типа в константах безразличен.
Множество включает в себя набор элементов базового типа, все подмножества данного множества, а также пустое подмножество. Если базовый тип, на котором строится множество, имеет К элементов, то число подмножеств, входящих в это множество, равно 2^К.
Например:
var T: Set of 1..3;
T может принимать восемь различных значений:
[ ] [1,2]
[1] [1,3]
[2] [2,3]
[3] [1,2,3]
К переменным и константам множественного типа применимы операции присваивания(:=), объединения(+), пересечения(*), вычитания(-).
Результат выполнения этих операций есть величина множественного типа.
Пример:
['A','B'] + ['A','D'] даст ['A','B','D']
['A'] * ['A','B','C'] даст ['A']
['A','B','C'] - ['A','B'] даст ['C'].
К переменным и константам множественного типа применимы операции: тождественность (=), нетождественность (<>), содержится в (<=), содержит (>=). Результат выполнения этих операций имеет логический тип, например:
['A','B'] = ['A','C'] даст FALSE
['A','B'] <> ['A','C'] даст TRUE
['B'] <= ['B','C'] даст TRUE
['C','D'] >= ['A'] даст FALSE.
Для работы множеством может использоваться операция in проверяющая принадлежность элемента базового типа, стоящего слева от знака операции, множеству, стоящему справа от знака операции. Результат выполнения этой операции логического типа. Например:
'A' in ['A', 'B'] даст TRUE,
2 in [1, 3, 6] даст FALSE.
Запись представляет собой совокупность ограниченного числа логически связанных компонент, принадлежащих к разным типам. Компоненты записи называются полями, каждое из которых определяется именем.
Запись описывается в разделе объявления типов или в разделе объявления переменных. В первом случае запись можно использовать в качестве типа параметров подпрограмм и типа результата функции.
Структура:
type
<имя_типа>=record
<имя_поля>[,…]:<тип_поля>;
[…]
[case [<имя_поля1>:]<тип_поля1>]
[<знач>:(<имя_поля2>[,…]:<тип_поля2>[;…])]
[…]
end;
Обращение к записи в целом допускается только в операторах присваивания, где слева и справа от знака присваивания используются имена записей одинакового типа. Во всех остальных случаях оперируют отдельными полями записей. Чтобы обратиться к отдельной компоненте записи, используют составное имя: <имя_перем_зап>.<имя_поля>
Обращение к компонентам записей можно упростить, при помощи оператора присоединения with.
Он позволяет заменить составные имена, характеризующие каждое поле, просто на имена полей, а имя записи определить в операторе присоединения.
Структура: with <имя_перем_зап> do <опер>
Оператор <опер> представляет собой область действия оператора присоединения, в пределах которой можно не использовать составные имена для записи <имя_перем_зап>.
Иногда содержимое отдельной записи может зависеть от значения одного из ее полей. В языке Object Pascal допускается описание записи, состоящей из общей и вариантной частей.
Общая часть задается:
<имя_поля1> - имя общего поля. Возможные значения, принимаемые этим полем, перечисляются так же, как и в операторе варианта. Однако вместо указания выполняемого действия, как это делается в операторе варианта, указываются поля варианта, заключенные в круглые скобки.
<тип_поля1> - порядковый тип общего поля определяющий тип <знач>.
Каждое поле вариантная часть задается после соответствующего <знач>.
Вариантная часть содержит несколько полей, которые размещаются в одних и тех же ячейках памяти. Поэтому при записи в одно из полей вариантной части изменяются данные других полей вариантной части. Объем памяти требуемый для хранения вариантной части определятся максимального размером поля из вариантной части.
Примеры:
type
TPerson = record
FirstName, LastName: string[40];
BirthDate: TDate;
case Citizen: Boolean of
True: (Birthplace: string[40]);
False: (Country: string[20];
EntryDate, ExitDate: TDate);
end;
type
TShapeList = (Point,Rectangle, Circle);
TFigure = record
x,y:real;
case TShapeList of
Point:();
Rectangle: (Height, Width: Real);
Circle: (Radius: Real);
end;
Файловый тип в языке Object Pascal предназначен для обеспечения возможности работы с периферийными (внешними) устройствами ЭВМ, предназначенными для ввода, вывода и хранения данных.
Файловый тип данных или файл определяет упорядоченную совокупность произвольного числа однотипных компонент.
Общее свойство массива, множества и записи заключается в том, что количество их компонент определено на этапе написания программы, тогда как количество компонент файла в тексте программы не определяется и может быть произвольным.
Понятие файла достаточно широко. Это может быть обычный файл на диске, коммуникационный порт ЭВМ, устройство печати, клавиатура или другие устройства.
При работе с файлами выполняются операции ввода - вывода. Операция ввода означает перепись данных с внешнего устройства (из входного файла) в основную память ЭВМ, операция вывода - это пересылка данных из основной памяти на внешнее устройство (в выходной файл).
Файлы на внешних устройствах часто называют физическими файлами. Их имена определяются операционной системой. В программах на языке Object Pascal имена файлов задаются с помощью строк.
С файловой системой связано понятие буфера ввода - вывода. Ввод и вывод данных осуществляется через буфер. Буфер – это область в памяти, которая выделяется для каждого файла. При записи в файл вся информация сначала направляется в буфер и там накапливается до тех пор, пока весь объем буфера не будет заполнен. Только после этого или после специальной команды сброса происходит передача данных на внешнее устройство. При чтении из файла данные вначале считываются в буфер, причем данных считывается не столько, сколько запрашивается, а сколько поместится в буфер. Механизм буферизации позволяет более быстро и эффективно обмениваться информацией с внешними устройствами.
Для работы с файлами в программе необходимо определить переменную файлового типа. Файловые переменные, которые описаны в программе, называют логическими файлами. Все основные процедуры и функции, обеспечивающие ввод - вывод данных, работают только с логическими файлами. Физический файл должен быть связан с логическим файлом до выполнения операций ввода/вывода.
В Object Pascal существуют три файловых типа: текстовые файлы, компонентные(типизированные) файлы, нетипизированные файлы.
В Object Pascal содержит стандартные подпрограммы для работы с любыми типами файлов:
Процедура AssignFile(f,FileName) связывает логический файл f с физическим файлом, абсолютный или относительный путь и имя которого задано в строке FileName.
Процедура Reset(f[,RecSize]) открывает существующий физический файл, связанный с логическим файлом f для последующего ввода/вывода данных. После успешного выполнения процедуры файл готов к обращению к первому элементу.
Процедура Rewrite(f[,RecSize]) создает физический файл, связанный с логическим файлом f для последующего ввода/вывода данных. Если физический фал уже существует, то все данные из него удаляются. После успешного выполнения процедуры файл готов к обращению к первому элементу.
Процедура CloseFile(f) закрывает открытый до этого логический файл. Вызов процедуры Close необходим при завершении работы с файлом. Если по какой-то причине процедура Close не будет выполнена, файл все-же будет создан на внешнем устройстве, но содержимое последнего буфера в него не будет перенесено.
Логическая функция EOF(f) возвращает значение TRUE, когда при чтении достигнут конец файла. Это означает, что уже прочитан последний элемент в файле или файл после открытия оказался пуст.
Процедура Rename(f,NewName) позволяет переименовать физический файл на диске, связанный с логическим файлом f. Переименование возможно после закрытия файла.
Процедура Erase(f) уничтожает физический файл на диске, который был связан с файловой переменной f. Файл к моменту вызова процедуры Erase должен быть закрыт.
Функция IOResult: Integer возвращает целое число, соответствующее коду последней ошибки ввода - вывода. При нормальном завершении операции функция вернет значение 0. Значение функции IOResult необходимо присваивать какой - либо переменной, так как при каждом вызове функция обнуляет свое значение. Функция IOResult работает только при выключенном режиме проверок ошибок ввода - вывода или с ключом компиляции {$I-}.
Также в стандартной библиотеки SysUtils содержится ряд подпрограмм для работы с файлами и директориями без использования файловых переменных, например: CreateDir, RemoveDir, SetCurrentDir, GetCurrentDir, DirectoryExists, DeleteFile, RenameFile, FileExists, DiskFree, DiskSize.
Некторые компоненты Delphi реализуют свои методы для работы с файлами, например LoadFromFile,SaveToFile у классов TStrings и TBitmap.
