Руководство по языку B.Pascal 7

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


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

- Все возможные значения данного порядкового типа представ- ляют собой упорядоченное множество, и каждое возможное значение связано с порядковым номером, который представ- ляет собой целочисленное значение. За исключением значе- ний целочисленного типа, первое значение любого порядко- вого типа имеет порядковый номер 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 (символьный тип). Кроме того, имеется два других класса определяемых пользо- вателем порядковых типов: перечислимые типы и отрезки типов (под- диапазоны).



Содержание раздела