К простым типам относятся порядковые и вещественные типы. Порядковые типы отличаются тем, что каждый из них имеет конечное число возможных значений. Эти значения можно определенным образом упорядочить (отсюда название типов) и, следовательно, с каждым из них можно сопоставить некоторое целое число – порядковый номер значения.
Вещественные типы тоже имеют конечное число значений, которое определяется форматом внутреннего представления вещественного числа. Однако количество возможных значений вещественных типов настолько велико, что сопоставить с каждым из них целое число (его номер) не представляется возможным.
К порядковым типам относятся: целые, логический, символьный, перечисляемый и тип-диапазон. К любому из них применима функция ORD(X), которая возвращает порядковый номер значения выражения X. Для целых типов функция ORD(X) возвращает само значение X, т.е. ORD(X) равен X для X, принадлежащее любому целому типу. Применение ORD(X) к логическому, символьному и перечисляемому типам дает положительное целое число в диапазоне от 0 до 1 (логический тип), от 0 до 155 (символьный), от 0 до 65535 (перечисляемый). Тип-диапазон сохраняет все свойства базового порядкового типа, поэтому результат применения к нему функции ORD(X) зависит от свойств этого типа.
К порядковым типам можно также применять функции:
PRED (X) – возвращает предыдущее значение порядкового типа (значение, которое соответствует порядковому номеру ORD(X)- 1), т.е. ORD(PRED(X)) равен ORD(X) - 1;
SUCC (X) – возвращает следующее значение порядкового типа, которое соответствует порядковому номеру ORD(X) +1, т.е. ORD(SUCC(X)) равен ORD(X) + 1.
Например:
var с: char;
Begin
с := '5' ;
End.
то функция PRED(C) вернет значение '4', а функция SUCC(C) - значение '6'.
Если представить себе любой порядковый тип как упорядоченное множество значений, возрастающих слева направо и занимающих на числовой оси некоторый отрезок, то функция PRED(X) не определена для левого, a SUCC(X) – для правого конца этого отрезка.
4.1.1. Целые типы.
Диапазон возможных значений целых типов зависит от их внутреннего представления, которое может занимать один, два или четыре байта. В табл. 4.1 приводится название целых типов, длина их внутреннего представления в байтах и диапазон возможных значений.
При использовании процедур и функций с целочисленными параметрами следует руководствоваться «вложенностью» типов, т.е. везде, где может использоваться WORD, допускается использование BYTE (но не наоборот), в LONGINT «входит» INTEGER, который, в свою очередь, включает в себя SHORTINT.
Таблица 4.1
Целые типы
Название
Длина, байт
Диапазон значений
Byte
0. . .255
ShortInt
-128. . .+127
Word
0. . .65535
Integer
-32768.. .+32767
LongInt
-2 147 483 648... +2 147 483 647
Перечень процедур и функций, применимых к целочисленным типам, приведен в табл. 4.2. Буквами обозначены выражения соответственно типа b – BYTE, s – SHORTINT, w – WORD, i – INTEGER и l – LONGINT, x – выражение любого из этих типов; буквы vb, vs, vw, vi, vl, vx обозначают переменные соответствующих типов. В квадратных скобках указывается необязательный параметр.
Таблица 4.2
Стандартные процедуры и функции, применимые к целым типам
Обращение
Тип
результата
Действие
abs (x)
x
Возвращает модуль х
chr(b)
Char
Возвращает символ по его коду
dec (vx[, i] )
-
Уменьшает значение vx на i, а при отсутствии i -на 1
inc(vx[, i] )
-
Увеличивает значение vx на i, а при отсутствии i - на 1
Hi(i)
Byte
Возвращает старший байт аргумента
Hi(w)
To же
То же
Lo(i)
"
Возвращает младший байт аргумента
Lo (w)
"
То же
odd(l)
Boolean
Возвращает True, если аргумент - нечетное число
Random (w)
Как у параметра
Возвращает псевдослучайное число, равномерно распределенное в диапазоне 0...(w-l)
sgr (x)
X
Возвращает квадрат аргумента
При действиях с целыми числами тип результата будет соответствовать типу операндов, а если операнды относятся к различным целым типам, – типу того операнда, который имеет максимальную мощность (максимальный диапазон значений). Возможное переполнение результата никак не контролируется, что может привести к недоразумениям, например:
var
а : Integer;
х, у : Real;
begin
а := 32767; {Максимально возможное значение типа INTEGER}
х := а + 2; {Переполнение при вычислении этого выражения!}
у := LongInt(а)+2; {Переполнения нет после приведения переменной к более мощному типу}
WriteLn(x:10:0, у:10:0)
end.
В результате прогона программы получим:
-32767 32769
Операции с целыми операндами. Над целыми операндами можно выполнять следующие арифметические операции: сложение(+), вычитание(-), умножение(*), целочисленное деление(div), получение остатка от деления(mod).
Операции отношения, примененные к целым операндам, дают результат логического типа TRUE или FALSE ( истина или ложь ).
В языке ПАСКАЛЬ имеются следующие операции отношения: равенство =, неравенство <>, больше или равно >=, меньше или равно <=, больше >, меньше < .
