Ada 编程/属性/'舍入

计算 » 计算机科学 » 计算机编程 » Ada 编程

---

描述

X'Rounding(Y) 是一个 Ada 属性，其中 X 是任何浮点类型，Y 是该类型的任何实例。此属性表示最接近 Y 的整数。如果 Y 恰好位于两个整数之间（例如 1.5），则结果是离零最远的数字（例如 1.5 => 2.0，-1.5 => -2.0）。

示例

W : Float := -1.5;
X : Float :=  1.5;
Y : Float :=  1.0;
Z : Float :=  1.999;
...
pragma Assert (Float'Rounding(W) = -2.0); -- OK 
pragma Assert (Float'Rounding(X) =  2.0); -- OK
pragma Assert (Float'Rounding(Y) =  1.0); -- OK
pragma Assert (Float'Rounding(Z) =  2.0); -- OK
pragma Assert (Float'Rounding(W) = -1.0); -- Wrong
pragma Assert (Float'Rounding(X) =  1.0); -- Wrong

另请参见

Wikibook

• Ada 编程
• Ada 编程/属性
• Ada 编程/属性/'向上取整
• Ada 编程/属性/'向下取整
• Ada 编程/属性/'无偏舍入

Ada 参考手册

• 13.3 操作和表示属性 (带注释的)
• 附录 K 语言定义属性 (带注释的)