arrays - Ada -- 无约束对象队列数组导致 Storage_Error -- 如何解决？

Question

所以，免责声明，我现在才使用 Ada 几个星期......我希望有一个菜鸟错误导致这个。

所以我的(匿名)代码...

with Ada.Text_IO; use Ada.Text_IO;

with Ada.Containers.Synchronized_Queue_Interfaces;
with Ada.Containers.Bounded_Synchronized_Queues;

procedure Hello is
  type ID_Type is ( Invalid_Id,
                    Config_Id);

  for ID_Type use ( Invalid_Id => 16#00#,
                    Config_Id => 16#11#  );
  for ID_Type'Size use 8;                  

  type Config_Type is 
    record
      data : Integer;
    end record;

  type Data_Type (i : ID_Type := Invalid_Id) is 
    record
      Id : ID_Type := i;

      case i is
        when Invalid_Id => null;
        when Config_Id => config : Config_Type;
        when others => null;
      end case; 
    end record with Unchecked_Union, Convention => C;

  package Queue_Interface is
    new Ada.Containers.Synchronized_Queue_Interfaces(Data_Type);

  package Data_Queue is 
    new Ada.Containers.Bounded_Synchronized_Queues
      ( Queue_Interfaces => Queue_Interface,
        Default_Capacity => 1);

  Queue_Array : array(1..1) of Data_Queue.Queue;

begin

  Put_Line("Queue_Array(1)'Size = " & Integer'Image(Queue_Array(1)'Size));

end Hello;

在在线编译器 (GNAT 7.1.1) 上，这会触发:raised STORAGE_ERROR : s-intman.adb:136 explicit raise

预期用途是与从串行端口拉取数据的 C 级驱动程序交互。 (因此有 unchecked_union 和其他表示条款)

已尝试使用 Indefinite_Holder 包装，假设不确定问题来自 Unconstrained 类型......并且遇到相同的错误。以为我不需要它，因为虽然它是一个不受约束的变体，但它的大小是确定的。不管怎样，都是一样的。

另外值得注意的是: test1 : array (ID_Type) 数据类型； -- 作品 test2 : 数据队列.队列； -- 作品 test3 : array (1 .. 2) Data_Queue.Queue; -- 存储错误

我做错了什么？

Answer 1

Bounded_Synchronized_Queue的定义是

 protected type Queue
    (Capacity : Count_Type := Default_Capacity;
     Ceiling  : System.Any_Priority := Default_Ceiling)
       with Priority => Ceiling is
    new Queue_Interfaces.Queue

看起来 GNAT 正在尝试为数组大小的所有潜在排列分配大小，从而导致一个非常大的类型。由于这是一个有限的类型，我不确定它是否仍然必须这样做(所以可能是一个错误)。

您可以通过更改声明的 discriminant 来修复它有一个特定的 constraint :

-- create an array of queues
Queue_Array : array(ID_Type) of ID_Holder_Queue.Queue
    (Capacity => 16,
     Ceiling  => System.Priority'Last);

和系统一起；

这应该可以消除您的存储错误。 This如果您使用的是 GNAT 编译器，则可能相关。