Ada 编程/属性/'固定值

描述

对于每个定点类型 S，S'Fixed_Value 表示具有以下规范的函数

function S'Fixed_Value (Arg : <Universal_Integer>) return S;

返回值是定点值 V，使得

V = Arg * S'Small

因此，其效果类似于首先将参数转换为用于表示 S 的整数类型，然后对定点类型进行非受控转换。区别在于存在完整的范围检查，以确保结果在范围内。此属性主要用于定点值的输入输出函数的实现。