Порядковые типы

Порядковые типы представляют собой подмножество простых ти-

пов. Все простые типы, отличные от вещественных типов, являются

порядковыми и выделяются по следующим четырем характеристикам.

- Все возможные значения данного порядкового типа представ-

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

значение связано с порядковым номером, который представ-

ляет собой целочисленное значение. За исключением значе-

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

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

имеет порядковый номер 1 и так далее для каждого значения

в этом порядковом типе. Порядковым номером значения цело-

численного типа является само это значение. В любом по-

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

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

последнего, следует другое значение в соответствии с упо-

рядоченностью типа.

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

дартную функцию Ord, возвращающую порядковый номер этого

значения.

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

дартную функцию Pred, возвращающую предшествующее этому

значению значение. Если эта функция применяется к первому

значению в этом порядковом типе, то выдается сообщение об

ошибке.

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

дартную функцию Succ, возвращающую следующее за этим зна-

чением значение. Если эта функция применяется к последне-

му значению в этом порядковом типе, то выдается сообщение

об ошибке.

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

ную порядкового типа можно применить стандартную функцию

Low, возвращающую наименьшее значение в диапазоне данного

порядкового типа.

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

ную порядкового типа можно применить стандартную функцию

High, возвращающую наибольшее значение в диапазоне данно-

го порядкового типа.

Синтаксис порядкового типа имеет следующий вид:

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

порядковый -----T---->¦ отрезок типа +--------->

тип ¦ L--------------------- ^

¦ --------------------- ¦

+---->¦ перечислимый тип +-----+

¦ L--------------------- ¦

¦ --------------------- ¦

L---->¦ идентификатор +------

¦ порядкового типа ¦

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

Borland Pascal имеет 10 встроенных порядковых типов: Integer

(целое), Shortint (короткое целое), Longint (длинное целое), Byte

(длиной в байт), Word (длиной в слово), Boolean (булевское),

ByteBool (булевское размером в байт), WordBool (булевское разме-

ром в слово), LongBool (длинный булевский тип) и Char (символьный

тип). Кроме того, имеется два других класса определяемых пользо-

вателем порядковых типов: перечислимые типы и отрезки типов (под-

диапазоны).