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


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


3.5.6. ВЕЩЕСТВЕННЫЕ ТИПЫ

Вещественные типы обеспечивают приближение вещественных чисел с относительной погрешностью для плавающих типов и с абсолютной погрешностью для фиксированных типов.

определение-вещественного-типа :: =

ограничение - плавающего - типа [ограничение - фиксированного - типа

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

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

Вещественные литералы — это литералы анонимного предопределенного вещественного типа, называемого в этом руководстве

универсальным-вещественным.

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

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

значение в значение этого вещественного типа. Условия, в которых вызываются эти преобразования, описаны в разд. 4.6. Если

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

значение — хранимое число, то неявное преобразование вырабатывает соответствующее значение; если оно принадлежит диапазону хранимых чисел, но не является хранимым числом, то преобразуемое значение может быть любым значением в диапазоне, определенном ближайшими хранимыми предыдущим и последующим числами




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



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