在Ada中创建包含空数组的数组

generic
   type Element_Type is private;
   type Array_Type is array (Positive range <>) of Element_Type;

package Empty_Array is
   Empty : constant Array_Type(1..0) := (others => <>);
end Empty_Array;

with Empty_Array;

procedure Main is
   package Int_Array is new Empty_Array(Element_Type => Integer);
   package String_Array is new Empty_Array(Element_Type => String);
   
   Int_Arrays : array(1..2) of Int_Array.Array_Type;
   String_Arrays : array(1..3) of String_Array.Array_Type;
begin
   -- 初始化包含空数组的数组
   Int_Arrays(1) := Int_Array.Empty;
   Int_Arrays(2) := Int_Array.Empty;
   
   String_Arrays(1) := String_Array.Empty;
   String_Arrays(2) := String_Array.Empty;
   String_Arrays(3) := String_Array.Empty;
   
   -- 打印数组长度
   for I in Int_Arrays'Range loop
      Put_Line("Int_Arrays(" & Integer'Image(I) & ")'Length = " & Integer'Image(Int_Arrays(I)'Length));
   end loop;
   
   for I in String_Arrays'Range loop
      Put_Line("String_Arrays(" & Integer'Image(I) & ")'Length = " & Integer'Image(String_Arrays(I)'Length));
   end loop;
end Main;