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

描述

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

浮點型別表示為

sign\times mantissa\times radix^{exponent}

其中

sign 是 1 或 -1

mantissa 是以基數為基數的分數

radix 是硬體基數（通常為 2）

exponent 是一個整數

'Machine_Emax 返回最大指數。

示例

with Ada.Text_IO;

procedure Machine_Emax is

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

end Machine_Emax;

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

Emax of Float type       =         128
Emax of Long_Float type  =        1024

另請參閱

Wikibook

Ada 參考手冊