3.5. Данные ограниченного типа

Все данные скалярного типа, кроме вещественных, являются упорядоченными. Порядковые типы данных – такие типы, множества значений которых упорядочены. То есть известно, какое значение является первым, какое – следующим, и т.д. до последнего. Например, после –100 в целых типах следует –99, после символа ‘a’ следует ‘b’ в типе char, и т.д. Вещественные типы не являются порядковыми, поскольку значение, следующее, например, за 1.0 точно не известно (примерно это число 1+10^–18, а не 2.0, как кажется на первый взгляд).

Если возникает необходимость сузить допустимый диапазон значений, принимаемых данными некоторого скалярного типа, то это можно сделать, наложив на них ограничения. Таким образом, можно создать новый тип данных, называемый ограниченным (интервальным или диапазоном). По отношению к ограниченному, тип, на значения которого наложены ограничения, называется базовым.

Ограничение множества значений базового типа осуществляется путем указания левой и правой границ, определяющих подмножество значений, которые могут принимать данные ограниченного типа. Границы эти отделяются друг от друга двумя подряд стоящими точками, причем левая граница не должна быть больше правой.

Например, 1..10 – возможные значения констант ограниченного типа 1, 2, …, 10; базовый тип – integer;

’А’ .. ’K’ – значения, которые могут принимать константы ограниченного типа, являются символы алфавита от А до К включительно; базовый тип – char.

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

Пример 3.4.

type

Year = (Jan, Feb, Mar, Apr, May, Jun, Jul, Aug,

Sep, Oct, Nov, Dec);

Summer = (Jun .. Aug);

Var month : summer;

a, b : (1.. 100);

Сначала в разделе описания типов программы с помощью имени year введен перечисляемый тип, состоящий из 12 констант, затем ограниченный тип задан именем summer и, наконец, в разделе описания переменных переменная month объявлена принадлежащей типу summer. Таким образом, ограниченная переменная перечисляемого типа month может принимать значения из диапазона Jun .. Aug, т.е. Jun, Jul или Aug. Кроме того, в разделе описания типов описаны две переменные ограниченного типа a и b, принимающие целые значения в диапазоне от 1 до 100.

3.5. Порядок выполнения операций

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

1. Операции во внутренних скобках.

2. Операции обращения к функциям.

3. Операции типа умножения: *, /, div, mod, and.

4. Операции типа сложения: +, – , or.

5. Операции отношения >, = и т.д.

Данная таблица позволяет объяснить, почему в сложных логических выражениях операции отношения заключаются в скобки – это необходимо из-за их низкого приоритета. Так, если записать без скобок выражение

a > 5 and b <= 16,

то сначала должна выполниться операция 5 and 16, которая лишена смысла. После расстановки скобок получим корректное выражение

(a > 5) and ( b <= 16).

Еще пример. Выражение можно записать на PASCAL без скобок: a/2/b. Так как две операции деления имеют одинаковый приоритет, то они будут выполняться в порядке их записи: сначала а разделится на 2, затем – то, что получилось, разделится на b.