Ada 编程/属性/'Machine Emax

计算 » 计算机科学 » 计算机编程 » Ada 编程

---

描述

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 编程
• Ada 编程/属性
• Ada 编程/属性/'Machine_Emin
• Ada 编程/属性/'Machine_Mantissa
• Ada 编程/属性/'Machine_Radix

Ada 参考手册

• 5.3 浮点类型的属性 (注释)
• 附录 K 语言定义的属性 (注释)