ada - 在 ada 运行时确定的动态数组大小

Question

是否有可能像这样在运行时确定大小的数组，

Procedure prog is
   type myArray is array(Integer range <>) of Float;
   arraySize : Integer := 0;
   theArray : myArray(0..arraySize);
Begin
   -- Get Array size from user.
   put_line("How big would you like the array?");
   get(arraySize);

   For I in 0..arraySize Loop
      theArray(I) := 1.2 * I;
   End Loop;
End prog;

除了使用动态链接列表或其他类似结构之外，还有其他方法可以实现此结果吗？或者是否有一个简单的内置数据结构比使用动态链接列表更简单？

Answer 1

当然，在一个块中声明它，如下所示：

procedure prog is
   arraySize : Integer := 0;
   type myArray is array(Integer range <>) of Float;
begin
   -- Get Array size from user.
   put_line("How big would you like the array?");
   get(arraySize);

   declare
      theArray : myArray(0..arraySize);
   begin
      for I in 0..arraySize Loop
         theArray(I) := 1.2 * I;
      end Loop;
   end;
end prog;

或将 arraySize 作为参数传递给子程序并在该子程序中声明和操作它：

procedure Process_Array (arraySize : Integer) is

    theArray : myArray(0..arraySize);

begin
   for I in arraySize'Range Loop
      theArray(I) := 1.2 * I;
   end Loop;
end;

这只是说明性的（而不是编译的:-)，因为您需要处理诸如无效数组大小之类的事情。

Answer 2

是的，您可以推迟受约束对象的声明，直到您知道大小为止。在这个例子中，数组Candidates可以分配在嵌套块中（由关键字引入declare）或堆上（使用关键字new）。在这个相关示例中，Line每次循环都有不同的大小，具体取决于Get_Line找到的内容。