Интервальный тип (диапазон)

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

Обе константы должны принадлежать одному из стандартных типов (тип real здесь недопустим). Значение первой константы должно быть обязательно меньше значения второй.

Формат :

Type

<имя типа> - <константа1>…<константа2>;

var

<идентификатор,...> : <имя типа>;

Пример:

Type

Days =1 .. 31;

Var

RabDay, BolnOay : Days;

В этом примере переменные RabDay и BolnDay имеют тип Days и могут принимать любые значения из диапазона 1..31. Выход из диапазона вызывает программное прерывание.

Рациональнее определить интервальный тип более универсальным способом, задав границы диапазона не значениями констант, а их именами: const

Min = 1; Max = 31;

Type

Days = Min . . Max;

Var

RabDay, BolnDay : Days;

Совместимость типов данных

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

Необходимо помнить следующее: переменные или выражения одного типа являются полностью совместимыми.

Другим понятием является совместимость по присваиванию. Присваивание переменной одного типа выражения другого типа, допустимо в том случае, когда множество значений второго типа является подмножеством значений первого.

Например, результат сложения двух целых переменных типа integer и word может присваиваться целой переменной, тип которой только longint, поскольку только этот целый тип содержит в себе весь возможный диапазон значений как для типа integer, так и для типа word. Также, можно присваивать целое выражение вещественной переменной или символьное выражение строке.

Структурированные типы данных

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

Контрольные вопросы.

1. Для чего используется указание типа данных величины? Как описывается тип величины в языке Паскаль?

2. Приведите полный перечень типов данных в Турбо Паскале с примерами величин каждого типа.

3. Какие типы данных относят к скалярным типам данных?

4. Охарактеризуйте целочисленные типы данных: какие они могут принимать значения, в каких операциях могут принимать участие, сколько места занимают в памяти.

5. Какие типы отношений определены над данными целого типа? Какие стандартные функции определены для целых чисел? Чем отличаются вещественные числа от целых?

6. Какие функции преобразуют вещественный аргумент в целое число? Чем они отличаются?

7. Охарактеризуйте символьный тип данных.

8. Где применяется булевский тип данных, какие он принимает значения, сколько места требуется для его размещения в памяти?

9. Пользовательские типы данных. Чем они отличаются от стандартных типов данных? Приведите примеры данных перечисляемого и интервального типов.

10. Что такое структурированные типы данных? Почему от программиста требуется знание и правильное применение понятия тождественности и совместимости типов величин? Каковы признаки тождественности и условия совместимости типов?