Ada 编程/属性/'截断

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

---

描述

X'Truncation(Y) 是一个 Ada 属性，其中 X 是任何浮点类型，Y 是该类型的任何实例。此属性表示将 Y 截断为整数。

如果 Y 为负数，则截断等效于 X'Ceiling(Y)。如果 Y 为正数，则截断等效于 X'Floor(Y).

示例

X : Float :=  1.5;
Y : Float :=  1.0;
Z : Float := -1.999;
 
pragma Assert (Float'Truncation(X) =  1.0);  -- Ok
pragma Assert (Float'Truncation(Y) =  1.0);  -- Ok
pragma Assert (Float'Truncation(Z) = -1.0);  -- Ok
pragma Assert (Float'Truncation(Z) = -2.0);  -- Wrong

另请参阅

维基教科书

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

Ada 参考手册

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