Ada 编程/属性/'机器基数

描述

X'Machine_Radix 是一个 Ada 属性，其中 X 是任何浮点或定点类型。它返回类型 X 的硬件表示的基数。在大多数机器上，这将是 2。

Machine_Radix 也是一个 Ada 方面，可以通过属性定义子句为十进制定点类型设置。该值被限制为 2 或 10。

示例

 with Ada.Text_IO;

 procedure Machine_Radix is

   package T_IO renames Ada.Text_IO;
   package I_IO is new  Ada.Text_IO.Integer_IO (Integer);

   type My_Fixed_Point_Type is delta 0.1 range -1.0 .. 1.0;
   type My_Decimal_Type is delta 0.01 digits 10;
 begin
   T_IO.Put ("Radix of Float type            = ");
   I_IO.Put (Float'Machine_Radix);
   T_IO.New_Line;

   T_IO.Put ("Radix of My_Fixed_Point_Type   = ");
   I_IO.Put (My_Fixed_Point_Type'Machine_Radix);
   T_IO.New_Line;

   T_IO.Put ("Radix of My_Decimal_Type type  = ");
   I_IO.Put (My_Decimal_Type'Machine_Radix);
   T_IO.New_Line;
 end Machine_Radix;

在 x86-64 架构上使用 GNAT 4.6 的输出是

Radix of Float type            =           2
Radix of My_Fixed_Point_Type   =           2
Radix of My_Decimal_Type type  =           2

另请参阅

维基教科书

Ada 参考手册