Типы в Турбо Паскале

Любые данные (константы, переменные, значения функций или выраже­ний) характеризуются своими типами. Тип определяет множество значений, которые может иметь тот или иной объект, операции, применимые к нему, а также формат внутреннего представления.

Турбо Паскаль является языком с развитой системой типизации. Лю­бые данные до их использования должны быть предварительно объявлены.

Типы в Турбо Паскале делятся на простые, стрктурированные, проце­дурные, указатели и строки. В свою очередь простые типы включают по­рядковые и вещественные данные, а структурированные делятся на массивы, записи, множества и файлы.

Порядковые типы как стандартные, так и введенные программистом отлича- ются тем, что каждый из них содержит конечное число возможных значений. Эти значения можно определенным образом упорядочить или пе­ренумеровать. Для таких типов для каждой пары элементов можно всегда определить, какой из них предшествует другому. Для порядковых типов оп­ределены следующие три функции:

ORD(X) - возвращает порядковый номер значения выражения X;

PRED(X) - возвращает значение, предшествующее х в его типе, т.е.

ORD(PRED(X)) = ORD(X) - 1;

SUCC(X) - определяет следующее по порядку за X значение:

ORD(SUCC(X)) = ORD(X) + 1.

К вещественным типам указанные функции применить нельзя, количес­тво возможных значений вещественных типов настолько велико, что сопос­тавить с каждым из них число (его номер) невозможно.

Дата добавления: 2015-09-05