Ada 程式設計/屬性/'固定值

描述

對於每個定點型別 S，S'Fixed_Value 表示具有以下規範的函式

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

返回值是定點值 V，使得

V = Arg * S'Small

因此，其效果類似於首先將引數轉換為用於表示 S 的整數型別，然後對定點型別進行非受控轉換。區別在於存在完整的範圍檢查，以確保結果在範圍內。此屬性主要用於定點值的輸入輸出函式的實現。