是否可以声明Range类型的变量或常量？-Java 学习之路

在Ada中，我们可以使用范围获取任何数组的数组切片，包括String . 例如：

Name( 1 .. 3 )

我们也可以在for循环中使用一个范围：

for I in 1 .. 10 loop
  --do something
end loop;

或者，我们可以按如下方式迭代数组：

for I in X'Range loop
  X(I) := Function_Call;
end loop;

所以，我目前的思路是“1 .. 3”形式的范围是Range文字，很像“3”是整数字面，而X'Range是一个返回索引范围的属性 . 数组X（或类似地，某些有序类型X，例如整数或枚举） .

目前，我有一些看起来像这样的代码：

Name( 1 .. 3 )

我一直觉得像这样的神奇数字不是一个好主意，所以我想我可以定义两个常量：

Name_Prefix_Range_Begin : constant Integer := 1;
Name_Prefix_Range_End   : constant Integer := 3;

然后这样做：

Name( Name_Prefix_Range_Begin .. Name_Prefix_Range_End )

但是，如果可以使用Range类型的常量，我觉得它会更清晰，只需编写以下代码来获取我的数组切片：

Name ( Name_Prefix_Range )

那么，最后，在所有这些之后，是否可以声明一个可以存储范围的变量或常量？怎么写的？我已经做出了无法编译的猜测，并且未能找到任何关于这种可能性的参考 .

1 回答