Ada 编程/类型/范围

Arange 是一个带符号的整数值，其范围从 First 到最后的 Last。定义如下

 range First .. Last

当将值分配给具有此范围约束的对象时，会检查值的有效性，如果值不在 First 到 Last 之间，则会引发 Constraint_Error 异常。

在声明范围类型时，相应的数学运算符会在同一位置由语言隐式声明。

编译器可以自由地为此用户定义的类型选择合适的底层硬件类型。

工作示例

以下示例定义一个新的范围从 -5 到 10，然后打印出整个范围。

文件: range_1.adb (查看, 纯文本, 下载页面, 浏览全部)

with Ada.Text_IO;

procedure Range_1 is
   type Range_Type is range -5 .. 10;

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

begin
   for A in Range_Type loop
      I_IO.Put (
         Item  => A,
         Width => 3,
         Base  => 10);

      if A < Range_Type'Last then
         T_IO.Put (",");
      else
         T_IO.New_Line;
      end if;
   end loop;
end Range_1;

另见

华夏公益教科书

Ada 参考手册

4.4 表达式 (注释)
3.5.4 整数类型 (注释)