nextupprevious

Next:2.1.5 Вещественный тип (real)
Up:2.1 Стандартные типы данных
Previous:2.1.3 Логический тип (boolean)


2.1.4 Тип целый (integer)

Значениями этого типа являются целые числа из некоторого интервала. Каков этот интервал зависит от реализации (компьютера и транслятора), однако тип integer всегда обозначает лишь все такие целые числа $n$, что
min(integer)$\leq n\leq$ max(integer).
Для чисел, являющихся константами целого типа, используется обычная десятичная форма записи. Например, 5 изображает число "пять", а 15 изображает число "пятнадцать". Если константа специфицирована с суффиксом H, представление является шестнадцатеричным, например, H13 изображает число "восемьнадцать", а HAF - число "сто семьдесят пять".

В языке Zonnon для целых чисел определены и доступны всем известные одноместные операции: $-$ (изменение знака) и + (тождественная операция) и двухместные операции: $+$ (сложение), $-$(вычитание), $*$ (умножение), $/$ (деление с вещественным результатом), div (целочисленное деление) и mod (взятие остатка от целочисленного деления).

Важно отметить, что обычные для арифметики законы ассоциативности и т.п., вообще говоря, не имеют места для целочисленной арифметики ВМ, поскольку результат операции ВМ не определен в тех случаях, когда результат соответствующей арифметической операции лежит вне заданного конечного диапазона значений типа integer. Например, значение ((max(integer) - max(integer)) + 1) равно 1, а значение (max(integer) - (max(integer)+1)) неопределено.

Каждая из бинарных операций отношения:$ =$ (равно), # (неравно), $<=$ (меньше или равно), $<$ (строго меньше), $>$ (строго больше), $>=$ (больше или равно) определена для значений целого типа и вырабатывает значение логического типа.

Для целочисленных аргументов определены следующие стандартные функции с целочисленными результатами: abs -- абсолютное значение аргумента,  pred - предыдущее по величине целое число, succ - следующее по величине целое число (например, abs(-3) = 3, pred(3) = 2, succ(3) = 4). Стандартная функция odd проверяет нечетность заданного целого числа; она выдает значение true, если аргумент нечетен, и значение false, если аргумент четен.
 
 

Next:2.1.5 Вещественный тип (real)
Up:2.1 Стандартные типы данных
Previous:2.1.3 Логический тип (boolean)



© В.Н. Касьянов, Е.В.Касьянова, 2004