Ada 编程/分隔符/..

The delimiter .. 用于指定任何range 在任何 scalar type.

例如

type Count is range 0 .. Max_Count;

subtype Week_Day is Day_Name range Monday .. Friday;

Vector_A : Vector (0 .. 31);

exit when X in Y .. Y + Epsilon;

for Day in Day_Name range Monday .. Thursday loop
   -- ...
end loop;

Vector_A (Vector_A'First .. Vector_A'First + Vector_B'Length - 1) := Vector_B;

使用说明

当要指定整个类型范围时，最好使用 Range 属性。

例如，不要使用

for Day in range Day_Name'First .. Day_Name'Last loop
   -- ...
end loop;

最好使用

for Day in Day_Name'Range loop
   -- ...
end loop;