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 語言定義屬性 (帶註釋的)