Ada 程式設計/屬性/'Machine Emin

計算 » 計算機科學 » 計算機程式設計 » Ada 程式設計

---

描述

X'Machine_Emin 是 Ada 屬性，其中 X 是任何浮點型別。

浮點型別表示為

$sign\times mantissa\times radix^{exponent}$

其中

sign 是 1 或 -1

mantissa 是以 radix 為基數的 fractions

radix 是硬體基數 (通常為 2)

exponent 是一個整數

'Machine_Emin 返回最小的指數。

示例

with Ada.Text_IO;

procedure Machine_Emin is

   package T_IO renames Ada.Text_IO;
   package I_IO is new  Ada.Text_IO.Integer_IO (Integer);
begin
   T_IO.Put ("Emin of Float type       = ");
   I_IO.Put (Float'Machine_Emin);
   T_IO.New_Line;
   
   T_IO.Put ("Emin of Long_Float type  = ");
   I_IO.Put (Long_Float'Machine_Emin);
   T_IO.New_Line;

end Machine_Emin;

在 x86-64 架構上使用 GNAT 4.6 的輸出是

Emin of Float type       =        -125
Emin of Long_Float type  =       -1021

參見

華夏公益教科書

• Ada 程式設計
• Ada 程式設計/屬性
• Ada 程式設計/屬性/'Machine_Emax
• Ada 程式設計/屬性/'Machine_Mantissa
• Ada 程式設計/屬性/'Machine_Radix

Ada 參考手冊

• 5.3 浮點型別的屬性 (註釋)
• 附錄 K 語言定義的屬性 (註釋)