PROSAGA码农传奇-Ada-Ada - 无约束对象的队列数组导致Storage_Error

<div class =“post-text”itemprop =“text”>
  
    的定义
    <a href="http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-18-29.html" rel="nofollow noreferrer">
      Bounded_Synchronized_Queue
    </A>
     是
  
   <pre class="lang-ada prettyprint-override">
 <code>
 protected type Queue
 (Capacity : Count_Type := Default_Capacity;
 Ceiling : System.Any_Priority := Default_Ceiling)
 with Priority => Ceiling is
 new Queue_Interfaces.Queue

</code>
 </pre>
  
    看起来GNAT正在尝试为数组大小的所有潜在排列分配大小，从而导致类型非常大的类型。由于这是一种有限的类型，我不确定它是否仍然必须这样做（所以可能是一个错误）。
  
  
    您可以通过更改声明来修复它
    <a href="http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-3-7.html" rel="nofollow noreferrer">
      判别
    </A>
     有具体的
    <a href="http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-3-7-1.html" rel="nofollow noreferrer">
      约束
    </A>
    ：
  
   <pre class="lang-ada prettyprint-override">
 <code>
 -- create an array of queues
Queue_Array : array(ID_Type) of ID_Holder_Queue.Queue
 (Capacity => 16,
 Ceiling => System.Priority'Last);

</code>
 </pre>
  
    和系统;
  
  
    这应该会删除您的存储错误。
    <a href="https://gcc.gnu.org/onlinedocs/gcc-4.4.2/gnat_rm/The-Size-of-Discriminated-Records-with-Default-Discriminants.html" rel="nofollow noreferrer">
      这个
    </A>
     如果您使用GNAT编译器可能是相关的。
  
</DIV>

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