Ada 中的变体记录数组

Question

我想声明一个具有变体记录的元素类型的数组。 像这样的事情：

type myStruct (theType : vehicleType) is
record
...
when car => numOfWheels : Positive;
when others => null;
end record;

myArray : array (Positive range <>) of myStruct;

但在这种情况下我得到了错误。 它只允许这样：

myArray : array (1.100) of myStruct(Car); //such as

那么如何解决索引问题以及如何描述变体记录类型的数组而不给出判别性？

Answer 1

上面的例子不会编译。这是一个正确的版本（为了简单起见，我将 mystruct 更改为 Integer）：

procedure test_array is
subtype Vehicle_Array_Index is Integer range 1..100; --// Maximum size is 100
type Arr_T is array (Vehicle_Array_Index range <>) of Integer;
type Vehicle_Array (Size: Vehicle_Array_Index := 1) is record
   Vehicles : Arr_T(1..Size);
end record;
begin
  null;
end;

其中一个错误是记录中不能有匿名数组，其次，您应该使用判别式来约束内部数组。

如上所述，这对于变长数组来说不是一个好的解决方案，因为无论如何你很可能会得到最大尺寸的数组。如果您想要具有动态确定大小的数组，您可以使用块。

declare
  a: array(1..n) of integer; -- n can be a variable here
begin
--some code using a
end;

它也适用于过程和函数的声明部分，其中 n 可以是传递给子程序的参数（Ada 相对于 C/C++ 的优点之一）。当然，您可以使用分配器在堆上动态分配数组。

Answer 2

如果您希望能够创建判别类型的对象并在运行时更改（或弄清楚）该类型是什么，您必须在声明中为判别式提供默认值。

原因是 Ada 不想担心处理未初始化的可区分对象，因为它甚至无法计算出其大小和有效记录字段。

出于这个原因，以及我在评论中详细讨论的一些原因，Ada 区分记录实际上在混合语言编程中并不是很有用（例如：完全复制 C 联合）。不过，它们可以按照自己的方式方便使用。

对于您给出的示例，您将执行以下操作（警告：未编译）：

type myStruct (theType : vehicleType := car) is 
record 
... 
when car => numOfWheels : Positive; 
when others => null; 
end record; 

然后您可以在运行时设置数组值之一：

myArray(20) := (theType => car, 
                field1  => myArray(20).field1, 
                ... , --// Fill in the rest of the fields by name 
                numberOfWheels => 4);

至于这部分：
myArray ：myStruct 的数组（正范围 <>）；

您不能像这样声明具有不确定范围的实际数组对象。您可以通过这种方式声明一个类型，但对象必须具有实际大小。如果您想要一个不同长度的数组，您可以再次使用变体记录。 （再次，未编译）

subtype Vehicle_Array_Index is Integer range 1..100; --// Maximum size is 100
type Vehicle_Array (Vehicle_Array_Index : Size := 1) is record
   Vehicles : array (Vehicle_Array_Index range <>) of myStruct;
end record;

哦，还有一件事。您在示例中没有这样做，但如果您想使用判别式来调整上面的数组大小，请小心。当您声明该类型的对象时（再次假设您使用判别式的默认值），编译器将尝试为您可以为其提供值的最大可能大小保留足够的空间。这使得创建一个由诸如Integer或Positive之类的大范围索引的可区分数组成为一个非常糟糕的想法。我知道现在的计算机越来越大，但大多数人仍然没有 4GB 空间来容纳一个愚蠢的小阵列。因此，如果您使用判别式作为数组索引，那么创建一个较小的 Integer 子类型以用于判别式的类型将是一个好主意。