Множественные типы

Диапазон значений множественного типа представляет собой

мощность множества для определенного порядкового типа (базового

типа). Каждое возможное значение множественного типа является

подмножеством возможных значений базового типа.

Переменная множественного типа может принимать как все зна-

чения множества, так и ни одного.

------ ----- -----------------

тип множество --->¦ set +--->¦ of +--->¦ порядковый тип +--->

L------ L----- L-----------------

Базовый тип не должен иметь более 256 возможных значений, и

порядковые значения верхней и нижней границы базового типа должны

не превышать диапазона от 0 до 255. В силу этого базовый тип мно-

жества не может быть коротким целым (Shortint), целым (Integer),

длинным целым (Longint) или словом (Word).

Примечание: Операции над множественными типами описыва-

ются в разделе "Операции над множествами" в Главе 6. В раз-

деле "Описатели множеств" показано, как определять значения

множества.

Любой множественный тип может принимать значение [], которое

называется пустым множеством.

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

Файловый тип состоит из линейной последовательности компо-

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

типа или структурного типа, содержащего компонент с файловым ти-

пом. Число компонентов описанием файлового типа не устанавливает-

ся.

------- ----- ------

файловый тип --->¦ file +--T->¦ of +--->¦ тип +----->

L------- ¦ L----- L------ ^

L----------------------

Если слово of и тип компонента опущены, то тип обозначает

нетипизированный файл. Нетипизированные файлы представляют собой

каналы ввода-вывода нижнего уровня, в основном используемые для

прямого доступа к любому файлу на диске, независимо от его внут-

реннего формата.

Стандартный файловый тип Text определяет файл, содержащий

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

циальные процедуры ввода-вывода, которые описываются в Главе 14

"Ввод и вывод".

Булевские типы

Существует 4 предопределенных булевских типа: Boolean,

ByteBool, WordBool и LongBool. Значения булевского типа обознача-

ются встроенными идентификаторами констант False и True. Посколь-

ку булевский тип является перечислимым, между этими значениями

имеют место следующие отношения:

- False < True

- Ord(False) = 0

- Ord(True) = 1

- Succ(False) = True

- Pred(True) = False

Переменные типа Boolean и ByteBool занимают 1 байт, пере-

менная WordBool занимает два байта (слово), а переменная LongBool

занимает четыре байта (два слова). Boolean - это наиболее предпо-

чтительный тип, использующей меньше памяти; типа ByteBool,

WordBool и LongBool обеспечивают совместимость с другими языками

и средой Windows.

Предполагается, что переменная типа Boolean имеет порядковые

значения 0 и 1, но переменные типа ByteBool, WordBool и LongBool

могут иметь другие порядковые значения. Когда выражение типа

ByteBool, WordBool или LongBool равна 1, то подразумевается, что

она имеет значение True, а если оно равно 0 - то False. Когда

значение типа ByteBool, WordBool или LongBool используется в кон-

тексте, где ожидается значение Boolean, компилятор будет автома-

тически генерировать код, преобразующий любое ненулевое значение

в значение True.