Справочное руководство по языку Ада-83


Скалярные типы - часть 9


универсального-вещественного

значения.

Выполнение операции типа вырабатывает значение вещественного типа и может возбудить исключение NUMERIC_ERROR, как поясняется в разд. 4.5.7, если она не может вырабатывать корректный результат (т.е. соответствующее одному из возможных математических результатов значение не принадлежит диапазону хранимых чисел); в частности, это исключение может быть возбуждено неявным преобразованием. Однако от реализации не требуется возбуждать исключение NUMERIC_ERROR, если операция — часть большего выражения, которое может быть корректно вычислено (см. 11.6).

Предвыполнение определения вещественного типа включает предвыполнение ограничения плавающего или фиксированного типа и создает вещественный тип.

Примечание.

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

Ссылки:

вещественный литерал 2.4, исключение NUMERIC_ERROR 11.1, литерал 4.2, ограничение плавающего типа 3.5.7, ограничение фиксированного типа 3.5,7, определение типа 3.3.1, предопределенная операция 3.3.3, предвыполнение 3.9, преобразование 4.6, тип 3.3, универсальный тип 4.10.

3.5.7. ПЛАВАЮЩИЕ ТИПЫ

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

ограничение-плавающего-типа ::=

определение - точности - плавающего - типа [ограничение - диапазона] определение - точности - плавающего - типа:: =

digits

статическое-

простое - выражение

Минимальное число значащих десятичных цифр определяется значением статического простого выражения в определении точности плавающего типа. Это значение должно быть некоторым целым типом и должно быть положительным (ненулевым); в дальнейшем оно обозначено буквой D. Если ограничение плавающего типа использовано как определение вещественного типа и включает ограничение диапазона, то каждая граница диапазона должна быть определена статическим выражением некоторого вещественного типа, но две границы не обязаны иметь один и тот же вещественный тип.




Начало  Назад  Вперед



Книжный магазин