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