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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

множества.

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

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

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

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

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

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

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

ся.

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

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

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

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

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

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

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

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

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

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

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

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

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

Ссылочные типы

Cсылочный тип (указатель) определяет множество значений, ко-

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

называемого базовым типом. Переменная ссылочного типа содержит

адрес динамической переменной в памяти.

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

ссылочный тип ------>¦ ^ +--->¦ базовый тип +-->

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

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

базовый тип ---->¦ идентификатор типа +--->

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

Если базовый тип является еще не описанным идентификатором,

то он должен быть описан в той же самой части описания типов, что

и тип указатель.

Переменной-указателю можно присвоить значение с помощью про-

цедуры New, операции @ или функции Ptr. Процедура New отводит но-

вую область памяти в динамически распределяемой области для дина-

мических переменных и сохраняет адрес этой области в переменной

указателя. Операция @ ориентирует переменную-указатель на область

памяти, содержащую существующую переменную, включая и те перемен-

ные, которые имеют идентификаторы. Функция Ptr ориентирует пере-

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

Зарезервированное слово nil обозначает константу со значени-

ем указателя, которая ни на что не указывает.